+ = Цепочка оператора (с тире UB)

Question

Я понимаю, что перед точкой с запятой нет точки последовательности, но есть ли правдоподобное объяснение разыменованного указателя на использование старого значения 2 в выражении?

Или это может быть просто заявлено как неопределенное поведение?

int i=2; 
int *x=&i; 
*x+=*x+=i+=7; 

Результат:

i= 13 

Answer 1

Это "просто" неопределенное поведение.

При этом компилятор, вероятно, испускает код, который считывает значение i, после чего выполняет всю арифметику, а затем сохраняет новое значение i.

Очевидным способом узнать реальное объяснение было бы посмотреть на сборку, сгенерированную компилятором.

Answer 2

Поведение не является неопределенным, это зависит от того, как компилятор разбивает выражение и толкает промежуточные результаты в стек. Сначала вычисляются два *x s (оба равны 2) и помещаются в стек. Затем i имеет 7 добавленных к нему и равно 9. Затем второй *x, который все еще равен 2, снимается со стека и добавляется, чтобы сделать 11. Затем первый *x снимается со стека и добавляется к 11, чтобы сделать 13.

Посмотрите обратную польскую обозначение для подсказок о том, что здесь происходит.