Go 值传递与引用传递的方法

2020-01-28 13:51:09丽君

问题引入

什么时候选择 T 作为参数类型,什么时候选择 *T 作为参数类型? [ ] T 是传递的指针还是值?选择 [ ] T 还是 [ ] *T ? 哪些类型复制和传递的时候会创建副本? 什么情况下会发生副本创建?

T 和 *T 当做函数参数时都是传递它的副本

先看传 T 的情况:


type user struct {
  id int
  name string
}

func passByValue(_u user){
  _u.id++
  _u.name="jack"

  // when printing structs, the plus flag (%+v) adds field names
  fmt.Printf("_u 值:%+v;地址:%p; n",_u,&_u)
}

func exp2(){
  u:=user{1,"peter"}
  fmt.Printf("原始 u 值:%+v; 地址: %p;n",u,&u)
  passByValue(u)
  fmt.Printf("执行完函数后 u 值:%+v; 地址: %p;n",u,&u)
}

执行 exp2 方法,输出结果为:


结果说明:

_u 是 u 的一份拷贝,地址不同 函数内对参数的改变不影响原始的对象

再看传 *T 的情况:


type user struct {
  id int
  name string
}

func passByPointer(_u *user){
  _u.id++
  _u.name="jack"
  fmt.Printf("_u 值:%+v ;u指向的地址:%p; u本身存放地址:%p; n",*_u,_u,&_u)
}

func exp3(){
  u:=&user{1,"peter"}
  fmt.Printf("原始u 值:%+v; 指向的地址: %p;u本身存放地址: %p; n",*u,u,&u)
  passByPointer(u)
  fmt.Printf("原始u 值:%+v; 指向的地址: %p;u本身存放地址: %p; n",*u,u,&u)
}

执行 exp3 方法的输出结果为:

注意到,虽然参数 _u 仍然是 u 的一份拷贝对象,但是原始对象的值还是改变了。可以这么理解,因为 u 指针和 _u 指针都指向同一个对象,即 0xc0000484a0 地址上存放的对象,_u.name="jack"可以看做*(_u).name="jack,即取值后再改变值。

改变指针参数的地址


type user struct {
  id int
  name string
}

func changeAddress(_u *user){
  _u=&user{2,"jack"}
  fmt.Printf("参数_u 值:%+v ;u指向的地址:%p; u本身存放地址:%p; n",*_u,_u,&_u)
  return
}

func exp4(){
  u:=&user{1,"peter"}
  fmt.Printf("原始u 值:%+v; 指向的地址: %p;u本身存放地址: %p; n",*u,u,&u)
  changeAddress(u)
  fmt.Printf("执行函数后 u 值:%+v; 指向的地址: %p;u本身存放地址: %p; n",*u,u,&u)
}

输出结果如下:

注意,执行函数后 u 值没有改变!改变了参数指向的地址,原来的对象肯定就不受影响了。

传递数组参数 vs 传递切片参数


func passSlice(_s []int){
  _s[0]=99
  fmt.Printf("_s 值:%v,地址:%pn",_s,&_s)
}

func exp6(){
  s:=[]int{11,22,33,44}
  fmt.Printf("s 值:%v,地址:%pn",s,&s)
  passSlice(s)
  fmt.Printf("执行函数后 s 值:%v,地址:%pn",s,&s)
}