Go通过值类型语义、私有字段封装、只读方法和副本返回实现逻辑不可变性：结构体字段小写，提供New构造函数和getter，更新返回新实例；切片/map需深拷贝防篡改；接口限定只读操作。
Go 语言本身没有内置的“不可变对象”关键字或语法，但可以通过值类型（value type）的语义特性 + 封装 + 约束访问，实现逻辑上的不可变性。关键不在于禁止修改，而在于让外部无法直接修改内部状态。
用结构体+私有字段+只读方法模拟不可变
定义一个结构体，所有字段小写（未导出），不提供 setter 方法，只提供构造函数和只读访问器：
- 结构体字段全部小写，外部包无法直接访问或修改
- 提供导出的 NewXXX 函数返回值（不是指针），确保每次使用都是副本
- 只提供 getter 方法（如 Name()、Count()），不提供 SetXXX
- 若需“更新”，返回一个新实例（函数式风格），原值不受影响
type Person struct {
name string
age int
}
func NewPerson(name string, age int) Person {
return Person{name: name, age: age}
}
func (p Person) Name() string { return p.name }
func (p Person) Age() int { return p.age }
// “更新”操作返回新值，不改变原值
func (p Person) WithAge(newAge int) Person {
return Person{name: p.name, age: newAge}
}
避免暴露可变内部（如切片、map、指针）
即使结构体字段私有，若包含切片、map 或指针，外部仍可能通过返回的引用间接修改内部状态：
- 切片：不要直接返回字段切片，应返回副本（如
append([]T(nil), s...)） - map：不要返回 map 值本身，可提供迭代方法或深拷贝后的副本
- 指针/结构体嵌套：内部字段若为指针，需确保其指向的数据也不可被外部篡改
type Config struct {
tags []string // 私有切片
}
func (c Config) Tags() []string {
// 返回副本，防止外部修改原切片
return append([]string(nil), c.tags...)
}
func (c Config) WithTag(t string) Config {
return Config{tags: append(c.tags, t)}
}
利用值语义天然隔离修改
Go 的值类型（struct、array、basic types）在赋值、传参、返回时自动复制，这是构建不可变性的底层保障：
- 接收者用值类型（
func (p Person) ...），方法内对 p 的修改不影响调用方原始值 - 函数参数传入结构体而非 *Person，避免意外共享状态
- 返回结构体而非指针，明确表达“结果是新值”
配合接口进一步隐藏实现细节
定义只读接口，只暴露 getter 和衍生操作，不暴露构造或修改能力：
type ReadOnlyPerson interface {
Name() string
Age() int
IsAdult() bool
}
// 实现由私有结构体承担，外部只能按接口使用
func (p Person) IsAdult() bool { return p.age >= 18 }
- 接口变量无法强制转回具体类型（除非类型断言），限制了越权操作可能
- 包内可继续扩展功能，对外接口保持稳定且只读
基本上就这些。Go 的不可变不是靠编译器强制，而是靠设计约定 + 值类型复制 + 封装控制。不复杂但容易忽略细节，尤其切片和 map 的引用陷阱。
