以下代码在 gcc 4.8.1 上编译没有问题:
#include <utility>
struct foo
{
};
int main()
{
foo bar;
foo() = bar;
foo() = std::move( bar );
}
似乎为 foo
隐式生成的赋值运算符不是 &
引用限定的,因此可以在右值上调用。根据标准,这是正确的吗?如果是这样,有什么理由不要求隐式生成的赋值运算符是 &
ref-qualified?
为什么标准不要求生成以下内容?
struct foo
{
foo & operator=( foo const & ) &;
foo & operator=( foo && ) &;
};
最佳答案
好吧,有一些合法的用例可以分配给右值。引用自Ref-qualifiers for assignment operators in the Standard Library:
There are only a few very specific types for which it makes sense to support assigning to an rvalue. In particular, types that serve as a proxy, e.g., vector<bool>::reference, and types whose assignment operators are const-qualified (e.g., slice_array).
C++ 标准委员会显然认为默认赋值不应具有隐式 ref 限定符 - 而应该显式声明。事实上,如果突然间所有隐式声明的赋值运算符都不能使用右值,那么现有代码可能会停止工作。
诚然,设计一个我们希望隐式声明的赋值运算符与右值一起使用的示例有点困难,但 C++ 标准委员会在保持向后兼容性方面可能不想冒这种风险。代码如下:
int foo_counter = 0;
struct Foo
{
Foo()
{
++foo_counter;
}
~Foo()
{
--foo_counter;
}
};
int main()
{
Foo() = Foo();
}
...不会再工作了。归根结底,标准委员会希望确保以前有效的 C++(无论多么愚蠢或做作)继续在 C++11 中工作。
关于c++ - 隐式生成的赋值运算符应该是 & ref 限定的吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/16995463/