Golang常見錯(cuò)誤之值拷貝和for循環(huán)中的單一變量詳解

前言

golang(中文名：go語言)是谷歌2009發(fā)布的第二款開源編程語言。Go語言專門針對(duì)多處理器系統(tǒng)應(yīng)用程序的編程進(jìn)行了優(yōu)化，使用Go編譯的程序可以媲美C或C++代碼的速度，而且更加安全、支持并行進(jìn)程。。如果你想知道得更多，請移步至官網(wǎng)golang官網(wǎng)

在 Go 中函數(shù)的調(diào)用是值拷貝 copy value，而且在 for 循環(huán)中 v 的變量始終是一個(gè)變量。如果 v 是 pointer，print 這個(gè) method 接收的是指針的拷貝，for 循環(huán)體中每次迭代 v 的 pointer value 都是不同的，所以輸出不同。

在 Go 常見的錯(cuò)誤一文中 http://devs.cloudimmunity.com/gotchas-and-common-mistakes-in-go-golang/ 有這么一段代碼：

package main

import ( 
 "fmt"
 "time"
)

type field struct { 
 name string
}

func (p *field) print() { 
 fmt.Println(p.name)
}

func main() { 
 data := []field{{"one"},{"two"},{"three"}}

 for _,v := range data {
 go v.print()
 }

 time.Sleep(3 * time.Second)
 //goroutines print: three, three, three
}

把 field slice 的類型改為 pointer 結(jié)果又不同：

package main

import ( 
 "fmt"
 "time"
)

type field struct { 
 name string
}

func (p *field) print() { 
 fmt.Println(p.name)
}

func main() { 
 data := []*field{{"one"},{"two"},{"three"}}

 for _,v := range data {
 v := v
 go v.print()
 }

 time.Sleep(3 * time.Second)
 //goroutines print: one, two, three
}

這兩段代碼的差異究竟是如何導(dǎo)致結(jié)果的不同？

我對(duì)上面的代碼 for 循環(huán)中的部分進(jìn)行了一下改造，改造之后對(duì)應(yīng)的代碼分別是：

slice 是非指針

 data := []field{{"one"},{"two"},{"three"}}

 for _,v := range data {
 pp := (*field).print
 go pp(v) //非 pointer
 }

slice 是指針

 data := []*field{{"one"},{"two"},{"three"}}

 for _,v := range data {
 pp := (*field).print
 go pp(v) // pointer
 }

改造之后再去看原來的代碼就能看出最明顯的差異在 print 的這個(gè) method 的 receiver 的傳遞上。

在 Go 中函數(shù)的調(diào)用是值拷貝 copy value，而且在 for 循環(huán)中 v 的變量始終是一個(gè)變量。

如果 v 是 pointer，print 這個(gè) method 接收的是指針的拷貝，for 循環(huán)體中每次迭代 v 的 pointer value 都是不同的，所以輸出不同。

如果 v 是一個(gè)普通的 struct，for 循環(huán)體中每次迭代 v 都是 v 這個(gè)變量本身的 pointer，也就是總是指向同一個(gè) field，由于在很大程度上這段代碼中的 goroutine 都是在 for 結(jié)束之后才執(zhí)行，而此時(shí) v 將會(huì)指向最后一個(gè) field，也就是 {"three"}，所以輸出相同。

有人說 one、two、three 的隨機(jī)輸出是因?yàn)?CPU 是多核的原因?qū)е碌模绻某蓡魏司褪琼樞蜉敵?，這樣的說法并不是特別準(zhǔn)確。理論上來講 goroutine 的調(diào)度是有一定的隨機(jī)性的，也就是即使是單核輸出也有可能是隨機(jī)的，只是在運(yùn)行如此簡單的例子時(shí)一般機(jī)器環(huán)境都不會(huì)導(dǎo)致這 3 個(gè)簡單的 goroutine 出現(xiàn)交叉執(zhí)行。比如可以在 print 輸出之前模擬 io 繁忙的來達(dá)到即使是單核也可能是隨機(jī)輸出的目的。

 if rand.Intn(100) > 20 {
 time.Sleep(1 * time.Second)
 }

總結(jié)

以上就是這篇文章的全部內(nèi)容了，希望本文的內(nèi)容對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值，如果有疑問大家可以留言交流，謝謝大家對(duì)腳本之家的支持。