从带有移动分配的算术运算符重载返回const值

Question

假设我有以下最小示例类：

#include <iostream>

class Foo {
public:
    Foo() = default;

    Foo(const Foo&) = default;
    Foo(Foo&&) noexcept = default;

    Foo& operator=(const Foo& rhs) {
        std::cout << "copy\n";

        return *this;
    }

    Foo& operator=(Foo&& rhs) noexcept {
        std::cout << "move\n";

        return *this;
    }

    Foo operator+(const Foo& rhs) const {
        Foo x; // with some calculation

        return x;
    }
};

int main() {
    Foo a, b, c;

    a = b + c;
}

此打印move按预期方式。 现在根据有效的C ++项目3，我应该从operator+返回const Foo以避免类似a + b = c构造，即：

// To avoid a + b = c
const Foo operator+(const Foo& rhs) const {}

不幸的是，这突然开始调用副本分配而不是移动分配运算符。 [我在Ubuntu上使用gcc 4.8.4，但这可能与编译器无关]

如何确保a + b = c编译失败并且同时为a = b + c调用移动分配？ 还是随着移动语义的引入，没有办法同时实现它们吗？

Answer 1

我最终使用了Caninonos在注释中指出的左值引用限定符，并在现在已删除的答案中使用了max66（但是1万用户可以看到它）。

Foo& operator=(const Foo& rhs) & {}
Foo& operator=(Foo&& rhs) & noexcept {}

它的实现很简单，并且提供了更好的界面设计，因为分配给左值听起来毫无意义的其他东西以及可能的错误源。

但是，应注意，错误写入a + b = c的可能性非常低。 同样，编译器生成的赋值运算符不是左值引用限定的，我们可以使用标准类型（例如，使用std::string或std::complex编写a + b = c 。