分配给后缀递增的指针

Question

我读过后缀递增和递减运算符返回操作数的右值。假设这是真的，这样的代码怎么可能？：

int arr[5]{};
int *p = arr;
for (int i = 0; i != 5; ++i)
    *p++ = i;

我的想法是

1. 根据运算符优先级，*p 将首先得到评估。
2. 然后后缀增量将增加值并返回对象的副本作为右值。
3. 然后我感到困惑，因为右值不应该在赋值运算符的左侧... 所以我的问题基本上是：*p++ = i; 怎么可能？

Answer 1

根据运算符优先级，*p 将首先被评估。

错了。

这里：

*p++

将首先评估增量，而不是 *p。

这给出了一个右值（指针的值），在取消引用之后，它变成了一个左值，您可以将其分配给i。

你可以将你的 for 循环改写成这样：

for (int i = 0; i != 5; ++i) {
    std::cout << *p << std::endl;
    *p++ = i;
    std::cout << *p << std::endl;
}

为了获得更好的视野。

Answer 2

根据运算符优先级，*p 将首先得到评估。

你错了。根据documentation，将首先评估增量。这将产生一个右值（即指针在增加之前的值），然后，在它被取消引用之后，它是一个您可以分配给的 lvalue。