Аналогичные коды, например (a+=1)%=7;, где a — переменная int.
Мы знаем, что оператор += или = не является точкой последовательности, поэтому у нас есть два побочных эффекта между двумя соседними точками последовательности. (здесь мы используем правила точки следования cpp98)
Однако операторы присваивания, такие как += или =, гарантируют возврат lvalue после присваивания, что означает, что порядок выполнения в некоторой степени "определен".
Так это неопределенное поведение?
(a=1)=2 был неопределенным до C++11, поскольку оператор = не вводил точку следования, и поэтому a модифицируется дважды без промежуточной точки следования. То же самое относится к (a+=1)%=7
Текст был:
Между предыдущей и следующей точкой последовательности сохраненное значение скалярного объекта должно быть изменено не более одного раза путем вычисления выражения.
Стоит отметить, что описание оператора присваивания некорректно:
Результатом операции присваивания является значение, сохраненное в левом операнде после выполнения присваивания; результатом является lvalue.
Если результатом является lvalue, то результатом не может быть сохраненное значение (это будет rvalue). Lvalues обозначают ячейки памяти. Кажется, что это предложение подразумевает отношение упорядочивания, но независимо от того, как мы хотим его интерпретировать, в нем не используется термин «точка последовательности», и поэтому применяется более ранний текст о точках последовательности.
Во всяком случае, эта формулировка ставит под сомнение такие выражения, как (a=1) + 2. Версия секвенирования C++11 устранила все эти неясности.
(a=1)=2 ?
- person M.M; 03.04.2020
(a=1) как неконстантное lvalue, что-либо, кроме сохранения 1 перед обработкой второго присваивания?
- person supercat; 03.04.2020
int a = 2; (a = 1) = a;, то это является неопределенным (как это имеетclang-cl: модификация без последовательности и доступ к 'a'). - person Adrian Mole schedule 01.04.2020+=и%=изменяютa, приводит к неопределенному поведению. - person Peter schedule 01.04.2020