Optimisation du compilateur et incréments

Question

L'optimisation du compilateur provoque-t-elle un problème avec ce type de code? Plus précisément, peut-on répondre aux auto-incréments dans le bon ordre?

uint result = (array[i++] << 16) | (array[i++] << 8) | array[i++]; 

Answer 1

Yes; this is specified.

Le spec says:

Opérandes dans une expression sont évalués de gauche à droite. Pour exemple, dans F(i) + G(i++) * H(i), méthode F est appelé en utilisant l'ancienne valeur de i, puis méthode G est appelée à la ancienne valeur de i, et, enfin, la méthode H est appelée avec la nouvelle valeur de i. Ceci est distinct de et sans rapport avec la priorité d'opérateur .

Answer 2

Non, je pense que vous modifiez l'objet (i) plusieurs fois entre les points de la séquence. IIRC ni bitwise ou, ni l'indexation de tableau sont des points de séquence. Vous n'êtes autorisé à modifier l'objet qu'une seule fois, sinon le comportement n'est pas spécifié ou indéfini.

REMARQUE. Ce n'est pas forcément un problème avec l'optimiseur, ce n'est pas légal.

Edit: Voici un lien sur les points de séquence - http://msdn.microsoft.com/en-us/library/d45c7a5d(VS.80).aspx