为什么这个if语句结合赋值和相等性检查返回true？

我一直在思考一些初学者的错误，最后我得到了if声明中的错误。我对此扩展了一些代码：

int i = 0;
if (i = 1 && i == 0) {
    std::cout << i;
}

我已经看到if语句返回真实的，它cout的i作为1。如果在if语句中i分配1了if，为什么i == 0返回true？

这与运算符优先级有关。

if (i = 1 && i == 0)

不是

if ((i = 1) && (i == 0))

因为&&和==都比拥有更高的优先级=。真正起作用的是

if (i = (1 && (i == 0)))

将的结果分配1 && (i == 0)给i。所以，如果i在开始0然后i == 0是true，那么1 && true是true（或1），然后i被设置为1。然后，由于1为true，请输入if块并打印您分配给的值i。

假设您的代码实际上如下所示：

#include <iostream>
using namespace std;

int main()  {
    int i = 0;
    if (i = 1 && i == 0) {
        cout << i;
    }
}

然后这样：

if (i = 1 && i == 0) {

评估为

 if (i = (1 && i == 0)) {

并i设置为1。

它与解析从右到左的规则有关。例如，y = x + 5。
所有子表达式都具有重要性。从右到左评估两个具有同等重要性的表达式。首先完成&&表示端，然后是LHS。

我感觉合理。

实际答案是：

1. 编译器将“ i == 0” 赋予优先级，其结果为true。
2. 然后它将i = 1评估为TRUE或FALSE，并且由于编译后的赋值运算符永远不会失败（否则它们将不会编译），因此它的评估结果也为true。
3. 由于两个语句的评估结果均为true，而TRUE && TRUE的评估结果为TRUE，因此if语句的评估结果为TRUE。

作为证明，只需查看您输入的代码的编译器的asm输出（所有注释都是我自己的）：

mov     dword ptr [rbp - 8], 0    ; i = 0;
cmp     dword ptr [rbp - 8], 0    ; i == 0?
sete    al                        ; TRUE (=1)
mov     cl, al
and     cl, 1                     ; = operator always TRUE
movzx   edx, cl
mov     dword ptr [rbp - 8], edx  ; set i=TRUE;
test    al, 1                     ; al never changed,
                                  ; so final ans is TRUE

上面的asm输出来自CLANG，但是我看过的所有其他编译器都提供了类似的输出。对于该站点上的所有编译器，无论是纯C还是C ++编译器，都是如此，所有这些编译器都没有任何更改编译器模式的编译指示（对于C ++编译器，默认情况下为C ++）

请注意，您的编译器实际上并未设置i = 1，而是设置i = TRUE（这意味着任何32位非零整数值）。这是因为&&运算符仅评估语句是TRUE还是FALSE，然后根据该结果设置结果。作为证明，尝试将i = 1更改为i = 2，您可以自己观察到什么都不会改变。在Compiler Explorer中使用任何在线编译器亲自查看