赋值算子链理解

Question

有人能解释下面代码的输出吗

int a=10;
a = a -= a+= a -= a += a;

output : 10 

我无法理解它是如何给出10的？

Answer 1

这里有多种概念在起作用。

1. 第一个是算子结合性

在编程语言中，运算符的关联性是一个属性，它决定在没有括号的情况下如何对具有相同优先级的运算符进行分组。

赋值运算符是右关联的运算符意味着要计算一个表达式，而不使用带有多个赋值运算符的括号，我们将从右侧开始计算。这决定了优先级。

从技术上讲，我们讨论的是加法赋值=和减法赋值-=，这与展开后的赋值运算符相同。

a = a -= a+= a -= a += a;

与

a = (a -= (a+= (a -= (a += a))));

在您这样更改表达式之后，答案是10

许多流行的编程语言允许表达式a=b成为R-Valueexpression，它返回具有相同类型的L-Value变量的值。

注意：表达式中的所有运算符都有一个返回值，类型类似于函数。

在a=b中，a是L值，因此返回值和类型是a

因此a=b=c相当于a=assign（b，c）其中TypeA assign（TypeA，TypeB）函数签名在大多数情况下可以表示赋值操作。

TypeA assign(TypeA a, TypeB b)

变量的计算从左到右开始。这意味着在解析过程中，解析器将开始用从左到右的值替换变量。

例如在a=（a=a）=

评估的第一个操作符将是最内侧括号中优先级最高的操作符。

记住这些规则，我们可以看到下面的评估

a = a -= a+= a -= a += a;
//after deciding precedence of operators
a = (a -= (a+= (a -= (a += a))));
//after addition assignment expantion
a = (a = a - (a = a + (a = a - (a = a + a))))
//First pass of parser
a = (a = 10 - (a = 10 + (a = 10 - (a = 10 + 10)))) //2nd pass, current a = 10
a = (a = 10 - (a = 10 + (a = 10 - (20))))          //3rd pass, current a = 20
a = (a = 10 - (a = 10 + (-10)))                    //4th pass, current a = -10
a = (a = 10 - (0))                                 //5th pass, current a = 0
a = 10                                             //6th pass, current a = 10

Answer 2

a=a表示a=a。

同样地，a-=a表示a=a-a。

我不确定哪种方式是正确的开始，但是如果我用上面的方法从右边转换给定的代码，

   a += a                     >     a = a + a;
   a -= a += a                >     a = a - (a + a);
   a+= a -= a += a            >     a = a + (a - (a + a ));
   a -= a+= a -= a += a       >     a = a - (a + (a - (a + a)));
   a = a -= a+= a -= a += a   >     a = a - a - a + a + a;

其中-a-a a相互抵消，产生a=a，即10。