Was ist das Ergebnis von + = in C und C ++?

Ich habe folgenden Code:

#include <stdio.h>
int main(int argc, char **argv) {
    int i = 0;
    (i+=10)+=10;
    printf("i = %d\n", i);
    return 0;
}

Wenn ich versuche, es mit gcc als C-Quelle zu kompilieren, wird folgende Fehlermeldung angezeigt:

error: lvalue required as left operand of assignment

Aber wenn ich es als C ++ - Quelle mit g ++ kompiliere, erhalte ich keine Fehlermeldung und wenn ich die ausführbare Datei ausführe:

i = 20

Warum das unterschiedliche Verhalten?

Die Semantik der zusammengesetzten Zuweisungsoperatoren unterscheidet sich in C und C ++:

C99 Standard, 6.5.16, Teil 3:

Ein Zuweisungsoperator speichert einen Wert in dem vom linken Operanden angegebenen Objekt. Ein Zuweisungsausdruck hat den Wert des linken Operanden nach der Zuweisung, ist jedoch kein l-Wert.

In C ++ 5.17.1:

Der Zuweisungsoperator (=) und die zusammengesetzten Zuweisungsoperatoren gruppieren sich alle von rechts nach links. Alle benötigen einen modifizierbaren l-Wert als linken Operanden und geben nach erfolgter Zuweisung einen l-Wert mit dem Typ und Wert des linken Operanden zurück.

BEARBEITEN: Das Verhalten von (i+=10)+=10in C ++ ist in C ++ 98 undefiniert, in C ++ 11 jedoch gut definiert. In dieser Antwort auf die Frage von NPE finden Sie die relevanten Teile der Standards.

Zusätzlich zum ungültigen C-Code ist die Zeile

(i+=10)+=10;

würde sowohl in C als auch in C ++ 03 zu einem undefinierten Verhalten führen, da es izwischen Sequenzpunkten zweimal geändert würde .

Warum es in C ++ kompiliert werden darf:

[C ++ N3242 5.17.1] Der Zuweisungsoperator (=) und die zusammengesetzten Zuweisungsoperatoren gruppieren sich alle von rechts nach links. Alle benötigen einen modifizierbaren l-Wert als linken Operanden und geben einen l-Wert zurück, der sich auf den linken Operanden bezieht.

Im selben Absatz heißt es weiter

In allen Fällen wird die Zuweisung nach der Wertberechnung des rechten und linken Operanden und vor der Wertberechnung des Zuweisungsausdrucks sequenziert.

Dies deutet darauf hin, dass der Ausdruck in C ++ 11 kein undefiniertes Verhalten mehr aufweist.