c - "return i++, i, i++;"在 C 中是未定义的行为吗？

Question

如果我这样写:

i = i++, i, i++;

这是 C 语言中的未定义行为。

但是，如果我这样写:

return i++, i, i++; // Is it UB?

这是未定义的行为吗？

示例:

#include <stdio.h>

int f(int i)
{
    return i++, i, i++; // Is it UB?
}
int main() {
    int i = 1;
    i = i++, i, i++;

    i = f(i);
    printf("%d\n",i);
    return 0;
}

Answer 1

i = i++, i, i++; 是 UB，因为 = 的优先级高于 ,，因此表达式被解析为 (i = i++), i, i++，其中子表达式 i = i++ 调用 UB¹⁾。

即使代码被写成i = (i++, i, i++);，它仍然是UB，因为现在之间没有序列点最右边的 i++ 和 i，= 的左操作数 ¹⁾。

但是，当您删除 i = 部分时，您就删除了该不明确的行为。 return i++, i, i++; 必须排序为:

i++, the left one
sequence point from left comma
i
sequence point from right comma
i++, the right one
sequence point before returning

所以它是明确定义的。

<小时/>

来源:

¹⁾ C11 6.5/2

If a side effect on a scalar object is unsequenced relative to either a different side effect on the same scalar object or a value computation using the value of the same scalar object, the behavior is undefined. If there are multiple allowable orderings of the subexpressions of an expression, the behavior is undefined if such an unsequenced side effect occurs in any of the orderings.

然后还有 C11 6.5.16/3

The side effect of updating the stored value of the left operand is sequenced after the value computations of the left and right operands. The evaluations of the operands are unsequenced.

值得注意的是，上述有关赋值的文本在 C11 和 C++11 之间是不同的。