Недавно я придумал этот метод обмена значениями двух переменных без использования третьей переменной.
a^=b^=a^=b
Но когда я попробовал приведенный выше код на разных компиляторах, я получил разные результаты, некоторые дали правильные результаты, некоторые нет.
Что-то ужасно не так с кодом?
Что-то ужасно не так с кодом?
Да!
a^=b^=a^=b фактически вызывает Undefined Behavior в C и C ++, потому что вы пытаетесь изменить значение a более одного раза между двумя точками последовательности.
Попробуйте написать (хотя и небезопасно)
a ^= b;
b ^= a;
a ^= b;
вместо a^=b^=a^=b.
P.S: никогда не пытайтесь поменять местами две переменные, не используя третью. Всегда используйте третью переменную.
ИЗМЕНИТЬ:
Как заметил @caf, b^=a^=b в порядке, даже если порядок оценки аргументов оператора ^= не указан, поскольку все обращения b в выражении используются для вычисления окончательного значения, которое хранится в b, поведение хорошо определено.
b на самом деле допустима, поскольку она предназначена только для чтения, чтобы определить новое значение (b ^= a ^= b; будет в порядке).
- person caf; 18.09.2010
= не указан.
- person Prasoon Saurav; 18.09.2010
^= даже не определен для других типов.
- person R.. GitHub STOP HELPING ICE; 18.09.2010
int. :)
- person Prasoon Saurav; 18.09.2010
b ^= a ^= b на самом деле нормально в C ++ 0x. Присвоение b происходит после вычисления значения a ^= b. На мой взгляд, формулировка C ++ 03 непонятна, но я не против интерпретации @ caf. Но я не собираюсь делать ставку на C ++ 03 :)
- person Johannes Schaub - litb; 18.09.2010
a ^= ( a^=b , b^=a ); также не определен в C ++ (и я уверен, что он будет хорошо определен в C ++ 0x) . Я буду скучать по точкам последовательности good'ol :-)
- person Prasoon Saurav; 18.09.2010
b ^= a ^= b IMO. Это выглядит невинно, потому что в Стандарте говорится, что можно читать и записывать одну и ту же переменную в выражении, если чтение должно определять записываемое значение. По-видимому, так обстоит дело с b ^= a ^= b, i = a[i]; и подобными. Но в C ++ 03 для этого нет действительно сильной формулировки, поэтому я не собираюсь делать ставки, в отличие от C ++ 0x :)
- person Johannes Schaub - litb; 18.09.2010
= не указан. Таким образом, вы никогда не знаете, какая сторона оператора присваивания оценивается первой. :)
- person Prasoon Saurav; 18.09.2010
a^= (a^=b, b^=a) определенно не определено в C ++ 03 и C ++ 0x = ›a заменяется на a^=b (побочный эффект) и значение вычисляется крайним левым a, и оба они не упорядочены.
- person Johannes Schaub - litb; 18.09.2010
b ^= a ^= b присвоение b упорядочено после вычисления значения a ^= b, верно? так это означает, что в a^= (a^=b, b^=a) присваивание крайнему левому a выполняется после вычисления значения (a^=b, b^=a), верно? Но послушайте, у нас есть оператор запятой в (a^=b, b^=a), который устранит побочный эффект a^=b, тогда как это будет UB в C ++ 0x?
- person Prasoon Saurav; 18.09.2010
a = b не выполняет последовательность вычисления значения a относительно b. Не имеет значения, содержит ли b собственные последовательные побочные эффекты на a. Они должны быть упорядочены относительно вычисления значения левого операнда a = b, чтобы быть действительными.
- person Johannes Schaub - litb; 18.09.2010
^= или +=.
- person Johannes Schaub - litb; 18.09.2010
b ^= a ^= b; определяется по той же причине, что и i = a[i];. Верно, что b и (a ^= b) оцениваются в неопределенном порядке, но оба должны быть оценены до того, как можно будет вычислить новое значение b.
- person caf; 19.09.2010
Если вы используете C ++, почему бы не использовать алгоритм подкачки в STL? Он идеально подходит для этой цели и очень понятно, что он делает:
#include <algorithm>
using namespace std;
// ...
int x=5, y=10; // x:5 y:10
swap(x,y); // x:10 y:5
На основе материалов R. & sellibitze:
Используйте оператор запятой:
(a^=b,b^=a,a^=b);
Из текста и из Википедии:
"Оператор запятой может использоваться для связывания связанных выражений вместе. Список выражений, связанных запятыми, оценивается слева направо, а значение самого правого выражения является значением комбинированного выражения. Оно действует как точка последовательности. "
"Точка последовательности гарантирует, что все побочные эффекты предыдущих оценок будут выполнены, и что побочные эффекты от последующих оценок еще не были выполнены. Она устраняет неопределенное поведение, возникающее из-за нечеткого порядка выполнения исходного выражения. "
a = a ^ (a ^= b, b ^= a);, а левый размер оператора ^ может быть вычислен до или после выражения в скобках.
- person R.. GitHub STOP HELPING ICE; 18.09.2010
a ^= b оценивается полностью, затем b ^= a, затем a ^= b. Поскольку все они четко определены, объединение их вместе с операторами запятых хорошо определено. Это, конечно, не относится к похожим запятым, разделяющим аргументы функций.
- person David Thornley; 21.09.2010
Я предлагаю вам использовать std :: swap () для C ++.
Для c используйте этот макрос. Обратите внимание, что вам нужно сначала сравнить a и b, иначе, когда они указывают на одну и ту же ячейку памяти, вы сотрете значение, и оно станет 0.
#define swap(a, b) ((a) == (b) || (a) ^= (b), (b) ^= (a), (a) ^= (b))
0 когда a == b? Изначально a = b = X. После a ^= b, a == 0. После b ^= a, b == X. Наконец, с a ^= b, a == X && b == X. Это именно то, что мы ожидаем.
- person Phil Miller; 19.09.2010
Делай это так:
a ^= b;
b ^= a;
a ^= b;
Что насчет этого?
a = a + b;
b = a - b;
a = a - b;
Я удивился, почему никто не предложил заключить это выражение в скобки. Кажется, это уже не UB.
a^=(b^=(a^=b));
Вы также можете попробовать следующий, но если числа достаточно большие, значение будет переполняться
a=a*b;
b=a/b;
a=a/b;
about me sectionвашего профиля) = D? - person Prasoon Saurav schedule 18.09.2010SwapиCode-Golfбыли совершенно допустимыми. Я часто видел, как некоторые начинающие программисты использовали эти (своего рода) методы, когда они пытались реализовать некоторые базовые алгоритмы, использующие побитовые операторы. - person Prasoon Saurav schedule 18.09.2010Swapping two variable value without using 3rd variable. - person Prasoon Saurav schedule 18.09.2010How to swap two variable values without using 3rd variable, я проголосовал за повторное открытие. - person Prasoon Saurav schedule 18.09.2010