доброго времени...
столкнулся со следующей проблемой:
не работает трюк с XOR для элементов массива

int arr[2] = {5, 7};

int i = 0;
arr[i] ^= arr[i+1] ^= arr[i] ^= arr[i+1]; // 1

После этого вместо {7, 5} в массиве лежит {0, 5} (в частности для g++).
Но, если расписать строку 1 в три, то все нормально.

В чем моя ошибка?
спасибо.

Здравствуйте, pofig, Вы писали:

P>доброго времени...
P>столкнулся со следующей проблемой:
P>не работает трюк с XOR для элементов массива
а если явно расставить скобки?

arr[i] ^= (arr[i+1] ^= (arr[i] ^= arr[i+1]));

P>arr[i] ^= arr[i+1] ^= arr[i] ^= arr[i+1]; // 1

так это ж UB.
между последовательными sequence points нельзя 2 раза менять значение одного объекта

Здравствуйте, pofig, Вы писали:

P>доброго времени...
P>столкнулся со следующей проблемой:
P>не работает трюк с XOR для элементов массива
опачки: http://ideone.com/3CcPa
ну а вообще, это UB, так что будте осторожны

Здравствуйте, dilmah, Вы писали:

P>>arr[i] ^= arr[i+1] ^= arr[i] ^= arr[i+1]; // 1

D>так это ж UB.
D>между последовательными sequence points нельзя 2 раза менять значение одного объекта
Ну вот хоть ты тресни, нет тут UB (оператор =, +-*/= — сами по себе точки следования., а написал это троль, поймай и суши на керосинке.

Здравствуйте, Ops, Вы писали:


Ops>Ну вот хоть ты тресни, нет тут UB
я с вами не согласен, рекомендую к прочтению http://stackoverflow.com/questions/1860461/why-is-i-i-1-unspecified-behavior

Ops>(оператор =, +-*/= — сами по себе точки следования.,
это верно только для user-defined операторов. для встроенных это неверно

Здравствуйте, Ops, Вы писали:

Ops>Ну вот хоть ты тресни, нет тут UB (оператор =, +-*/= — сами по себе точки следования., а написал это троль, поймай и суши на керосинке.

Согласно п. 1.9 стандарта точки следования имеют место:

1. Вконце полного выражения (точка с запятой);
   
2. В точке входа в функцию, после вычисления всех ее аргументов;
   
3. После выхода из функции;
   
4. В операторах: "&&", "||", "?:", ",".

Как видишь, об операторах присваивания ни слова. Да и достаточно вспомнить уже набивший оскомину пример: i = i++; — был бы оператор присваивания точкой следования, здесь не возникало бы UB.