c++ - 这里有更多 C++ 中未定义的行为，很抱歉这个问题，但又是 UB

Question

有一个非常简单的 UB 例子:

int i = 1;
i = i++; // classic example of UB.

我最近看到，如何使用 Pascal 风格的 inc 操作。 Eric Niebler github

// this structure little difference than original.
struct inc_t 
{   
  template< typename T> 
  T operator()(T& t ) const { return t++; } 
};

constexpr inc_t inc{};

//usage
int i = 1;
inc(i);
//or
int j = inc(i);

所以，合并:

int i = 1;
i = inc(i); // Is there still UB ?

谢谢。

Answer 1

否。

i = i++ 是 UB 因为 i 递增时没有指定；它可以在 i++ 的值计算之后的任何时候(即，i 的左值到右值的转换>) 和完整表达式结束之前。因此，相对于赋值语句，此写入是无序的。对同一 int 的两次无序写入是未定义的行为。

但在 i = inc(i) 中，i 的递增发生在函数返回之前，因为 t++ 中的完整表达式发生在函数内部。反过来，函数必须在右侧的值计算之前返回，并且赋值在两侧的值计算之后排序。因此i的递增顺序在赋值之前，没有UB。

C++11标准的相关引述:

§1.9/14

Every value computation and side effect associated with a full-expression is sequenced before every value computation and side effect associated with the next full-expression to be evaluated.

§5.17/1

In all cases, the assignment is sequenced after the value computation of the right and left operands, and before the value computation of the assignment expression.