c, bitwise, l'expression logique

Question

int x = 0; 
x^=x || x++ || ++x; 

et la réponse pour x au dernier est 3. Comment analyser cette expression? peu confus à ce sujet. Merci beaucoup.

Answer 1

Ce comportement est indéfini. Le résultat pourrait être n'importe quoi. C'est parce qu'il n'y a pas sequence point entre le ++x et le x ^=, donc il n'y a aucune garantie qui sera "fait" d'abord.

Answer 2

C'est un comportement indéfini - vous pouvez donc obtenir la réponse que vous souhaitez.

Answer 3

XOR 0 avec 0 est 0. Alors ++ deux fois est égal à 2. Néanmoins, comme indiqué dans les autres réponses, il n'y a pas de point de séquence. Donc, la sortie pourrait être n'importe quoi.

Answer 4

Comme d'autres l'ont déjà noté, il s'agit d'un comportement indéfini. Mais pourquoi?

Lors de la programmation en C, il existe une différence inhérente entre une instruction et une expression. L'évaluation de l'expression devrait vous donner les mêmes résultats observables dans tous les cas (par exemple, (x + 5) + 2 est le même que x + (5 + 2)). D'autre part, les énoncés sont utilisés pour le séquençage des effets secondaires, c'est-à-dire qu'ils aboutissent généralement, disons, à l'écriture dans un emplacement de mémoire. Compte tenu de ce qui précède, les expressions peuvent être «imbriquées» en toute sécurité dans des instructions, alors que les instructions d'imbrication dans des expressions ne le sont pas. Par "sûr", je veux dire "pas de résultats surprenants".

Dans votre exemple, nous avons

x^=x || x++ || ++x; 

quel ordre l'évaluation s'y prendre? Depuis || fonctionne sur les expressions, cela ne devrait pas avoir d'importance si nous allons (x || x ++) || ++ x ou x || (x ++ || ++ x) ou même ++ x || (x || x ++). Cependant, puisque x ++ et ++ x sont des instructions (même si C leur permet d'être utilisées comme expressions), nous ne pouvons pas procéder par un raisonnement algébrique. Ainsi, vous devrez exprimer explicitement l'ordre des opérations, en écrivant plusieurs instructions.