Ci sono punti di sequenza nell'espressione a^= b^= a^= b, o è indefinito?

Question

Il modo in cui presumibilmente "intelligente" (ma in realtà inefficiente) di scambiare due variabili intere, invece di utilizzare il deposito temporaneo, spesso comporta questa linea:

int a = 10; 
int b = 42; 

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

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

Ma mi chiedo, composti operatori di assegnazione come ^= sono non punti di sequenza, vero? Significa che è in realtà un comportamento indefinito?

Answer 1

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

È un comportamento non definito.

Si sta modificando un oggetto (a) più di una volta tra due punti di sequenza.

(C99, 6.5p2) "Tra il precedente e successivo punto sequenza un oggetto deve avere il suo valore memorizzato modificato al più una volta dalla valutazione di un'espressione.

assegnazioni semplice così come composto assegnazioni non introducono un punto di sequenza. Qui c'è un punto sequenza prima l'espressione istruzione di espressione e dopo l'istruzione di espressione.

punti di sequenza sono elencati nell'allegato C (informativa) del C99 e C11 standard.

Answer 2

^= non sono punti di sequenza, sono essi

Essi non sono.

Ciò significa che è in realtà un comportamento non definito?

Sì, lo è. Non usare questa tecnica "intelligente".

Answer 3

Non ci sono punti di sequenza in quell'espressione, quindi produce un comportamento non definito.

Si potrebbe risolvere il problema banalmente e mantenere la maggior parte del succinctness utilizzando l'operatore virgola, che fa introdurre punti di sequenza:

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

Answer 4

L'ordine di valutazione delle ^= operatori è ben definito. Ciò che non è ben definito è l'ordine in cui vengono modificati a e b.

a ^= b ^= a ^= b; 

è equivalente a

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

L'operatore non può essere valutata prima suoi argomenti vengono valutati, quindi è sicuramente andando ad eseguire a ^= b prima.

Il motivo per cui questo comportamento è indefinito è che, per dare al compilatore maggiore flessibilità nelle ottimizzazioni, è consentito modificare i valori delle variabili in qualsiasi ordine esso scelga.Si potrebbe scegliere di fare questo:

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

o questo:

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

o anche questo:

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

Se il compilatore potrebbe scegliere solo uno di questi tre modi di fare le cose, questo sarebbe solo un comportamento "non specificato". Tuttavia, lo standard va oltre e rende questo comportamento "indefinito", che sostanzialmente consente al compilatore di presumere che non può nemmeno accadere.