++A += a это UB?

Нет, в верном. Порядок как раз отражает смысл очередности (правый операнд вычисляется прежде левого, а значит в данном случае его значение будет прединкрементным).

0

14.04.2022

Pavel Pimenov Автор вопроса

Sergey Anisimov
Нет, в верном. Порядок как раз отражает смысл очер...

int a = 10; ++a += a; cout << a; // 22 int a = 10; auto tmp{a}; ++a; a = a + tmp; cout << a; // 21 int a = 10; ++a; auto tmp{a}; a = a + tmp; cout << a; // 22

0

14.04.2022

Sergey Anisimov

Pavel Pimenov
int a = 10; ++a += a; cout << a; // 22 int a = 10...

Сейчас проверил: GCC выдает на единицу больше (и предупреждает об unsequenced), clang - на единицу меньше (ожидаемый мной вариант) и не предупреждает. Я, возможно, неверно подсказал: подробнее сейчас посмотрю.

0

14.04.2022

Pavel Pimenov Автор вопроса

Sergey Anisimov
Сейчас проверил: GCC выдает на единицу больше (и п...

В каком из примеров?

0

14.04.2022

Sergey Anisimov

Pavel Pimenov
В каком из примеров?

Рассматривал ++a += a;.

0

14.04.2022

Pavel Pimenov Автор вопроса

Sergey Anisimov
Рассматривал ++a += a;.

И это даёт разный ответ на разных компиляторах? Тогда всё плохо, по ходу UB)

0

14.04.2022

Sergey Anisimov

Pavel Pimenov
И это даёт разный ответ на разных компиляторах? То...

Если я ошибся - да, но пока не знаю, где именно.

0

14.04.2022

Pavel Pimenov Автор вопроса

Pavel Pimenov
И это даёт разный ответ на разных компиляторах? То...

godbolt.org int f(int a) { ++a += a; return a; } x86-64 gcc 11.2 -O3 lea eax, [rdi+2+rdi] ret x86-64 clang 14.0.0 -O3 lea eax, [rdi + rdi] add eax, 1 ret И правда разное, ну видимо UB чтож

0

14.04.2022

Sergey Anisimov

Pavel Pimenov
И это даёт разный ответ на разных компиляторах? То...

На всякий случай оповещаю. В про дискуссия здесь начинается. Судя по всему, поведение все-таки определено, а в GCC баг (и с диагностикой, и с поведением).

0

15.04.2022

Вагнергейт · Accepted Answer

Вагнергейт

да нач нет

0

14.04.2022

170 похожих чатов

++A += a это UB?

22 ответов

Похожие вопросы