Czy w wyrażeniu a^= b^= a^= b są punkty sekwencyjne, czy jest niezdefiniowane?

Question

Rzekomo „mądry” (ale w rzeczywistości nieskuteczne) sposób zamiana dwóch zmiennych całkowitych, zamiast stosowania tymczasowego magazynowania, często wiąże się z tej linii:

int a = 10; 
int b = 42; 

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

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

Ale zastanawiam się, jak złożone operatory przypisania są ^= nie punkty kolejności, prawda? Czy to oznacza, że ​​jest to nieokreślone zachowanie?

Answer 1

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

Jest to niezdefiniowane zachowanie.

Użytkownik modyfikuje obiekt (a) więcej niż jeden raz między dwoma punktami sekwencji.

(C99 6.5p2) „między poprzednim i następnym punkcie sekwencji przedmiot umieszcza się jego wartość przechowywana zmodyfikowany w więcej niż raz w ocenie wyrażenia.

proste zadania jak związek zadania nie wprowadzają punkt sekwencji. Tu jest punkt sekwencja przed wyrażeniem rachunku ekspresja i po zestawieniu ekspresji.

punkty sekwencji są wymienione w załączniku C (informacyjny) z C99 i C11 standard.

Answer 2

^= nie są punktami sekwencji, są

nie.

Czy to oznacza niezdefiniowane zachowanie?

Tak jest. Nie używaj tej "sprytnej" techniki.

Answer 3

Brak punktów sekwencji w tym wyrażeniu, więc powoduje niezdefiniowane zachowanie.

Można go naprawić trywialnie i zachowują większość zwięzłość za pomocą operatora przecinek, który ma wprowadzenia punktów kolejności:

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

Answer 4

Kolejność oceny ^= operatorów jest dobrze zdefiniowana. To, co nie jest dobrze zdefiniowane, to kolejność modyfikacji a i b.

a ^= b ^= a ^= b; 

jest równoważna

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

Operator nie może być oceniane przed jej argumenty są oceniane, więc na pewno będzie wykonać a ^= b pierwszy.

Przyczyną tego zachowania jest niezdefiniowanie, ponieważ w celu zapewnienia kompilatorowi większej elastyczności w dokonywaniu optymalizacji dozwolona jest modyfikacja wartości zmiennych w dowolnej kolejności.To może wybrać to zrobić:

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

lub to:

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

lub nawet poniżej:

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

Jeśli kompilator mógł wybrać tylko jedną z tych trzech sposobów, aby robić rzeczy, byłoby to po prostu "nieokreślone" zachowanie. Jednak standard idzie dalej i sprawia, że ​​jest to zachowanie "niezdefiniowane", które zasadniczo pozwala kompilatorowi zakładać, że nawet nie może się zdarzyć.