切片作为函数参数
前面我们说到,slice 其实是一个结构体,包含了三个成员:len, cap, array。分别表示切片长度,容量,底层数据的地址。
当 slice 作为函数参数时,就是一个普通的结构体。其实很好理解:若直接传 slice,在调用者看来,实参 slice 并不会被函数中的操作改变;若传的是 slice 的指针,在调用者看来,是会被改变原 slice 的。
值的注意的是,不管传的是 slice 还是 slice 指针,如果改变了 slice 底层数组的数据,会反应到实参 slice 的底层数据。为什么能改变底层数组的数据?很好理解:底层数据在 slice 结构体里是一个指针,仅管 slice 结构体自身不会被改变,也就是说底层数据地址不会被改变。 但是通过指向底层数据的指针,可以改变切片的底层数据,没有问题。
通过 slice 的 array 字段就可以拿到数组的地址。在代码里,是直接通过类似 s[i]=10 这种操作改变 slice 底层数组元素值。
另外,值得注意的是,Go 语言的函数参数传递,只有值传递,没有引用传递。
来看一个代码片段:
1
package main
2
3
func main() {
4
s := []int{1, 1, 1}
5
f(s)
6
fmt.Println(s)
7
}
8
9
func f(s []int) {
10
// i只是一个副本,不能改变s中元素的值
11
/*for _, i := range s {
12
i++
13
}
14
*/
15
16
for i := range s {
17
s[i] += 1
18
}
19
}
Copied!
运行一下,程序输出:
1
[2 2 2]
Copied!
果真改变了原始 slice 的底层数据。这里传递的是一个 slice 的副本,在 f 函数中,s 只是 main 函数中 s 的一个拷贝。在f 函数内部,对 s 的作用并不会改变外层 main 函数的 s
要想真的改变外层 slice,只有将返回的新的 slice 赋值到原始 slice,或者向函数传递一个指向 slice 的指针。我们再来看一个例子:
1
package main
2
3
import "fmt"
4
5
func myAppend(s []int) []int {
6
// 这里 s 虽然改变了,但并不会影响外层函数的 s
7
s = append(s, 100)
8
return s
9
}
10
11
func myAppendPtr(s *[]int) {
12
// 会改变外层 s 本身
13
*s = append(*s, 100)
14
return
15
}
16
17
func main() {
18
s := []int{1, 1, 1}
19
newS := myAppend(s)
20
21
fmt.Println(s)
22
fmt.Println(newS)
23
24
s = newS
25
26
myAppendPtr(&s)
27
fmt.Println(s)
28
}
Copied!
运行结果:
1
[1 1 1]
2
[1 1 1 100]
3
[1 1 1 100 100]
Copied!
myAppend 函数里,虽然改变了 s,但它只是一个值传递,并不会影响外层的 s,因此第一行打印出来的结果仍然是 [1 1 1]
newS 是一个新的 slice,它是基于 s 得到的。因此它打印的是追加了一个 100 之后的结果: [1 1 1 100]
最后,将 newS 赋值给了 ss 这时才真正变成了一个新的slice。之后,再给 myAppendPtr 函数传入一个 s 指针,这回它真的被改变了:[1 1 1 100 100]
Copy link