Go:关于多个作业的混淆

Question

我对Go中的多个赋值感到有点困惑,例如varA, varB = varC, varD.

我的问题是,这样的操作是原子的(当然不是在HW层,而是从程序员的角度来看)？

就个人而言,我希望它是原子的,所以这个表达式a, b = b, a只是交换值.我在Go游乐场尝试过它,是的,它就像那样.

另一方面,Golang规范指出:

转让分两个阶段进行.首先,左边的索引表达式和指针间接(包括选择器中的隐式指针间接)的操作数和右边的表达式都按照通常的顺序进行评估.其次,分配按从左到右的顺序进行.

我理解为a已分配b的值,然后b被赋予a的值(现在是b),所以最后,两者a和b等于b的原始值.

规格是错误的还是我误解了？

Answer 1

你误解了它,这不是你误解的第二部分.

规范说:

首先,左边的索引表达式和指针间接(包括选择器中的隐式指针间接)的操作数和右边的表达式都按照通常的顺序进行评估.

这里评估意味着所有表达式,包括变量都是......,好吧,被评估为值,并且该值在那时是固定的.因此a,b = b,a,在第一部分中,lhs表达式a,b得到了解决,并且rhs表达式b,a被评估为类似的东西5,3(a,b:=3,5当然,假设); 在第二部分,作业发生了,变成了a = 5; b = 3.

使用延迟和goroutine时,评估是相同的.这就是为什么下面的代码打印5.

func T() {
    x := 5
    defer func(i int) {
        fmt.Println(i)
    }(x)
    x = 3
}