隐式生成的赋值运算符应该是 & ref 限定的吗？

Question

以下代码在 gcc 4.8.1 上编译没有问题：

#include <utility>

struct foo
{
};

int main()
{
    foo bar;

    foo() = bar;
    foo() = std::move( bar );
}

似乎为foo 隐式生成的赋值运算符不是& ref-qualified，因此可以在右值上调用。根据标准，这是否正确？如果是这样，不要求隐式生成的赋值运算符是& ref-qualified的原因是什么？

为什么标准不要求生成以下内容？

struct foo
{
  foo & operator=( foo const & ) &;

  foo & operator=( foo && ) &;
};

Answer 1

好吧，分配给右值有一些合法的用例。引用Ref-qualifiers for assignment operators in the Standard Library:

只有少数非常具体的类型有意义 支持分配给右值。特别是，作为 代理，例如vector::reference，以及赋值的类型 运算符是 const 限定的（例如 slice_array）。

C++ 标准委员会显然认为默认赋值不应该有一个隐含的 ref 限定符——而是应该显式声明。事实上，如果突然间所有隐式声明的赋值运算符都不能使用右值，那么现有的代码可能会停止工作。

诚然，设计一个我们希望隐式声明的赋值运算符与右值一起使用的示例有点困难，但 C++ 标准委员会可能不想在保持向后兼容性方面冒险。像这样的代码：

int foo_counter = 0;

struct Foo
{
    Foo()
    {
        ++foo_counter;
    }

    ~Foo()
    {
        --foo_counter;
    }
};

int main()
{
    Foo() = Foo();
}

...不再起作用了。归根结底，标准委员会希望确保以前有效的 C++（无论多么愚蠢或做作）继续在 C++11 中工作。

Answer 2

您的问题似乎更多的是“为什么分配给右值会有用？”而不是“为什么标准的 ref 限定自动生成的构造函数？ em>"

允许分配给右值的原因是因为在某些情况下它很有用。

一个示例用法是std::tie (link)：

#include <set>
#include <tuple>

int main()
{
    std::set<int> s;

    std::set<int>::iterator iter;
    bool inserted;

    // unpacks the return value of insert into iter and inserted
    std::tie(iter, inserted) = s.insert(7);
}

从 cppreference.com 借用然后修改的示例