后缀增量运算符

Question

我有一个自定义类 MyInt，封装了 int m_nValue 数据。后缀运算符

MyInt operator++(int)  
{
  MyInt temp(*this);  
  ++(*this);  
  return temp; 
}

如果该运算符返回一个对象，那么为什么我无法多次调用 postfix++ 运算符，例如：

MyInt value(10);
value++;    // valid
value++++;  // Why is this invalid?? Cant it be interpreted as (value++)++

Why does value++++ gets an error lvalue required 如果我可以调用 MyInt 类中定义的 value.print() 方法，那么我也应该能够执行 value++++ 吗？

Answer 1

错误答案：

因为value++是一个临时变量，保存value的旧值。你不能++它。

你也不能写15++！很相似。前者是一个临时变量，后者是一个常量，其中任何一个都不能递增。

更正：由于这个答案被接受，我不会更改原始帖子，但是因为人们会阅读它，所以我将在这里发布更正。

首先，我并不是说常量和临时对象是同一个概念。我只是想说临时对象不是左值，就像常量不是一样，但实际上并没有使用左值这个词。

关于value++++，它不是一个错误。我刚刚用我的 g++ 4.5 测试了它，它工作得很好。在其他答案中您可以阅读：

来自 2003 年标准第 3.10.10 节：

<块引用>

为了修改对象，对象的左值是必需的，但在某些情况下，类类型的右值也可用于修改其所指对象。 [示例：为对象调用的成员函数（9.3）可以修改该对象。 ]

你所做的事情本质上是错误的：

假设 value 包含 10。第一个 value++ 将 value 更改为 11，但返回一个包含 10 的临时对象。然后您++它将临时值（您从未访问过）更改为11，但再次返回一个包含10的临时对象。因此，value++++ 的行为与 value++ 完全相同，只是它做了一些不必要的工作。

Answer 2

实际上，这个应该可以工作：

#include <iostream>

struct MyInt {
    MyInt() : value(0) {}

    MyInt& operator++() {
        std::cout << "Inside MyInt::operator++()" << std::endl;
        ++value;
        return *this;
    }

    MyInt operator++(int)  
    {
      MyInt temp(*this);  
      ++(*this);  
      return temp; 
    }

    int value;
};

int main() {
    MyInt mi;

    std::cout << "Value before: " << mi.value << std::endl;
    mi++++;
    std::cout << "Value after: " << mi.value << std::endl;
}

这个运算符基本上只是一个具有奇特语法的普通成员函数，因此你可以在右值上调用它。请注意，正如 Martinho 在他的评论中所解释的那样，效果并不是预期的效果，因为第二个增量是在临时值上运行的。

摘自 2003 年标准第 3.10.10 节：

为了修改对象，对象的左值是必需的
除了类类型的右值也可以用来修改它的
特定情况下的参考。 [示例：成员函数
调用一个对象（9.3）可以修改该对象。 ]