17370845950

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 的引用陷阱。