c++ - 为什么不在operator =中返回const-reference而不是引用？

Question

在赋值运算符重载时，为什么我们返回对该对象的引用，为什么它不能返回const-reference？例如，在这种情况下:

MyClass& MyClass::operator=(const MyClass &rhs) {
    ...  // Do the assignment

    return *this;
  }

为什么我们不能返回常量引用，例如:

const MyClass& MyClass::operator=(const MyClass &rhs) {
    ...  // Do the assignment operation!

    return *this;  // Return a reference to myself.
  }

Answer 1

可以，但是MyClass的用户可能会感到惊讶。

通常，可以引用分配(很少会再次分配分配)。正确地说这有点让人困惑，所以这是它的样子:

int a = 4;
int &r = a = 5;
(a = 6) = 7;

这也不允许调用成员函数来修改该函数的参数，例如:

#include <iostream>

struct C
{
    int value;
    const C &operator=(int v){value = v; return *this;}
};

void assign_value(C &ref)
{
    ref %= 4;
}

int main(void)
{
    C test;
    assign_value(test = 5);
    std::cout << c.value << '\n';
}