Неопределенное поведение или ложноположительный

Question

Я (по существу) попадались следующие в дикой природе

x = x = 5; 

, который, по-видимому компилируется под более ранней версией GCC (генерирует предупреждение при НКУ 4.5.1). Насколько я могу судить, предупреждение генерируется точкой -Последовательность. Таким образом, мой вопрос заключается в том, что это нарушает формулировку в стандарте по манипулированию переменными между точками последовательности (т. Е. Это неопределенное поведение для спецификации) или это gcc ложно положительный (т. Е. Определяется поведение в спецификации)? Формулировка точек последовательности немного сложнее.

Я сказал, в основном потому, что я на самом деле наткнулся (в большем выражении) был

x[0][0] = x[0][0] = 5; 

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

Answer 1

Предполагая, что x имеет встроенный тип, он присваивает x два раза без промежуточной точки последовательности, что все, что вам нужно знать. Тот факт, что оба присваивания имеют одно и то же значение (5) и теоретически могут быть оптимизированы в одно задание (если x не является изменчивым), то здесь и не существует.

По крайней мере, так я интерпретирую «модифицированный» в стандарте - присваивал значение независимо от того, совпадает ли оно с прежним значением. Аналогично, отбрасывание const и назначение объекту const - это, я думаю, UB, независимо от того, является ли присваиваемое значение равным предыдущему значению. В противном случае на всю запись памяти будет огромная накладная, если бы реализация захотела поместить строковые литералы в ПЗУ, чтобы предотвратить ошибку страницы в этом случае, и мы знаем по проверке, что компиляторы не испускают этот код.

еще более захватывающий пример может быть x[0][0] = x[0][i] = 5;, который назначает тот же объект без промежуточной точки последовательности, если (и только если) i == 0, так что определяется поведение условного от значения i.

я не вижу совсем, почему компилятор может сделать что-нибудь неожиданное в любом случае, но опять-таки мое отсутствие воображения не имеет никакого отношения :-)

Что ablenky говорит правильно. Если вы находитесь в каком-то контексте, где вы не можете использовать два оператора, возможно, вместо этого напишите x[0][0] = 5, x[0][i] = 5. В обоих ваших случаях просто отбросьте лишнее задание.