与 C 中赋值运算符的关联性混淆

Question

众所周知，赋值运算符的结合性是从右到左，但是 在给定的代码中，如果我们从右到左，输出应该为零，但输出为 1。

 main()
 {
 int a=3,b=2;
 a=a==b==0;
 printf("%d",a);
 }

如果我们右转 letf，输出如何为 1？？

如果我们从右到左，那么 (b==0) 应该首先被评估并给出结果 0，然后表达式 (a==0) 被评估也给出 0，最后 a 的值将是 0。

Answer 1

分配已完成 RTL，但相等 (==) 未完成。

语句实际上是：

a = ((a == b) == 0)

作业的右侧从左到右进行评估。在步骤中，这就是正在发生的事情：

1. a == b 是 0
2. 0 == 0 是 1
3. 1 分配给 a

Answer 2

您的代码相当于：

a = ((a == b) == 0);

Answer 3

注意，这是从this question 合并而来的。 OP 询问为什么 a==b==c 等同于 Objective C 中的 a==b && b==c（这是 C 的严格超集）。我要求迁移此答案，因为它引用了此处其他答案未引用的规范。

---

不，不是，就像(a==b) == c。

让我们看一个与您的规则相反的简单示例：

(0 == 0 == 0);// evaluates to 0

然而

(0 == 0) && (0 == 0) // evaluates to 1

逻辑有问题，因为：

(0 == 0 == 0) 读出为 ((0 == 0) == 0)，这与 1 == 0 相似，为 false (0)。

---

对于有抱负的学生

稍微深入了解如何评估。编程语言包括 grammar，它指定了您如何阅读该语言中的语句。 Siance Objective-C 没有实际的规范，我将使用 C 规范，因为 Objective-c 是 c 的严格超集。

标准规定equality expression (6.5.9) 的评估如下：

等式表达：

关系表达式

等式表达式 == 关系表达式

等式表达式 != 关系表达式

我们的情况是第二个，因为a == b == c 被读作equality_expression == relational_expression，其中第一个相等表达式是a == b。

（现在，实际结果数字与数字字面量有很大关系，equal->relational->shift->additive->multiplicative->cast->unary->postfix->primary->constant，但是这不是重点）

所以规范明确指出a==b==c 确实不评估与a==b && b==c 相同的方式

值得一提的是，some languages 确实支持a<b<c 形式的表达式，但是，C 不是这样一种语言。