Почему этот оператор if, объединяющий присваивание и проверку на равенство, возвращает true?

Я думал о некоторых ошибках новичка, и я закончил тем, что на ifутверждении. Я немного расширил код до этого:

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

Я видел , что ifоператор возвращает верно, и это cout«S , iкак 1. Если в операторе if iназначено 1значение, почему 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. Тогда, поскольку 1true, вы вводите блок 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.

Это связано с разбором правил справа налево. Например, у = х + 5.
Все подвыражения взвешены по важности. Два выражения одинаковой важности оцениваются справа налево. Сначала выполняется сторона выражения &&, затем LHS.

Имеет смысл для меня.

Фактический ответ:

1. Компилятор отдает приоритет "i == 0", что соответствует истине.
2. Затем он будет оценивать i = 1 как TRUE или FALSE, и поскольку скомпилированные операторы присваивания никогда не завершаются ошибкой (иначе они не будут компилироваться), он также оценивается как true.
3. Поскольку оба оператора оцениваются как истинные, а 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