c++ - 前缀和后缀运算符的奇怪行为

Question

为什么第一个表达式被允许，而第二个表达式不被允许:

void test()
{
   int a;

   ++a = getSomeInt();
   a++ = getSomeInt();
}

我的意思是，为什么禁止第二个为左值？第二个有道理，第一个没有。在第一个中，我们增加变量，并在我们给这里一个新值后立即丢失它。第二个表达式不是这种情况。分配一些值并在之后增加变量是有意义的。

Answer 1

后缀自增的结果是纯右值，表示pure rvalue所以它是不可修改的。这是根据 draft C++ standard在后缀表达式 部分 5.2.6 递增和递减表示(强调我的):

The value of a postfix ++ expression is the value of its operand. [ Note: the value obtained is a copy of the original value —end note ] [...] The result is a prvalue. [...]

如果您考虑一下，这是有道理的，因为您需要返回 a 的先前值它必须是一个临时值。

为了完整起见，前缀增量的语言在 5.3.2 部分增量和减量说(强调我的):

The operand of prefix ++ is modified by adding 1, or set to true if it is bool (this use is deprecated). The operand shall be a modifiable lvalue. The type of the operand shall be an arithmetic type or a pointer to a completely-defined object type. The result is the updated operand; it is an lvalue [...]

更新

我意识到:

++a = getSomeInt();

调用 undefined behavior在 C++03 中，我们可以通过查看 older draft standard 中的相关部分来了解这一点将是 5 节表达式 4 段说:

[...]Between the previous and next sequence point a scalar object shall have its stored value modified at most once by the evaluation of an expression. Furthermore, the prior value shall be accessed only to determine the value to be stored. The requirements of this paragraph shall be met for each allowable ordering of the subexpressions of a full expression; otherwise the behavior is undefined.

既然你正在修改 a它不止一次未定义。据我所知，这在 C++11 的 1.9 节中有明确定义。 程序执行 15 段说:

Except where noted, evaluations of operands of individual operators and of subexpressions of individual expressions are unsequenced. [...] If a side effect on a scalar object is unsequenced relative to either another side effect on the same scalar object or a value computation using the value of the same scalar object, the behavior is undefined.

我们可以在 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. [...]

但无论如何，即使它是像这样定义良好的表达式:

++a = getSomeInt();

难以阅读和维护，应避免使用更简单的代码。

更新 2

不确定之前我是怎么错过的，但你没有初始化 a这里:

 int a;

因此它将有一个不确定的值，我们不知道它的初始值是多少，并且在a 上执行预递增也将是未定义的行为。