Является ли следующее поведение undefined? я = func (i)

Я знаю, что i=i++; - это поведение undefined, потому что i изменяется дважды до точки последовательности ;.

Но я не знаю, гарантирует ли компилятор случай, как показано ниже: undefined:

int func(int &i)
{
    i++;
    return i;
}

int i = 1;
i = func(i);

Ответ 1

Во-первых, современный С++ переключился с старой (неадекватной) концепции "точек последовательности" на новую концепцию "секвенирования" (т.е. "секвенирован до", "секвенирован после" ). Пока i = i++ по-прежнему undefined, i = ++i на самом деле отлично определен. Правила секвенирования во многих возвращающих lvalue операциях были переработаны.

Во-вторых, ваша версия безопасна как по старой спецификации, так и по новой. Модификация i внутри функции безопасно "изолирована" от назначения до i снаружи. В классических точках последовательности функций в начале и в конце функции безопасно отделяются изменения (и чтения) i друг от друга. Новые правила последовательности сохраняют тот же уровень защиты.

Пример, иллюстрирующий защиту, предоставляемую вызовом функции, может выглядеть следующим образом

int inc(int &i) { return i++; }
...
int i = 1;

int r1 = i++ * i++ * i++;          
// Undefined behavior because of multiple unsequenced side effects
// applied to the same variable

int r2 = inc(i) * inc(i) + inc(i);
// No UB, but order of evaluation is unspecified. Since the result 
// depends on the order of evaluation, it is unspecified

int r3 = inc(i) + inc(i) + inc(i); 
// Perfectly defined result. Order of evaluation is still unspecified, 
// but the result does not depend on it