go slice 的一个疑问

[yujianwjj]

package main

import (
	"fmt"
)

func test(a []int) {
	a = append(a, 4)
}

func main() {
	s := make([]int, 3, 4)
	s[0] = 1
	s[1] = 2
	s[2] = 3
	fmt.Println(s)//1, 2, 3
	test(s)
	fmt.Println(s)//1, 2, 3
}

我认为第二个 println 打印出来的应该是 1, 2, 3, 4， 但是实际打印的是 1, 2, 3

[zoowii]

a=append(a, 4)执行前后的 a 不是同一个 slice, 参数 a 传的是引用的值，不改变原来的 s 变量

[yujianwjj]

@zoowii cap(a) 是 4，实际 len(a) 是 3，为啥 append 前后的 a 不是同一个 slice ？

[kuro1]

老一套 指针问题

[auta]

@yujianwjj #2 外面的 s 的 len 没有变成 4

[lhx2008]

s 这个 struct 没有被改，里面存了 len 的数据，a 是另外一个 struct

[AzadCypress]

type slice struct{
array unsafe.Pointer
len int
cap int
}
当你用 slice 作为参数时，传进去的是这个结构体的 copy
所以改变 slice 中的值是有效的，涉及到长度 /容量的在副本上进行 是无效的

[yujianwjj]

@auta 懂了

[cmdOptionKana]

你把 test 函数改成这样

func test(a *[]int) { *a = append(*a, 4) }

然后这样调用 test(&s)

就可以了。

[ifconfig]

这是值传递，很多语言都是值传递吧

[zhs227]

说到点子上的人不多。除了 auta，外面的 s.len 没变，但是 s[4]的内容实际是有了，只是 length 仍然是 3.
具体可以看看 playground: https://play.golang.org/p/JjP8z4xQ1Qa

[luoqeng]

底层用的同一块内存，但是 s 与 a 的里记录的长度不一样。

[luoqeng]

sSliceArrayPointer := unsafe.Pointer(*(*unsafe.Pointer)(unsafe.Pointer(&s)))

offset3Pointer := unsafe.Pointer(uintptr(sSliceArrayPointer ) + unsafe.Sizeof(&s[0])*3)

fmt.Println("offset s[3]:", *(*int)(offset3Pointer))

输出 offset s[3]: 4

[CEBBCAT]

https://gist.github.com/Zhang-Siyang/e701966d4d12022816c1750d7afa861c

终于有我能解答的语言题啦！

[visitant]

slice 实际上是一个结构体 struct{ptr,len,cap},ptr 指向存储数据的数组,len/cap 表示当前长度和容量,你传到函数内的是一个 struct 的拷贝,在一个内部函数 append 不会影响到外部函数的 len.

[index90]

你把 slice 类型看作是一个大概这样子的 struct
type Slice struct {
len int
mem *unsafe.Pointer
... other info
}
函数参数是值传递，就是把 s 复制了一遍到 a
其实 a 和 s 只是用了同一个内存指针，其他都是独立的

[v2exe2v]

func test(a []int) 这里的 a 是 s 的一个拷贝，所以对 a 的修改不影响外面的 s。我猜传 *[]int 可以

[CEBBCAT]

@v2exe2v 影响的，你可以看我上面贴的 gist，也可以看看前几楼的解释

[kuro1]

```
package main

import (
"fmt"
)

func test(a []int) []int{
a = append(a, 4)
return a
}

func main() {
s := make([]int, 3, 4)
s[0] = 1
s[1] = 2
s[2] = 3
fmt.Println(s) //[1 2 3]
a := test(s)
fmt.Println(a) //[1 2 3 4]
s = append(s,5)
fmt.Println(s) //[1 2 3 4]
fmt.Println(a) //[1 2 3 5]
}
```

[kuro1]

更正，最后两行
fmt.Println(s) //[1 2 3 5]
fmt.Println(a) //[1 2 3 5]

[newmiao]

建议了解下 slice 底层结构，再加上 Go 里传参都是值传递就好理解了
https://www.v2ex.com/t/650724

[ericuni]

test 把新的 slice 返回回来, 然后 caller 再捕获才行, 本质还是值拷贝, slice 只是一个 slice header