Was ist das Ergebnis von i == (i = 2)?

Führen Sie den folgenden Code aus:

// In Java, output #####
public static void main(String[] args) {
    int i = 1;

    if(i == (i = 2)) {
        System.out.println("@@@@@");
    } else {
        System.out.println("#####");
    }
}

Aber:

// In C, output @@@@@，I did test on Clion(GCC 7.3) and Visual Studio 2017
int main(int argc, char *argv[]) {
    int i = 1;

    if(i == (i = 2)) {
        printf("@@@@@");
    } else {
        printf("#####");
    }

    return 0;
}

Die Motivation für diese Frage ergibt sich aus dem folgenden Code:

// The code is from the JDK 11 - java.util.concurrent.atomic.AtomicInteger
// I am curious about the behavior of the variable prev.
public final int getAndUpdate(IntUnaryOperator updateFunction) {
    int prev = get(), next = 0;
    for (boolean haveNext = false;;) {
        if (!haveNext)
            next = updateFunction.applyAsInt(prev);
        if (weakCompareAndSetVolatile(prev, next))
            return prev;
        haveNext = (prev == (prev = get()));
    }
}

Wie lassen sich also die beiden oben genannten unterschiedlichen Ausführungsmodi erklären?

Das Verhalten eines C-Programms, das den Ausdruck ausführt i == (i = 2) ist nicht definiert.

Es kommt von C11 6.5p22:

2. Wenn eine Nebenwirkung auf ein Skalarobjekt relativ zu einer anderen Nebenwirkung auf dasselbe Skalarobjekt oder einer Wertberechnung unter Verwendung des Werts desselben Skalarobjekts nicht sequenziert ist, ist das Verhalten undefiniert. Wenn es mehrere zulässige Reihenfolgen der Unterausdrücke eines Ausdrucks gibt, ist das Verhalten undefiniert, wenn ein solcher nicht sequenzierter Nebeneffekt in einer der Reihenfolgen auftritt.84)

Das i auf der linken Seite von == ist eine Wertberechnung auf dem Wert eines skalaren Objekts i und die rechte Seite i = 2 hat einen Nebeneffekt der Wertzuweisung 2 zu i. Die linke und rechte Seite von == sind untereinander nicht sequenziert. Daher ist das gesamte Programm in C bedeutungslos.

Kompilieren mit gcc -Wall und GCC wird ausspucken:

unsequenced.c:5:16: warning: operation on ‘i’ may be undefined [-Wsequence-point]
     if(i == (i = 2)) {
             ~~~^~~~

Im Gegensatz zu C garantiert Java die Auswertungsauftrag für Operanden (von links nach rechts), also

haveNext = (prev == (prev = get()));

ist in Java richtig. Der Wert von LHS wird strikt bestimmt, bevor die Bewertung der Nebenwirkung auf die RHS erfolgt.

In C du haben um dies als so etwas zu schreiben

newPrev = get();
haveNext = (prev == newPrev);
prev = newPrev;

Das Java-Sprachspezifikation (§15.7) Zustände:

Die Programmiersprache Java garantiert, dass die Operanden von Operatoren in einer bestimmten Weise ausgewertet erscheinen Auswertungsauftragnämlich von links nach rechts.

Das Spezifikation (§15.21.1) sagt auch, dass:

Der Wert, der durch die erzeugt wird == Betreiber ist true wenn der Wert des linken Operanden gleich dem Wert des rechten Operanden ist; andernfalls ist das Ergebnis
false.

Daher würde in Java die if-Anweisung zur Laufzeit wie folgt aussehen, was offensichtlich zu ausgewertet wird false:

if (1 == 2) {

}

In C ist es einfach undefiniert (siehe Antwort von Antti).

In C ist das Verhalten von i == (i = 2) ist undefiniert, weil es versucht, ein Objekt zu aktualisieren und den Wert dieses Objekts in einer Berechnung ohne dazwischenliegenden Sequenzpunkt zu verwenden. Das Ergebnis variiert je nach Compiler, Compilereinstellungen und sogar dem umgebenden Code.