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 风格的越界写入、缓冲区溢出等安全隐患
所谓“修改”其实是新建字符串
所有看似改变字符串的操作，底层都分配新内存并生成新结构：
立即学习“go语言免费学习笔记（深入）”；
- 拼接：
s = s + "!"→ 创建新字节数组，拷贝原内容 + 新内容，更新指针与长度 - 切片：
s[2:5]→ 复用原底层数组（只读），但新结构指向其中一段，不拷贝数据，仍不可改 - 转换修改：
bs := []byte(s); bs[0]='H'; s = string(bs)→ 先拷贝到可写切片，改完再构造新字符串
不可变带来的实际好处
这种设计不是为了增加使用难度，而是换取关键能力：
- goroutine 安全：多个协程同时读同一个字符串，完全无需加锁
- 天然适合作为 map key：哈希值稳定，不会因内容突变导致查找失效
-
字符串字面量可共享：相同字面量（如
"config"）在二进制中只存一份，节省内存 - GC 更高效：不可变对象生命周期清晰，无中间状态需要追踪
基本上就这些。理解它不可变，不是记住“不能改”，而是看清“它本就是一个固定视角的只读视图”。需要变，就换视角——新建一个。
