重载预增量运算符时是否必须返回对对象的引用？

Question

我可以使用吗：

MyClass& MyClass::operator++ () {
    a++;  // private var of MyClass
    return (*this);
}

也可以是：

MyClass MyClass::operator++ ();

有什么区别？

---

感谢您的回答。我还有一个问题。

很多人都会这样做：

MyClass& MyClass::operator++();
MyClass MyClass::operator++(int);

这不是不合逻辑吗？如果可以的话，请举一些例子。

我知道第一个版本是前增量，第二个是后增量，但我问为什么第一个返回引用而第二个没有？它是在同一个代码（类）中，并且使用同一个代码。

Answer 1

不，当您重载预增量运算符时，您没有有返回对您的对象的引用。事实上，你可以返回任何你想要的东西，MyClass、int、void，等等。

这是一个设计问题——你必须问问自己，你能够返回的对类用户最有用的东西是什么。

作为一般规则，类运算符在引起混淆最少时最有用，也就是说，当它们对基本类型进行最相似的运算符时。在这种情况下，基本类型上的预增量运算符：

int  i = 7;
j = ++i;

递增变量，然后返回新值。如果这是您希望 MyClass 拥有的唯一用途，那么返回您的类的副本就足够了。

但是，基本类型的预增量运算符实际上返回一个左值。所以，这是合法的：

int i = 7;
int *p = &++i;

如果你想支持这样的操作，你必须返回一个引用。

您是否有不想返回参考的特定原因？对于您的特定班级，这不是一个结构良好的概念吗？如果是这样，请考虑返回void。在这种情况下，这个表达式：++myObject 是合法的，而这个 myOtherObject = ++myObject 是不合法的。

Answer 2

问题二：

Prefix 按预期返回一个引用。 后缀返回一个副本以与后缀运算符的行为一致。

简单分解为 int：

int c = 0;

if(++c)
{
   // true, prefix increments prior to the test
}

c = 0;

if(c++)
{
   // false, c now == 1, but was incremented after the test
}

在类中实现此行为需要返回一个副本，因为后缀运算符将修改对象的状态。

如果程序不需要真正的后缀操作，你当然可以随意实现。虽然有编写这些运算符的标准方法（大多数 C++ 程序员都理解），但实际上并没有什么能阻止您以不同的方式实现它。

围绕(obj++)++ 提供的有关不正确功能的论点并不重要，因为该代码甚至不会针对 POD 类型进行编译（至少在 Visual Studio 2010 中），因为对于 POD 类型，会返回一个副本，并且临时副本不能单独用作左值。

但是，对于前缀运算符，引用是首选返回，因为它允许链接操作 (++(++obj)) 的正确行为。

Answer 3

您可以退回任何您想要的东西。 void，对自我的引用，自我的副本，其他东西。无论您喜欢（或需要）哪个。

如果您计划在链式表达式（如(++obj).something()）中使用++ 运算符，则返回一个引用。如果你不这样做，那么void 就可以了。

请记住，最后，运算符就像普通方法一样：只要尊重它们的原型，您就可以对它们做任何您想做的事情。

Answer 4

这不是强制性的，但我们应该尽量让运算符重载直观，它应该按照被重载的运算符工作。

如果我们这样做 诠释 i = 10; 我++ = 0 然后第二个语句是不允许的，它说它需要左值，因为 i++ 表示 i 的旧状态不是存储... 而 ++i = 0 完全可以正常工作.. 因此，为了使其与实际操作符前缀版本保持同步，必须返回引用，以便其返回值可以在表达式中被视为左值。

Answer 5

是的，您应该通过引用返回。 *this 周围不需要括号。

编辑：回复您的评论...您没有必须通过引用返回。但总的来说，与此类运算符的内置语义相比，我们遵循一些指导方针，使我们的类表现得“如预期”。你可能想看看http://www.parashift.com/c++-faq-lite/operator-overloading.html。