Dlaczego ta instrukcja if łącząca przypisanie i kontrolę równości zwraca wartość true?

Myślałem o kilku błędach dla początkujących i skończyłem na jednym z ifoświadczenia. Rozszerzyłem nieco kod do tego:

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

Widziałem, że ifstwierdzenie zwraca wartość true i coutbrzmi ijak 1. Jeśli ijest przypisane 1w instrukcji if, dlaczego i == 0powrócił true?

Ma to związek z pierwszeństwem operatora .

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

nie jest

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

ponieważ zarówno &&i ==mają wyższy priorytet niż =. Tak naprawdę to działa

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

który przypisuje wynik 1 && (i == 0)do i. Tak więc, jeśli izaczyna się od, 0to i == 0jest true, więc 1 && truejest true(lub 1), a następnie izostaje ustawione na 1. Następnie, ponieważ 1jest to prawda, wpisujesz blok if i wypisujesz przypisaną wartość i.

Zakładając, że Twój kod wygląda tak:

#include <iostream>
using namespace std;

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

Wtedy to:

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

ocenia jako

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

i tak ijest ustawiony na 1.

Ma to związek z analizowaniem reguł od prawej do lewej. Np. Y = x + 5.
Wszystkie podwyrażenia są ważone według ważności. Dwa wyrażenia o tym samym znaczeniu są oceniane od prawej do lewej,. Strona wyrażania && jest wykonywana jako pierwsza, a następnie LHS.

Dla mnie to ma sens.

Rzeczywista odpowiedź to:

1. Kompilator daje pierwszeństwo wartości „i == 0”, która daje wartość true.
2. Następnie oceni i = 1 jako PRAWDA lub FAŁSZ, a ponieważ skompilowane operatory przypisania nigdy nie zawiodą (inaczej nie skompilowaliby), to również ocenia na prawdę.
3. Ponieważ obie instrukcje są oceniane jako prawdziwe, a PRAWDA i PRAWDA jest PRAWDA, instrukcja if ma wartość PRAWDA.

Jako dowód spójrz na dane wyjściowe asm twojego kompilatora dla wprowadzonego kodu (wszystkie komentarze są moje):

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

Powyższy wynik asm pochodzi z CLANG, ale wszystkie inne kompilatory, na które patrzyłem, dawały podobne wyniki. Dotyczy to wszystkich kompilatorów w tej witrynie, bez względu na to, czy są to kompilatory czystego C, czy C ++, a wszystko to bez pragnienia zmiany trybu kompilatora (domyślnie C ++ dla kompilatorów C ++).

Zauważ, że twój kompilator tak naprawdę nie ustawił i = 1, ale i = TRUE (co oznacza dowolną 32-bitową niezerową wartość całkowitą). Jest tak, ponieważ operator && ocenia tylko, czy instrukcja ma wartość PRAWDA, czy FAŁSZ, a następnie ustawia wyniki zgodnie z tym wynikiem. Jako dowód spróbuj zmienić i = 1 na i = 2 i sam możesz zaobserwować, że nic się nie zmieni. Przekonaj się, korzystając z dowolnego kompilatora online w Eksploratorze kompilatorów