Golang函数参数怎么防修改？不可变对象传递设计思路-Golang-PHP中文网

Go中防修改需从参数接收、拷贝时机、返回策略三处入手：slice等类型需用append([]T{}, s)或bytes.Clone隔离；结构体字段应小写+With方法；返回map/slice必须副本；构造函数禁止提前暴露指针。

golang函数参数怎么防修改？不可变对象传递设计思路

Go 里传参默认是值拷贝，但 slice、map、chan、func 和指针类型本身携带“可寻址底层数组”或“共享状态”，一不小心就会在函数内改到调用方的原始数据。防修改不是靠加锁或文档警告，而是从参数接收方式、拷贝时机和返回策略三处下手。

因为 slice 是 header（包含 ptr/len/cap）的值拷贝，ptr 指向的底层数组仍是原地址。只要函数里出现 s[i] = x、append(s, ...) 或 copy(dst, s)，就可能污染原始数据。

判断是否需要隔离：看函数逻辑是否写入——比如加密、padding、序列化、解析协议，一律默认隔离；只读比较（如 bytes.Equal）可跳过
安全拷贝方式（按推荐顺序）：
- append([]T{}, s)：通用、简洁，适用于所有 []T，Go 1.22 前最稳妥
- bytes.Clone(s)：仅限 []byte，Go 1.20+，零分配、语义清晰
- dst := make([]T, len(s)); copy(dst, s)：适合高频路径或需预估容量的场景，注意 make 容量必须 ≥ len(s)
错误示范：make([]T, 0, cap(s)) 创建的是全新空切片，跟原 s 完全无关，没解决隔离问题

传 *S 本意是让函数能改字段，但若你设计的是“不可变对象”，那这个指针就不该暴露出去——它等于开了后门。真正要防的不是“能不能改”，而是“调用方有没有能力改”。

字段必须全小写（未导出），禁止提供 SetXxx() 方法；改用 WithXxx() 返回新实例
构造函数（如 NewConfig()）应返回值类型（Config），而非 *Config；否则调用方可能直接取地址修改
如果结构体含 map[string]int 或 []string 字段，初始化和读取都必须深拷贝：
- 初始化：copied := make(map[string]int); for k, v := range src { copied[k] = v }（或 Go 1.21+ 用 maps.Clone(src)）
- 读取：func (c Config) Options() map[string]string { return maps.Clone(c.options) }，绝不能 return c.options
别在结构体里嵌 *sync.Mutex 或 *bytes.Buffer——这等于承认它是可变的，且无法保证其指向对象本身不可变

很多人以为字段私有 + 不导出方法就够了，结果在某个 Tags() []string 方法里直接 return u.tags，瞬间把整个不可变契约击穿。并发下多个 goroutine 改同一个底层数组，连 sync.RWMutex 都救不了。

Golang Uber Dig

使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等

下载

错误现象：u.Tags()[0] = "hacked" 后，原结构体的 u.tags[0] 真的变了
正确做法（二选一）：
- 返回只读副本：func (u User) Tags() []string { return append([]string(nil), u.tags...) }
- 不暴露索引访问，只提供只读视图：func (u User) TagAt(i int) string { return u.tags[i] } 或 func (u User) RangeTags(fn func(string) bool)
对外暴露只读接口比靠注释更可靠：type ConfigReader interface { Host() string; Timeout() time.Duration }，哪怕有人拿到 *User，也无法强制转型去改字段