Quel est le résultat de + = en C et C ++?

J'ai le code suivant:

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

Si j'essaie de le compiler en tant que source C en utilisant gcc, j'obtiens une erreur:

error: lvalue required as left operand of assignment

Mais si je le compile en tant que source C ++ en utilisant g ++, je n'obtiens aucune erreur et lorsque j'exécute l'exécutable:

i = 20

Pourquoi ce comportement différent?

La sémantique des opérateurs d'affectation composée est différente en C et C ++:

Norme C99, 6.5.16, partie 3:

Un opérateur d'affectation stocke une valeur dans l'objet désigné par l'opérande de gauche. Une expression d'affectation a la valeur de l'opérande de gauche après l'affectation, mais n'est pas une lvalue.

Dans C ++ 5.17.1:

L'opérateur d'affectation (=) et les opérateurs d'affectation composés sont tous regroupés de droite à gauche. Tous nécessitent une lvalue modifiable comme opérande de gauche et renvoient une lvalue avec le type et la valeur de l'opérande de gauche après que l'affectation a eu lieu.

EDIT: Le comportement de (i+=10)+=10en C ++ n'est pas défini en C ++ 98, mais bien défini en C ++ 11. Voir cette réponse à la question de NPE pour les parties pertinentes des normes.

En plus d'être un code C invalide, la ligne

(i+=10)+=10;

entraînerait un comportement non défini en C et C ++ 03 car il modifierait ideux fois entre les points de séquence.

Quant à savoir pourquoi il est permis de compiler en C ++:

[C ++ N3242 5.17.1] L'opérateur d'affectation (=) et les opérateurs d'affectation composés sont tous regroupés de droite à gauche. Tous nécessitent une lvalue modifiable comme opérande gauche et renvoient une lvalue faisant référence à l'opérande gauche.

Le même paragraphe continue en disant que

Dans tous les cas, l'affectation est séquencée après le calcul de la valeur des opérandes droit et gauche et avant le calcul de la valeur de l'expression d'affectation.

Cela suggère qu'en C ++ 11, l'expression n'a plus de comportement indéfini.