Go字符串是特殊基础类型，底层为指针+长度结构，赋值轻量但不可变；修改需转[]byte再转回，切片可能共享内存，必要时应显式复制避免内存滞留。
Go语言中的字符串不是引用类型，也不是传统意义上的值类型，它是一种特殊的基础数据结构。理解Golang字符串的底层实现和不可变特性，有助于写出更高效、安全的代码。
字符串的底层结构
在Go中，字符串本质上是一个指向字节序列的指针和长度的组合。根据官方源码定义，字符串的底层结构类似于一个只读的切片：
每个字符串包含两个字段：
- 指向底层数组的指针（unsafe.Pointer）：指向实际存储字节数据的内存地址。
- 长度（int）：表示字符串包含的字节数。
这个结构使得字符串在赋值或传递时非常轻量——只是复制了指针和长度，并不会复制整个数据。但要注意，这并不意味着字符串是引用类型。它的行为更接近值类型，但由于共享底层内存，在某些场景下容易被误解为“引用”。
立即学习“go语言免费学习笔记（深入）”；
字符串的不可变性
Go语言规定字符串是不可变的，一旦创建，其内容无法修改。这是设计上的关键特性，带来的好处包括：
- 安全性高：多个goroutine同时读取同一个字符串无需加锁。
- 节省内存：相同内容的字符串可以安全地共享底层字节数组。
- 可作为map的key：由于内容不变，哈希值稳定，适合用作键值。
尝试修改字符串中的某个字节会触发编译错误。例如以下代码无法通过编译：
s := "hello"
s[0] = 'H' // 编译错误：cannot assign to s[0]
若需修改，必须先将其转换为[]byte，操作后再转回字符串：
s := "hello"b := []byte(s)
b[0] = 'H'
s = string(b) // 得到新字符串 "Hello"
注意：每次转换和拼接都会创建新的字符串对象，原字符串仍保留在内存中，直到无引用后被GC回收。
字符串与内存共享的关系
虽然字符串共享底层数组，但这种共享对开发者是透明且安全的，因为不可变性保证了数据不会被意外更改。比如使用string[:]进行切片操作时，新旧字符串可能共用同一块内存区域：
sub := s[6:] // sub == "world"
此时sub与s共享底层数组的一部分。即使原字符串很长而子串很短，只要子串存在引用，整个底层数组都不会被释放。这可能导致“内存泄漏”假象，解决办法是在必要时显式复制：
这样新字符串拥有独立的底层数组，避免长期持有大内存引用。
基本上就这些。Go字符串的设计兼顾性能与安全，虽非引用类型，却因结构轻便和共享机制表现出类似特性。掌握其不可变本质和底层原理，能更好规避潜在问题。不复杂但容易忽略。
