Warum gibt diese if-Anweisung, die Zuweisung und Gleichheitsprüfung kombiniert, true zurück?

Ich habe an einige Anfängerfehler gedacht und bin zu dem auf der ifAussage gekommen. Ich habe den Code ein bisschen erweitert:

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

Ich habe gesehen , dass die ifAnweisung gibt wahr, und es coutist iso 1. Wenn in der if-Anweisung izugewiesen 1, warum wurde i == 0zurückgegeben true?

Dies hat mit der Priorität des Operators zu tun .

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

ist nicht

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

weil beide &&und ==eine höhere Priorität haben als =. Was es wirklich klappt ist

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

die ordnet das Ergebnis 1 && (i == 0)zu i. Also, wenn ibeginnt bei 0dann i == 0ist true, so 1 && trueist true(oder 1), und dann iauf wird eingestellt 1. Da dies 1wahr ist, geben Sie den if-Block ein und drucken den Wert, den Sie zugewiesen haben i.

Angenommen, Ihr Code sieht tatsächlich so aus:

#include <iostream>
using namespace std;

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

Dann das:

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

bewertet als

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

und so iist eingestellt auf1 .

Es hat mit dem Parsen der Regeln von rechts nach links zu tun. ZB y = x + 5.
Alle Unterausdrücke werden nach Wichtigkeit gewichtet. Zwei gleich wichtige Ausdrücke werden von rechts nach links ausgewertet. Die && Ausdrucksseite wird zuerst ausgeführt, gefolgt von der LHS.

Für mich ergibt das Sinn.

Die eigentliche Antwort lautet:

1. Der Compiler gibt "i == 0" Vorrang , was als wahr ausgewertet wird.
2. Dann wird i = 1 als TRUE oder FALSE ausgewertet, und da kompilierte Zuweisungsoperatoren niemals fehlschlagen (andernfalls würden sie nicht kompilieren), wird es auch als true ausgewertet.
3. Da beide Anweisungen als wahr ausgewertet werden und TRUE && TRUE als TRUE ausgewertet wird, wird die if-Anweisung als TRUE ausgewertet.

Schauen Sie sich zum Beweis einfach die asm-Ausgabe Ihres Compilers für den von Ihnen eingegebenen Code an (alle Kommentare sind meine eigenen):

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

Die obige ASM-Ausgabe stammte von CLANG, aber alle anderen Compiler, die ich mir ansah, gaben eine ähnliche Ausgabe. Dies gilt für alle Compiler auf dieser Site, unabhängig davon, ob es sich um reine C- oder C ++ - Compiler handelt. Alle haben keine Pragmas, um den Modus des Compilers zu ändern (der für die C ++ - Compiler standardmäßig C ++ ist).

Beachten Sie, dass Ihr Compiler nicht i = 1 gesetzt hat, sondern i = TRUE (was bedeutet, dass jeder 32-Bit-Ganzzahlwert nicht Null ist). Dies liegt daran, dass der Operator && nur auswertet, ob eine Anweisung TRUE oder FALSE ist, und dann die Ergebnisse entsprechend diesem Ergebnis festlegt. Versuchen Sie als Beweis, i = 1 in i = 2 zu ändern, und Sie können selbst beobachten, dass sich nichts ändern wird. Überzeugen Sie sich selbst von einem beliebigen Online-Compiler im Compiler Explorer