评价顺序和未定义行为

Question

int i = 0;

i = i++;   // #0

i = ++i;   // #1

关于SO的两个主题解释了C++11上下文中的这些示例。这里说#0调用UB，#1定义良好。这里说这两个例子都没有定义。这种模棱两可让我很困惑。这篇结构良好的参考文献我已经读了三遍了，但是这个主题对我来说似乎太复杂了。

.

让我们分析示例#0:i=i++；。

相应的报价有：

>

内置的预增量和预减量运算符的副作用在其值计算之前被排序（由于定义为复合html" target="_blank">赋值而导致的隐式规则）

内建赋值运算符和所有内建复合赋值运算符的副作用（左参数的修改）在左参数和右参数的值计算（但不是副作用）之后排序，并且在赋值表达式的值计算之前排序（即在返回对修改对象的引用之前）

.

问题：我如何应用引用的规则来确定示例的UB。如能作出尽可能简单的解释，将不胜感激。谢谢你！

Answer 1

由于您的引用不是直接来自标准，我将尝试引用标准的相关部分给出一个详细的回答。“副作用”和“评价”的定义见第1.9/12段：

访问由volatile glvalue(3.10)指定的对象，修改对象，调用库I/O函数，或者调用执行其中任何操作的函数，都是副作用，是执行环境状态的变化。表达式（或子表达式）的求值通常包括值计算（包括为glvalue求值确定对象的标识和为prvalue求值提取先前分配给对象的值）和副作用的启动。

下一个相关部分是第1.9/15段：

i = i++;

在所有情况下，赋值都是在右操作数和左操作数的值计算之后、赋值表达式的值计算之前进行排序的。

使用上面所有的信息，整个表达式的评估是（这个顺序不是标准保证的！）：

i++（右手边）的值计算 i（左手边）的值计算
• 对i的修改(++的副作用）
• 修改i(=)的副作用

i = ++i;

i = (i += 1)

但是从上面我们已经知道，=的值计算是在操作数的值计算之后进行的，而副作用是在=的值计算之前进行的。因此我们得到了一个定义良好的评估顺序：

1. 计算i+1值（和i-内部表达式的左手边）(#1)
2. 启动内=的副作用，即修改“内”i
3. 计算(i=i+1)的值，这是i
的“新”值
4. 启动外部=副作用，即修改“外部”i
5. 计算完整表达式值。

(#1):在这里，i只计算一次，因为i+=1与i=i+1等价，只是i只计算一次（5.17/7）。