使用append向slice添加新值后所有元素均被修改，为何出现此现象？

这种问题在Go里非常常见，核心原因都和slice的底层实现以及引用/值类型的区别有关，我分两种最典型的场景来解释：

场景1：Slice中存储的是指针/引用类型，且重复复用同一个实例 #

如果你在slice里存的是指针（比如*struct）或者其他引用类型（比如map），并且每次append的都是同一个实例的引用，那当你修改这个实例的内容时，slice里所有指向它的元素都会跟着变化。

举个例子：

package main

import "fmt"

type User struct {
	Name string
}

func main() {
	var users []*User
	// 复用同一个User指针
	u := &User{}

	for i := 0; i < 3; i++ {
		u.Name = fmt.Sprintf("User%d", i)
		users = append(users, u) // 每次append的都是同一个指针
	}

	// 现在修改u的Name
	u.Name = "Modified"
	users = append(users, u)

	// 实际输出：所有元素的Name都是"Modified"
	for _, user := range users {
		fmt.Println(user.Name)
	}
}

原因： #

slice里的每个元素都是指向同一个User实例的指针，不管你append多少次，这些指针都指向内存中的同一个对象。当你修改这个对象的属性时，所有通过指针访问它的地方都会看到变化。

解决方案： #

每次append的时候创建一个新的实例，而不是复用同一个：

for i := 0; i < 3; i++ {
	// 每次循环都新建一个User实例
	u := &User{Name: fmt.Sprintf("User%d", i)}
	users = append(users, u)
}

场景2：多个Slice共享同一个底层数组，append未触发扩容 #

Go的slice本质是一个包含三个字段的结构体：指向底层数组的指针、长度(len)、容量(cap)。当你从一个slice截取新的slice（比如s2 := s1[:2]），这两个slice会共享同一个底层数组。如果此时你对其中一个slice执行append，且当前slice的容量还够（len < cap），append会直接修改底层数组的对应位置，导致另一个slice的元素也跟着变化。

举个例子：

package main

import "fmt"

func main() {
	source := []int{10, 20, 30}
	// 截取source的前2个元素，s的cap是3（和source共享底层数组）
	s := source[:2]

	// append一个新元素，此时s的len是2，cap是3，不需要扩容
	s = append(s, 99)

	fmt.Println(source) // 输出 [10,20,99]，而不是原来的[10,20,30]
	fmt.Println(s)      // 输出 [10,20,99]
}

原因： #

因为s和source共享同一个底层数组，append的时候没有触发扩容（容量还够），所以直接把99写到了底层数组的第三个位置，也就是source的第三个元素的位置，导致source的元素也被修改了。

解决方案： #

如果想让新slice和原slice独立，可以手动触发扩容，比如用append创建一个新的slice：

// 用append(nil, source[:2]...) 创建一个拥有新底层数组的slice
s := append(nil, source[:2]...)

这样后续对s的append操作就不会影响source了，因为它们的底层数组已经分开了。

总结 #

核心要记住两点：

• 如果slice存的是引用类型，确保每次append的是新的实例，而不是复用同一个引用；
• 多个slice共享底层数组时，append操作在未触发扩容前会修改共享的数组，导致其他slice的元素变化。

内容的提问来源于stack exchange，提问作者Jason.dong