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

Question

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

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';
}