Go语言中函数内修改slice为何无法更新长度？

这是Go开发者入门时很容易踩的坑，核心原因一句话就能说清：slice本质是包含底层数组指针、长度、容量的结构体，传入函数时会被复制一份副本。所以函数内直接修改slice的元素能生效（因为指向的是同一个底层数组），但append操作只会修改副本的长度/容量，不会同步到原slice——除非把函数返回的新slice重新赋值给原变量，或者直接传slice的指针进去操作。

下面是一个覆盖多种场景的完整示例，能帮你直观理解不同操作的差异：

package main
import ( "fmt" )
var sli = make([]int,8)
func main() {
	fmt.Println("START STATUS_____")
	fmt.Println("slice",sli)
	fmt.Println(" cap:", cap(sli))
	fmt.Println(" len:", len(sli))
	editSli(sli)
	fmt.Println("EDIT RESULT STATUS_____")
	fmt.Println("slice",sli)
	fmt.Println(" cap:", cap(sli))
	fmt.Println(" len:", len(sli))
	sli = updateSli(sli)
	fmt.Println("UPDATE RESULT STATUS_____")
	fmt.Println("slice",sli)
	fmt.Println(" cap:", cap(sli))
	fmt.Println(" len:", len(sli))
	sli = append(sli, 15, 16, 17)
	fmt.Println("DIRECT APPEND RESULT STATUS_____")
	fmt.Println("slice",sli)
	fmt.Println(" cap:", cap(sli))
	fmt.Println(" len:", len(sli))
	sli[13] = 99
	fmt.Println("DIRECT ASSIGNMENT OF LAST ELEMENT (13°) STATUS_____")
	fmt.Println("slice",sli)
	fmt.Println(" cap:", cap(sli))
	fmt.Println(" len:", len(sli))
	updateSliPointer(&sli)
	fmt.Println("\n*** Finally, passing the slice as a pointer will modify the structure: ")
	fmt.Println("slice",sli)
	fmt.Println(" cap:", cap(sli))
	fmt.Println(" len:", len(sli))
}
func editSli(sliOrigin []int) {
	sliOrigin[7] = 11
	sliOrigin = append(sliOrigin, 33, 34, 35) // 这个操作只修改函数内的副本，不会影响原slice
	fmt.Println("\n在editSli函数内，slice的值为=", sliOrigin)
	fmt.Println("直接修改第7位元素的操作生效。")
	fmt.Println("但append操作不会作用于原slice，因为这是内部副本")
}
func updateSli(sliOrigin []int) []int{
	sliOrigin = append(sliOrigin, 12, 13, 14) // 生成新slice后返回，外部重新赋值就会生效
	fmt.Println("\n在updateSli函数内，slice的值为=", sliOrigin)
	fmt.Println("该append操作会作用于原slice，因为函数返回了新的slice")
	return sliOrigin
}
func updateSliPointer(sliOrigin *[]int) {
	(*sliOrigin)[7] = 11
	*sliOrigin = append(*sliOrigin, 100, 101, 102) // 直接操作原slice的结构体，修改会同步
	fmt.Println("\n在updateSliPointer函数内，通过slice指针可直接修改结构，append后的值为=", sliOrigin)
	fmt.Println("\n但要访问并修改元素，需创建本地实例")
	var x = *sliOrigin
	x[4] = 9
}

运行结果： #

START STATUS_____
slice [0 0 0 0 0 0 0 0]
 cap: 8
 len: 8
在editSli函数内，slice的值为= [0 0 0 0 0 0 0 11 33 34 35]
直接修改第7位元素的操作生效。
但append操作不会作用于原slice，因为这是内部副本
EDIT RESULT STATUS_____
slice [0 0 0 0 0 0 0 11]
 cap: 8
 len: 8
在updateSli函数内，slice的值为= [0 0 0 0 0 0 0 11 12 13 14]
该append操作会作用于原slice，因为函数返回了新的slice
UPDATE RESULT STATUS_____
slice [0 0 0 0 0 0 0 11 12 13 14]
 cap: 16
 len: 11
DIRECT APPEND RESULT STATUS_____
slice [0 0 0 0 0 0 0 11 12 13 14 15 16 17]
 cap: 16
 len: 14
DIRECT ASSIGNMENT OF LAST ELEMENT (13°) STATUS_____
slice [0 0 0 0 0 0 0 11 12 13 14 15 16 99]
 cap: 16
 len: 14
在updateSliPointer函数内，通过slice指针可直接修改结构，append后的值为= &[0 0 0 0 0 0 0 11 12 13 14 15 16 99 100 101 102]
但要访问并修改元素，需创建本地实例
*** Finally, passing the slice as a pointer will modify the structure: 
slice [0 0 0 0 9 0 0 11 12 13 14 15 16 99 100 101 102]
 cap: 32
 len: 17

关键结论总结： #

• 直接修改slice元素：因为底层数组是共享的，函数内的修改会同步到原slice
• 函数内append slice：只会修改副本的长度/容量，原slice不变，必须返回新slice并重新赋值
• 传slice指针操作：可以直接修改原slice的结构体（包括长度、容量），append操作会直接生效

内容的提问来源于stack exchange，提问作者bob