Go语言中字符串不可变，本质是只读字节数组的快照；底层为只读指针+长度结构，编译器禁止原地修改，所有“修改”均创建新字符串，从而保障goroutine安全、map键稳定性及内存效率。

Go语言中字符串不可变，不是语法限制，而是由底层结构和运行时设计共同决定的——它本质上是一个只读字节数组的“快照”，任何“修改”都只是创建新快照。

字符串底层是只读指针+长度

Go字符串在内存中实际表现为一个轻量结构（类似 C 的 struct { byte* str; int len; }）：

• str 是指向底层字节数组的指针，该数组分配在只读内存区域（如代码段或只读数据段）
• len 是明确记录的字节长度，不依赖 \0 结尾，因此可安全包含空字符
• 这个结构本身可被复制、赋值，但所指向的数据内容无法被写入

编译器直接禁止原地修改

像 s[0] = 'x' 这类操作会在编译阶段报错：

• 错误信息明确： cannot assign to s[0] (strings are immutable)
• 这不是运行时检查，而是类型系统层面的硬性约束
• 避免了 C 风格的越界写入、缓冲区溢出等安全隐患

所谓“修改”其实是新建字符串

所有看似改变字符串的操作，底层都分配新内存并生成新结构：

• 拼接：s = s + "!" → 创建新字节数组，拷贝原内容 + 新内容，更新指针与长度
• 切片：s[2:5] → 复用原底层数组（只读），但新结构指向其中一段，不拷贝数据，仍不可改
• 转换修改：bs := []byte(s); bs[0]='H'; s = string(bs) → 先拷贝到可写切片，改完再构造新字符串

不可变带来的实际好处

这种设计不是为了增加使用难度，而是换取关键能力：

• goroutine 安全：多个协程同时读同一个字符串，完全无需加锁
• 天然适合作为 map key：哈希值稳定，不会因内容突变导致查找失效
• 字符串字面量可共享：相同字面量（如 "config"）在二进制中只存一份，节省内存
• GC 更高效：不可变对象生命周期清晰，无中间状态需要追踪

基本上就这些。理解它不可变，不是记住“不能改”，而是看清“它本就是一个固定视角的只读视图”。需要变，就换视角——新建一个。