問(wèn)題引入

• 什么時(shí)候選擇 T 作為參數(shù)類型，什么時(shí)候選擇 *T 作為參數(shù)類型？
• [ ] T 是傳遞的指針還是值？選擇 [ ] T 還是 [ ] *T ?
• 哪些類型復(fù)制和傳遞的時(shí)候會(huì)創(chuàng)建副本？
• 什么情況下會(huì)發(fā)生副本創(chuàng)建？

T 和 *T 當(dāng)做函數(shù)參數(shù)時(shí)都是傳遞它的副本

先看傳 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("執(zhí)行完函數(shù)后 u 值：%+v; 地址: %p;\n",u,u)
}

執(zhí)行 exp2 方法，輸出結(jié)果為：

結(jié)果說(shuō)明：

• _u 是 u 的一份拷貝，地址不同
• 函數(shù)內(nèi)對(duì)參數(shù)的改變不影響原始的對(duì)象

再看傳 *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)
}

執(zhí)行 exp3 方法的輸出結(jié)果為：

注意到，雖然參數(shù) _u 仍然是 u 的一份拷貝對(duì)象，但是原始對(duì)象的值還是改變了?？梢赃@么理解，因?yàn)?u 指針和 _u 指針都指向同一個(gè)對(duì)象，即 0xc0000484a0 地址上存放的對(duì)象，_u.name="jack"可以看做*(_u).name="jack，即取值后再改變值。

改變指針參數(shù)的地址

type user struct {
  id int
  name string
}

func changeAddress(_u *user){
  _u=user{2,"jack"}
  fmt.Printf("參數(shù)_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("執(zhí)行函數(shù)后 u 值：%+v; 指向的地址: %p;u本身存放地址: %p; \n",*u,u,u)
}

輸出結(jié)果如下：

注意，執(zhí)行函數(shù)后 u 值沒(méi)有改變！改變了參數(shù)指向的地址，原來(lái)的對(duì)象肯定就不受影響了。

傳遞數(shù)組參數(shù) vs 傳遞切片參數(shù)

func passSlice(_s []int){
  _s[0]=99
  fmt.Printf("_s 值：%v,地址：%p\n",_s,_s)
}

func exp6(){
  s:=[]int{11,22,33,44}
  fmt.Printf("s 值：%v,地址：%p\n",s,s)
  passSlice(s)
  fmt.Printf("執(zhí)行函數(shù)后 s 值：%v,地址：%p\n",s,s)
}

對(duì)切片參數(shù)的修改會(huì)影響原來(lái)的切片。

再看傳遞數(shù)組

func passArray(_a [3]int){
  _a[0]=99
  fmt.Printf("_a 值：%v,地址：%p\n",_a,_a)
}

func exp7(){
  a:=[3]int{22,33,44}
  fmt.Printf("a 值：%v,地址：%p\n",a,a)
  passArray(a)
  fmt.Printf("執(zhí)行函數(shù)后 a 值：%v,地址：%p\n",a,a)
}

對(duì)數(shù)組參數(shù)的修改并不會(huì)影響原來(lái)的切片。

總結(jié)會(huì)發(fā)生副本創(chuàng)建的情況

• 賦值操作，如 u1:=u2。包括 slice，map,array 在初始化和按索引設(shè)置的時(shí)候都會(huì)創(chuàng)建副本
• for-range循環(huán)也是將元素的副本賦值給循環(huán)變量，但注意一點(diǎn)，循環(huán)變量是被復(fù)用的，所以地址不會(huì)變
• 將變量作為參數(shù)傳遞。但注意一點(diǎn)， slice，map，chanel 三者都和 *T 一樣，屬于引用傳遞，雖然是發(fā)生了副本創(chuàng)建，但是函數(shù)內(nèi)對(duì)參數(shù)的值進(jìn)行修改會(huì)影響原來(lái)的值。而數(shù)組不同于 slice，函數(shù)內(nèi)對(duì)數(shù)組參數(shù)的值進(jìn)行修改不會(huì)影響原來(lái)數(shù)組
• 將返回值賦值給其它變量或者傳遞給其它的函數(shù)和方法
• 字符串比較特殊，它的值不能修改，任何想對(duì)字符串的值做修改都會(huì)生成新的字符串
• 函數(shù)也是一個(gè)指針類型，對(duì)函數(shù)對(duì)象的賦值只是又創(chuàng)建了一個(gè)對(duì)次函數(shù)對(duì)象的指針。

總結(jié)指針類型

• slice
• map
• chanel
• 函數(shù)

如何選擇 T 和 *T

對(duì)函數(shù)的參數(shù)或者返回值定義成 T 還是 *T 要考慮以下幾點(diǎn)：

• 一般的判斷標(biāo)準(zhǔn)是看副本創(chuàng)建的成本和需求。
• 如果不想變量被函數(shù)所修改，那么選擇類型 T
• 如果變量是一個(gè)很大的struct或者數(shù)組，副本的創(chuàng)建相對(duì)會(huì)影響性能，這個(gè)時(shí)候要考慮使用*T，只創(chuàng)建新的指針
• 對(duì)于函數(shù)作用域內(nèi)的參數(shù)，如果定義成 T , Go 編譯器盡量將對(duì)象分配到棧上，而 *T 很可能會(huì)分配到對(duì)象上，這對(duì)垃圾回收會(huì)有影響

以上就是本文的全部?jī)?nèi)容，希望對(duì)大家的學(xué)習(xí)有所幫助，也希望大家多多支持腳本之家。