Golang常见错误之值拷贝和for循环中的单一变量详解
前言
golang(中文名:go语言)是谷歌2009发布的第二款开源编程语言。Go语言专门针对多处理器系统应用程序的编程进行了优化,使用Go编译的程序可以媲美C或C++代码的速度,而且更加安全、支持并行进程。。如果你想知道得更多,请移步至官网golang官网
在Go中函数的调用是值拷贝copyvalue,而且在for循环中v的变量始终是一个变量。如果v是pointer,print这个method接收的是指针的拷贝,for循环体中每次迭代v的pointervalue都是不同的,所以输出不同。
在Go常见的错误一文中http://devs.cloudimmunity.com/gotchas-and-common-mistakes-in-go-golang/有这么一段代码:
packagemain import( "fmt" "time" ) typefieldstruct{ namestring } func(p*field)print(){ fmt.Println(p.name) } funcmain(){ data:=[]field{{"one"},{"two"},{"three"}} for_,v:=rangedata{ gov.print() } time.Sleep(3*time.Second) //goroutinesprint:three,three,three }
把fieldslice的类型改为pointer结果又不同:
packagemain import( "fmt" "time" ) typefieldstruct{ namestring } func(p*field)print(){ fmt.Println(p.name) } funcmain(){ data:=[]*field{{"one"},{"two"},{"three"}} for_,v:=rangedata{ v:=v gov.print() } time.Sleep(3*time.Second) //goroutinesprint:one,two,three }
这两段代码的差异究竟是如何导致结果的不同?
我对上面的代码for循环中的部分进行了一下改造,改造之后对应的代码分别是:
slice是非指针
data:=[]field{{"one"},{"two"},{"three"}} for_,v:=rangedata{ pp:=(*field).print gopp(&v)//非pointer }
slice是指针
data:=[]*field{{"one"},{"two"},{"three"}} for_,v:=rangedata{ pp:=(*field).print gopp(v)//pointer }
改造之后再去看原来的代码就能看出最明显的差异在print的这个method的receiver的传递上。
在Go中函数的调用是值拷贝copyvalue,而且在for循环中v的变量始终是一个变量。
如果v是pointer,print这个method接收的是指针的拷贝,for循环体中每次迭代v的pointervalue都是不同的,所以输出不同。
如果v是一个普通的struct,for循环体中每次迭代&v都是v这个变量本身的pointer,也就是总是指向同一个field,由于在很大程度上这段代码中的goroutine都是在for结束之后才执行,而此时v将会指向最后一个field,也就是{"three"},所以输出相同。
有人说one、two、three的随机输出是因为CPU是多核的原因导致的,如果改成单核就是顺序输出,这样的说法并不是特别准确。理论上来讲goroutine的调度是有一定的随机性的,也就是即使是单核输出也有可能是随机的,只是在运行如此简单的例子时一般机器环境都不会导致这3个简单的goroutine出现交叉执行。比如可以在print输出之前模拟io繁忙的来达到即使是单核也可能是随机输出的目的。
ifrand.Intn(100)>20{ time.Sleep(1*time.Second) }
总结
以上就是这篇文章的全部内容了,希望本文的内容对大家的学习或者工作具有一定的参考学习价值,如果有疑问大家可以留言交流,谢谢大家对毛票票的支持。