問題引入
- 什么時候選擇 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,地址：%p\n",_s,_s)
}
func exp6(){
s:=[]int{11,22,33,44}
fmt.Printf("s 值：%v,地址：%p\n",s,s)
passSlice(s)
fmt.Printf("執行函數后 s 值：%v,地址：%p\n",s,s)
}
對切片參數的修改會影響原來的切片。
再看傳遞數組
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("執行函數后 a 值：%v,地址：%p\n",a,a)
}
對數組參數的修改并不會影響原來的切片。
總結會發生副本創建的情況
- 賦值操作，如 u1:=u2。包括 slice，map,array 在初始化和按索引設置的時候都會創建副本
- for-range循環也是將元素的副本賦值給循環變量，但注意一點，循環變量是被復用的，所以地址不會變
- 將變量作為參數傳遞。但注意一點， slice，map，chanel 三者都和 *T 一樣，屬于引用傳遞，雖然是發生了副本創建，但是函數內對參數的值進行修改會影響原來的值。而數組不同于 slice，函數內對數組參數的值進行修改不會影響原來數組
- 將返回值賦值給其它變量或者傳遞給其它的函數和方法
- 字符串比較特殊，它的值不能修改，任何想對字符串的值做修改都會生成新的字符串
- 函數也是一個指針類型，對函數對象的賦值只是又創建了一個對次函數對象的指針。
總結指針類型
如何選擇 T 和 *T
對函數的參數或者返回值定義成 T 還是 *T 要考慮以下幾點：
- 一般的判斷標準是看副本創建的成本和需求。
- 如果不想變量被函數所修改，那么選擇類型 T
- 如果變量是一個很大的struct或者數組，副本的創建相對會影響性能，這個時候要考慮使用*T，只創建新的指針
- 對于函數作用域內的參數，如果定義成 T , Go 編譯器盡量將對象分配到棧上，而 *T 很可能會分配到對象上，這對垃圾回收會有影響
以上就是本文的全部內容，希望對大家的學習有所幫助，也希望大家多多支持腳本之家。
您可能感興趣的文章:- 使用go來操作redis的方法示例
- golang讀取文件的常用方法總結
- 使用go xorm來操作mysql的方法實例
- golang time包的用法詳解
- golang時間、時區、格式的使用方法
- Go JSON編碼與解碼的實現
- go module使用本地包的方法示例
- Golang 函數執行時間統計裝飾器的一個實現詳解
- Golang 使用接口實現泛型的方法示例
- go語言的panic和recover函數用法實例
