i=post_increment_i()的行为是指定的、未指定的还是未定义的？

Question

考虑以下C程序：

int i = 0;

int post_increment_i() { return i++; }

int main() {
    i = post_increment_i();
    return i;
}

null

访问易失性对象、修改对象、修改文件，或者调用执行那些操作中的任何操作的函数都是副作用，它们是执行环境状态的改变。表达式的计算通常包括值计算和副作用的启动。用于lvalue表达式的值计算包括确定指定对象的标识。

Sequenced before是单线程执行的计算之间的非对称、传递、成对关系，它导致这些计算之间的部分顺序。给定任意两个评价A和B，如果A排序在B之前，那么A的执行应先于B的执行（相反，如果A排序在B之前，那么B排序在A之后）如果A没有排序在B之前或之后，那么A和B没有排序。当A在B之前或之后测序时，评估A和B的测序是不确定的，但未指明哪一个。¹³表达式A和B的评估之间存在一个测序点意味着与A相关的每一个值计算和副作用都在与B相关的每一个值计算和副作用之前测序（附录C中给出了该测序点的摘要）

13）未排序的评估可以交错执行，不确定排序的评估不能交错执行，但可以按任何顺序执行。

如果标量对象上的副作用相对于同一标量对象上的不同副作用或使用同一标量对象的值进行的值计算没有排序，则行为是未定义的。如果一个表达式的子表达式有多个允许的顺序，那么如果这种未排序的副作用发生在任何一个顺序中，则该行为是未定义的。

6.5.2.2函数调用

在函数指定符和实际参数的求值之后但在实际调用之前有一个序列点。调用函数（包括其他函数调用）中的每一个在被调用函数主体执行之前或之后未进行特定排序的计算，都相对于被调用函数的执行进行不确定的排序。⁹⁴

赋值运算符在左操作数指定的对象中存储值。[...]更新左操作数的存储值的副作用在左操作数和右操作数的值计算之后排序。操作数的计算是不排序的。

6.8语句和块

完整表达式是不是另一个表达式或声明符的一部分的表达式。以下每一项都是完整的表达式:[...]表达式语句中的表达式；[...]返回语句中的（可选）表达式。在一个完整表达式的求值和下一个要求值的完整表达式的求值之间有一个序列点。

1. 后缀增量运算符的副作用在main赋值之前排序。
2. 后缀增量运算符的副作用在main中的赋值之前或之后进行排序，而C11没有指定是哪一个。（换句话说，这两种副作用的顺序是不确定的。）
3. 这两种副作用没有排序。

第一种选择似乎是成立的，理由如下：

>

考虑以下规则：调用函数（包括其他函数调用）中的每个计算，如果在被调用函数主体执行之前或之后没有进行特定的排序，则相对于被调用函数的执行进行不确定的排序。6.5.2.2.假设A：main中赋值运算符的副作用就是这样一个“评估”。假设B：短语“被调用函数的执行”既包括后缀增量运算符的值计算，也包括后缀增量运算符的副作用。根据这些假设和上述规则，可以得出以下结论：I）后缀增量运算符的值计算和副作用都在main中赋值运算符的副作用之前排序，或者II）后缀增量运算符的值计算和副作用都在main中赋值运算符的副作用之后排序。

Answer 1

[我的答案是基于更简单的C99标准，而且C11极不可能引入突破性的变化:]

此代码的这种行为定义良好:main返回0。在return语句的完整表达式之后有一个序列点（参见C99，附件C），因此i++的副作用在赋值给main中的i之前生效。