Чому це твердження if, що поєднує призначення та перевірку рівності, повертає істину?

Я думав про деякі помилки початківців, і закінчився тим, що було ifзаявлено. Я трохи розширив код до цього:

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

Я бачив , що ifоператор повертає вірно, і це cout«S , iяк 1. Якщо 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. Тоді оскільки 1це правда, ви вводите блок 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", що оцінює істинно.
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-бітове не нульове ціле число). Це тому, що оператор && оцінює лише те, чи твердження є ІСТИЧНИМ чи ЛІЖНИМ, і потім встановлює результати відповідно до цього результату. Як доказ, спробуйте змінити i = 1 на i = 2, і ви можете самі помітити, що нічого не зміниться. Побачте, використовуючи будь-який онлайн-компілятор у Провідник Compiler