Обмен переменных через XOR - тонкости

@Pershin · Регистрация: 15.07.2013

Студворк — интернет-сервис помощи студентам

C
1
2
3
4
5
main()
{
    int a=5, b=10;
    a^=b; b^=a; a^=b; printf("%d %d", a, b);
}

C
1
2
3
4
5
main()
{
    int a=5, b=10;
    a^=b^=a^=b; printf("%d %d", a, b);
}

Оба этих кода работают. Википедия говорит, что вторая форма записи - плохо, это undefined behaviour, и может привести к ошибкам.
Но у меня это работало, и я успешно пользовался второй записью, как более короткой, в своих учебных программах.
Однако, как сегодня выяснилось, вторая запись перестает работать, если вынести обмен в функцию:

C
1
2
3
4
5
6
7
8
9
10
void swap(int *a, int *b)
{
    *a^=*b; *b^=*a; *a^=*b;
}
 
main()
{
    int a=5, b=10;
    swap(&a, &b); printf("%d %d", a, b);
}

C
1
2
3
4
5
6
7
8
9
10
void swap(int *a, int *b)
{
    *a^=*b^=*a^=*b;
}
 
main()
{
    int a=5, b=10;
    swap(&a, &b); printf("%d %d", a, b);
}

Первая форма записи работает, как и раньше, а вот вторая выводит числа 0 и 5 вместо 10 и 5.

Хотелось бы разобраться. Компилятор gcc 4.6.3.

@Alex5 · 05.02.2014, 18:47

Сообщение от ValeryS

a=b=c=5;
сначала присвоиться c потом b потом a
но что присвоится? вот вопрос?

Да. И если a, b, c - не переменные, а более сложные выражения, результат непредсказуем. (Уже для однопоточного приложения.)

C
1
2
i = 10;
arr[++i] = arr[++i] = 5;  /* Ошибка. Неоднозначное поведение. */

И даже если мы расставим все скобки.

C
1
2
3
i = 10;
arr[++i] = (arr[++i] = 5);  /* Ошибка. */
(arr[++i] = arr[++i]) = 5;  /* Ошибка. */

Причина. Неизвестно, какой из ++ будет вычислен раньше.

Почему A+B+C означает (A+B)+C ?
Ответ. ( Programming languages — C (Committee Draft — April 12, 2011) )

6.5 Expressions
3 The grouping of operators and operands is indicated by the syntax.85) Except as specified
later, side effects and value computations of subexpressions are unsequenced

6.5.6 Additive operators
Syntax
1
additive-expression:
multiplicative-expression
additive-expression + multiplicative-expression
additive-expression - multiplicative-expression

Новые блоги и статьи Все статьи Все блоги /
Программа опроса у.з. расходомера SLS-720F Argus19 02.09.2026 Программа опроса у. з. расходомера SLS-720F Программа опрашивает один раз в минуту три ультразвуковых расходомера SLS-720F через интерфейс RS-485 по протоколу Modbus RTU. Опрашиваются регистры. . .	Hyper-V: Компьютер должен поддерживать доверенный платформенный модуль 2.0. Maks 31.08.2026 При установке Windows 11 на виртуальную машину Hyper-V 2-го поколения вылезла такая ошибка: Решение: в параметрах виртуальной машины, в разделе "Безопасность" (Security) активировать флаг. . .	Архитектура биовида Стива в Майнкрафте: Зачем бонобо кубический каннибализм anaschu 30.08.2026 Кубический Вагинокапитализм в Minecraft: Математический инвариант ОДУ и рок Стивов-бонобо Главная задача разработанной «Модели Всего» — наглядно продемонстрировать наличие системной «судьбы». . .	Оттачиваю умение писать js программы. russiannick 30.08.2026 Проектом выходного дня стало написание Книги шифров Виженера. Итогом стала версия 200, синий туман. Синий туман назван так, потому что замораживает текст под собой. Нажатие синих кнопок управляют. . .
мат медиц модель 30. презентация проекта anaschu 27.08.2026 хоп хоп хоп хидахоп, а я кладую))	Как у меня протекала болезнь zorxor 27.08.2026 Здравствуйте, друзья! Эта запись блога предназначена именно для вас - для моих дорогих друзей, которые знали меня лично. Чтобы ответить на вопрос - а что же со мной произошло на самом деле? Я учился. . .	Нашел вот забавное видео о измерениях. Лучшее что я видел на эту тему kumehtar 26.08.2026 ILETXiw9bMQ Основная суть и тезисы по измерениям: 0D (Нулевое измерение): точка, не имеющая длины, ширины, высоты или объема. Объект не может перемещаться в 0D. 1D (Первое измерение):. . .	[EasyBuilder Pro] Памятка по разработке для панелей Weintek ФедосеевПавел 26.08.2026 Памятка по разработке для панелей Weintek ВВЕДЕНИЕ Ранее, при реализации проектов основное внимание уделял разработке управляющей программы для контроллера, а панели оператора доставалось время. . .