Gibt es Sequenzpunkte im Ausdruck a^= b^= a^= b, oder ist es undefiniert?

Question

Die angeblich „clever“ (aber eigentlich ineffizient) Art und Weise zwei Integer-Variablen von Swapping, anstelle der Verwendung von temporären Speicher, beinhaltet oft diese Zeile:

int a = 10; 
int b = 42; 

a ^= b ^= a ^= b; /*Here*/ 

printf("a=%d, b=%d\n", a, b); 

Aber ich frage mich, Verbindung Zuweisungsoperatoren wie ^= sind keine Sequenzpunkte, oder? Bedeutet dies, dass es tatsächlich undefiniertes Verhalten ist?

Answer 1

a ^= b ^= a ^= b; /*Here*/ 

Es ist undefiniertes Verhalten.

Sie ändern ein Objekt (a) mehr als einmal zwischen zwei Sequenzpunkten.

(C99, 6.5p2) „zwischen dem vorherigen und nächsten Sequenz Punkt ein Objekt hat seinen gespeicherten Wert höchstens einmal durch die Auswertung eines Ausdrucks geändert hat.

einfache Zuweisungen sowie Verbindung Zuweisungen einführen keine Punktfolge. Hier gibt es eine Sequenz Punkt vor dem Ausdruck Aussage Ausdruck ist und nach dem Ausdruck Aussage.

Sequence Punkte aufgelistet sind in Anhang C (informativ) der C99 und C11-Standard.

Answer 2

^= keine Sequenzpunkte, sie sind

Sie sind es nicht.

Bedeutet dies, dass es tatsächlich undefiniertes Verhalten ist?

Ja ist es. Benutze diese "clevere" Technik nicht.

Answer 3

Es gibt keine Sequenzpunkte in diesem Ausdruck, sodass ein undefiniertes Verhalten entsteht.

Man könnte es trivialer beheben und die meisten der Prägnanz behalten durch das Komma-Operator, die Sequenzpunkte einführt:

a ^= b, b ^= a, a ^= b; 

Answer 4

Die Reihenfolge der Auswertung der ^= Betreiber ist gut definiert. Was nicht genau definiert ist, ist die Reihenfolge, in der a und b modifiziert werden.

a ^= b ^= a ^= b; 

entspricht

a ^= (b ^= (a ^= b)); 

Ein Bediener kann nicht ausgewertet werden, bevor ihre Argumente ausgewertet werden, so ist es auf jeden Fall a ^= b zuerst gehen auszuführen.

Der Grund für dieses undefinierte Verhalten liegt darin, dass es dem Compiler erlaubt ist, die Flexibilität in Optimierungen zu ändern, und die Variablenwerte in beliebiger Reihenfolge ändern können.Es könnte wählen, dies zu tun:

int a1 = a^b; 
int b1 = b^a1; 
int a2 = a^b1; 
a = a1; 
a = a2; 
b = b1; 

oder dies:

int a1 = a^b; 
int b1 = b^a1; 
a = a1; 
int a2 = a^b1; 
a = a2; 
b = b1; 

oder auch diese:

int a1 = a^b; 
int b1 = b^a1; 
int a2 = a^b1; 
a = a2; 
a = a1; 
b = b1; 

Wenn der Compiler nur eine dieser drei Möglichkeiten wählen, könnten die Dinge zu tun, das wäre nur "unspezifiziertes" Verhalten. Der Standard geht jedoch weiter und macht dies zu einem "undefinierten" Verhalten, was es dem Compiler grundsätzlich erlaubt, anzunehmen, dass es nicht einmal passieren kann.