Go 字符串的本质：值类型与内部结构
在 go 语言中，字符串是一种不可变的字节序列。然而，其在内存中的具体实现方式常常引起初学者的困惑。与 c/c++ 等语言中字符串常常是字符数组不同，go 语言的字符串实际上是一个轻量级的、固定大小的结构体，它包含两个主要字段：
- *一个指向底层字节数组的指针 (`byte`)**：这个指针指向存储实际字符串数据的内存地址。
- 一个整数 (int)：表示字符串的长度（字节数）。
在 Go 运行时内部，这个结构体大致可以抽象为：
type runtimeString struct {
Data *byte // 指向字符串数据的第一个字节
Len int // 字符串的字节长度
}重要的是，runtimeString 本身是一个固定大小的结构体（通常是 8 字节指针 + 8 字节长度，共 16 字节，具体取决于系统架构），它并不直接包含字符串的实际数据。实际的字符串数据存储在堆上的某个位置，并通过 Data 指针引用。
new(string) 的作用解析
当我们使用 new(string) 来初始化一个字符串变量时，例如：
s := new(string)
这行代码做了以下几件事：
- 在堆上分配了一块内存，其大小足以容纳一个 string 类型的值。
- 这个 string 类型的值实际上就是我们上面提到的 runtimeString 结构体。
- new 函数返回一个指向这块内存的指针（即 *string 类型）。
- 被分配的 runtimeString 结构体会被零值初始化，这意味着它的 Data 指针通常为 nil，Len 字段为 0，表示一个空字符串。
此时，s 指向的是一个 runtimeString 结构体，而不是一个预留给字符串内容的缓冲区。
字符串赋值操作的内存行为
现在，让我们分析一个常见的困惑场景，即一个看似“不可能”的赋值操作为何能够成功：
package main
import "fmt"
func main() {
// s 指向一个在内存中的空字符串结构体
s := new(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')
}
}
// 将 1000 字节的字符串赋值给 *s
// 疑问：这里怎么会有空间容纳它？
*s = string(b)
fmt.Print(*s)
}这里的关键在于 *s = string(b) 这行代码的执行机制：
-
string(b) 的转换：
- 当 []byte 类型 b 被转换为 string 类型时，Go 运行时会创建一个新的字符串。
- 如果 b 的底层数组不是共享的，或者需要确保字符串的不可变性，Go 会为 b 的内容在堆上分配一块新的内存空间，并将 b 中的所有字节数据复制到这块新空间。
- 然后，Go 会创建一个新的 runtimeString 结构体，其 Data 指针指向这块新分配的 1000 字节数据，Len 字段设置为 1000。
-
*`s = ...` 的赋值：**
- 这个操作是将步骤 1 中新创建的 runtimeString 结构体的值（包含新的 Data 指针和 Len 字段）复制到 s 所指向的内存地址。
- 换句话说，s 原本指向的那个表示空字符串的 runtimeString 结构体，其内部的 Data 指针和 Len 字段被更新为指向新的 1000 字节数据和新的长度。
因此，这里并没有尝试将 1000 字节的数据强行塞入一个只有 16 字节大小的 runtimeString 结构体内部。相反，它只是更新了 runtimeString 结构体内部的两个字段，使其指向了外部新分配的 1000 字节数据。runtimeString 结构体本身的内存大小始终保持不变，所以“总有空间容纳它”。原先空字符串的底层数据（如果有的话，通常为空）会被垃圾回收器处理。
总结与注意事项
- 字符串是值类型： Go 字符串是值类型，这意味着当一个字符串变量赋值给另一个变量时，实际上是 runtimeString 结构体的复制，而不是底层数据内容的复制。底层数据只有在 string(b) 这种转换或拼接操作中可能发生复制。
- 不可变性： 一旦一个字符串创建完成，其底层的字节序列是不可修改的。任何看似修改字符串的操作（如字符串拼接、从 []byte 转换）都会创建新的字符串对象和新的底层数据。
- 内存效率： 理解字符串的内部机制有助于避免不必要的内存分配和数据复制。例如，通过切片操作（s[low:high]）创建的新字符串会共享原字符串的底层数据，效率很高。而 string(b) 或 []byte(s) 这样的转换通常会涉及数据复制。
- 指针与值： new(string) 返回的是 *string (一个指针)，而 s := "" 或 var s string 定义的是 string (一个值)。尽管 new(string) 返回指针，但其指向的 string 类型值本身仍然是一个结构体，其赋值行为遵循值类型规则。
深入理解 Go 语言字符串的内部工作原理，特别是其作为固定大小结构体的特性，对于编写高效、无内存泄漏的 Go 程序至关重要。更多关于 Go 语言数据结构的细节，推荐阅读 Russ Cox 的论文 "Go Data Structures" (https://www.php.cn/link/226b5bf02bf8b97501335e2792e5abc7)。
