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 assignmentMais 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 = 20Pourquoi ce comportement différent?
Réponses:
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.
(i+=10)+=10comportement n'est pas défini en C ++, voir la réponse @aix.
int f(int &y); f(x += 10);- passer une référence à la variable modifiée dans une fonction.
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.
iqui ne sont pas séquencées.
i = j+=1résulterait une valeur indéterminée. Dans le même paragraphe, vous citez "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." Par conséquent, il (i+=10)+=10est bien défini de faire i += 10; i += 10;. D'autre part, (i+=10)+=(i+=10)UB.