Go语言字符串的本质
在go语言中，string类型并非c/c++中以空字符结尾的字符数组，而是一种值类型。它的内部实现是一个结构体，大致可以抽象为以下形式：
type rt_string struct {
ptr *byte // 指向字符串底层字节数据的指针
len int // 字符串的长度（字节数）
}这意味着一个string变量实际上存储的是一个指向底层字节数据的指针和该数据的长度。字符串的数据本身通常存储在内存的其他区域（如堆上），而string变量本身的大小是固定的，只包含一个指针和一个整数，通常是16字节（在64位系统上）。
示例代码分析
让我们通过一个具体的代码示例来理解这一机制：
package main
import "fmt"
func main() {
// s 指向一个存储 string 类型的内存地址
s := new(string) // s 是 *string 类型，其指向的内存区域目前存储一个空字符串的值
// 创建一个容量为1000字节的字节切片
b := make([]byte, 0, 1000)
for i := 0; i < 1000; i++ {
if i%100 == 0 {
b = append(b, '\n')
} else {
b = append(b, 'x')
}
}
// 将字节切片 b 转换为字符串，并赋值给 *s
*s = string(b)
// 打印 *s 的内容
fmt.Print(*s)
}在这个例子中，初学者可能会疑惑：s := new(string) 创建了一个指向空字符串的指针，这个空字符串的“空间”非常小。然而，随后我们创建了一个包含1000个字节的切片b，并将其转换为字符串赋值给*s。这里是如何“容纳”下这么大的字符串的呢？
内存分配与赋值机制
理解上述现象的关键在于Go字符串的内部表示和赋值行为：
立即学习“go语言免费学习笔记（深入）”；
-
s := new(string):
- new(string)分配一块内存，足以容纳一个string类型的值（即一个rt_string结构体）。
- 这个rt_string结构体被初始化为Go语言中string类型的零值，即ptr为nil，len为0。
- 变量s是一个*string类型的指针，它指向这块新分配的内存区域。
-
b := make([]byte, 0, 1000) 和 b = append(...):
- 这部分代码创建并填充了一个[]byte切片。切片的底层数据是一个独立的字节数组，通常分配在堆上。当切片容量不足时，append操作可能会导致底层数组重新分配更大的空间。
- 到这一步，b是一个指向包含1000个字节数据的底层数组的切片。
-
*`s = string(b)`**:
- 这是核心操作。string(b)将字节切片b转换为一个新的string值。这个转换过程会创建一个新的rt_string结构体。
- 这个新的rt_string的ptr会指向b底层字节数组的起始地址（Go语言对[]byte到string的转换通常是复制数据以保证字符串的不可变性，但这里我们可以理解为它获得了对数据的引用或一个副本的引用），len则设置为1000。
- 然后，这个新的rt_string值被赋值给*s。这意味着s所指向的内存区域（即之前那个存储空字符串的rt_string结构体）的内容被更新了。它的ptr字段现在指向了包含1000个字节的字符串数据，len字段现在是1000。
因此，并没有在s最初指向的那个小小的内存区域“扩展”出1000字节的空间。相反，s指向的rt_string结构体本身的大小从未改变，它只是更新了其内部的指针和长度字段，使其指向了内存中其他地方（通常是堆上）的实际字符串数据。
关键点与注意事项
- 字符串的不可变性：Go语言中的字符串是不可变的。一旦创建，其内容就不能被修改。任何看起来修改字符串的操作（如拼接、切片转换）都会产生一个新的字符串。
- string(b)的开销：从[]byte到string的转换通常会涉及底层数据的复制。这意味着会额外分配内存来存储字符串数据，这在处理大量数据时需要注意性能开销。
-
new(string)与var s string：
- var s string声明了一个string类型的变量s，并将其初始化为零值（空字符串）。s本身是一个值，存储着一个rt_string结构体。
- sPtr := new(string)声明了一个*string类型的变量sPtr，它是一个指针，指向一个新分配的、存储着string零值的内存区域。
- 在大多数情况下，直接使用var s string更常见和推荐，因为Go语言倾向于值语义，除非确实需要指针行为（例如，函数需要修改外部字符串变量的值）。
总结
Go语言字符串的内存模型是其高效和安全性的基石。通过将字符串实现为包含指针和长度的固定大小结构体，并强制其不可变性，Go语言避免了C/C++中常见的字符串操作带来的内存管理复杂性和潜在错误。理解这一点，有助于开发者更有效地编写Go程序，并避免对字符串行为的误解。当对*string变量进行赋值时，我们更新的是其所指向的rt_string结构体中的元数据（指针和长度），而非直接在原地址处扩展字符串的实际数据。实际的字符串数据始终在其他内存区域管理，并通过rt_string中的指针进行引用。
