为什么组合赋值和相等检查的if语句返回true？

Question

我一直在想一些初学者的错误，最后我犯了if语句中的错误。我对代码进行了一些扩展：

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

我已经看到if语句返回true，它不能I为1。如果在If语句中分配了i，为什么i==0返回true？




Answer 1

实际的答案是：

1. 编译器优先考虑i==0，它的计算结果为true。
2. 然后它将i=1求值为TRUE或FALSE，并且由于编译的赋值操作符永远不会失败（否则它们不会编译），它也求值为true。
3. 因为两个语句都评估为true和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位的非零整数值）。那是因为

Answer 2

假设您的代码实际上是这样的：

#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。

Answer 3

这与运算符优先级有关。

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

不是

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

因为两者都

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

指定1的结果