Go 字符串类型的实现原理

Posted Aspirantlu

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了Go 字符串类型的实现原理相关的知识,希望对你有一定的参考价值。

Go 字符串类型的实现原理

Go 字符串性质

  • string 类型的数据是不可变的,提高了字符串的并发安全性和存储利用率
  • 获取长度的时间复杂度是常数时间
  • 原生支持"所见即所得"的原始字符串,大大降低构造多行字符串时的心智负担
  • 对非 ASCII 字符提供原生支持,消除了源码在不同环境下显示乱码的可能

Go 字符串类型内部表示

上面提到的 Go 字符串类型的这些优秀的性质,与Go 字符串在编译器和运行时中的内部表示是分不开的。Go 字符串在运行时的内部表示是什么样的呢?在标准库reflect包中,我们可以找到如下代码:

// StringHeader is the runtime representation of a string.
// It cannot be used safely or portably and its representation may
// change in a later release.
// Moreover, the Data field is not sufficient to guarantee the data
// it references will not be garbage collected, so programs must keep
// a separate, correctly typed pointer to the underlying data.
type StringHeader struct 
	Data uintptr
	Len  int

我们可以看到,string 类型其实是一个"描述符",它本身并不真正存储字符串数据,而仅是由一个指向底层存储的指针和字符串的长度字段组成的。下面直观地展示了一个 string 类型变量在 Go 内存中的存储:

Go 编译器把源码中的 string 类型映射为运行时的一个二元组(Data, Len),真实的字符串值数据就存储在一个被 Data 指向的底层数组中。通过 Data 字段,我们可以得到这个数组的内容,看看下面这段代码:

func dumpBytesArray(arr []byte) 
	fmt.Printf("[")
	for _, b := range arr 
		fmt.Printf("%c ", b)
	
	fmt.Printf("]\\n")

func displayGroundArray() 
	var str string = "hello"
	hdr := (*reflect.StringHeader)(unsafe.Pointer(&str)) // 将string类型变量地址显式转型为reflect.StringHeader
	p := (*[5]byte)(unsafe.Pointer(hdr.Data))            // 获取Data字段所指向的数组的指针
	dumpBytesArray((*p)[:])                              // 输出底层数组的内容

func main() 
	displayGroundArray()

这段代码利用了 unsafe.Pointer 的通用指针转型能力,按照 StringHeader 给出的结构内存布局,“顺藤摸瓜”,一步步找到了底层数组的地址,并输出了底层数组内容。

知道了 string 类型的实现原理后,我们再回头看看 Go 字符串类型性质中"获取长度的时间复杂度是常数时间"那句,就很好理解,之所以是常数时间,那是因为字符串类型中包含了字符串长度信息,当我们用 len 函数获取字符串长度时,len 函数只要简单地将这个信息提取出来就可以了。

了解了 string 类型的实现原理后,我们还可以得到这样一个结论,那就是我们直接将 string 类型通过函数 / 方法参数传入也不会带来太多的开销。因为传入的仅仅是一个"描述符",而不是真正的字符串数据。

以上是关于Go 字符串类型的实现原理的主要内容,如果未能解决你的问题,请参考以下文章

Go 字符串类型的实现原理

Go 字符串类型的实现原理

《Go语言精进之路》读书笔记 | 了解string实现原理并高效使用

golang 创建一个简单的资源池,重用资源,减少GC负担

[LeetCode][13]Roman to Integer解析 罗马字符转int类型关于栈的常数实现-Java实现

[LeetCode][13]Roman to Integer解析 罗马字符转int类型关于栈的常数实现-Java实现