在Go语言开发里，不少工程师写过包含切片字段的结构体，并在函数间传递这些结构体，随后发现明明只改了函数内拿到的值，调用方的原始结构体字段却也变了。这种现象并非编译器bug，而是切片与指针的底层语义和拷贝行为共同导致的结果。要彻底弄明白，需要从内存布局和赋值机制入手。
切片头的本质与拷贝行为
Go的切片在运行时由一个叫做slice header的结构表示，它包含三个字段：指向底层数组的指针、长度len、容量cap。当我们把一个切片赋值给另一个变量，或者作为函数参数传入时，拷贝的只是这个头部，而不是底层数组本身。因此两个切片变量会共享同一块连续内存。
下面这段代码展示了切片赋值后共享底层数组的效果：
package main
import "fmt"
func main() {
a := []int{1, 2, 3}
b := a // 拷贝slice header，底层数组未复制
b[0] = 99
fmt.Println(a) // 输出 [99 2 3]
}
由于a和b的slice header中的指针指向同一个数组，修改b的元素就等于修改了a看到的数据。这种特性在性能上避免了大块内存复制，但也埋下了意外修改的隐患。
结构体字段中的切片与指针叠加
当结构体包含一个切片字段，并且我们在函数间传递结构体时，情况会变得更微妙。如果结构体是值传递，切片字段依旧只拷贝头部；如果结构体指针被传递，则连结构体本身也是共享的。两者叠加，很容易让人误以为自己操作的是独立副本。
考虑如下示例，结构体拥有切片字段，函数接收结构体值却修改了切片元素：
package main
import "fmt"
type Box struct {
Items []int
}
func modify(b Box) {
b.Items[0] = 100 // 只改了切片元素，但底层数组被共享
}
func main() {
x := Box{Items: []int{1, 2, 3}}
modify(x)
fmt.Println(x.Items) // 输出 [100 2 3]
}
这里modify接收的是Box的值拷贝，但Items字段内部的指针仍指向原底层数组。所以即便b是x的副本，b.Items[0]的写入依然反映到了x上。如果再把Box的指针传进函数，则连结构体字段本身都能被替换。
指针接收者与取地址的误导
另一个常见陷阱是使用指针接收者的方法。开发者有时认为只要方法里操作的是结构体副本就没事，却忘了指针接收者本就指向原对象。再加上取地址符得到的字段指针，会直接绕过拷贝保护。
以下例子演示了通过指针修改结构体切片字段：
package main
import "fmt"
type Container struct {
Data []string
}
func (c *Container) Set(idx int, val string) {
c.Data[idx] = val // c是指针，直接改原对象切片底层数组
}
func main() {
c := &Container{Data: []string{"a", "b"}}
c.Set(1, "z")
fmt.Println(c.Data) // 输出 [a z]
}
指针接收者让方法内部所见即原对象，任何对切片元素的赋值都会永久生效。如果在并发场景下多个goroutine持有同一结构体指针并修改其切片，还会引发竞态问题，需要用互斥锁或复制底层数组来隔离。
如何避免意外的字段修改
要避免这类陷阱，核心原则是明确自己是否需要独立数据。若希望函数内部修改不影响原结构体，应当在传参前深拷贝切片字段，或者始终用返回值覆盖原切片。
一种简单的防御性拷贝写法如下：
package main
import "fmt"
type Bag struct {
Vals []int
}
func safeModify(b Bag) Bag {
// 复制底层数组，断开共享
newVals := make([]int, len(b.Vals))
copy(newVals, b.Vals)
newVals[0] = 777
b.Vals = newVals
return b
}
func main() {
orig := Bag{Vals: []int{1, 2}}
updated := safeModify(orig)
fmt.Println(orig.Vals) // 输出 [1 2]
fmt.Println(updated.Vals) // 输出 [777 2]
}
通过copy创建新数组并重新赋值给结构体的切片字段，原结构体就不再受后续修改影响。对于复杂结构体，可以借助序列化或专用clone函数完成深拷贝。在团队代码中，建议对含有切片字段的结构体在文档里标明其共享语义，减少协作时的理解偏差。
总结对照表
为了更直观区分不同传递方式的影响，可以用一张表来归纳：
| 传递方式 | 结构体是否拷贝 | 切片头部是否拷贝 | 底层数组是否共享 | 修改切片元素是否影响原对象 |
|---|---|---|---|---|
| 值传结构体 | 是 | 是 | 是 | 是 |
| 指针传结构体 | 否 | 否（同原指针） | 是 | 是 |
| 值传结构体且深拷贝切片 | 是 | 是（指向新数组） | 否 | 否 |
理解上表后，就能在编码时有意识地选择传递与拷贝策略，从根本上规避切片与指针带来的结构体字段意外修改问题。