struct A
{
A();
A(const A&);
A& operator =(const A&);
A(A&&) = delete;
A& operator =(A&&) = delete;
};
struct B
{
B();
B(const B&);
B& operator =(const B&);
};
int main()
{
A a;
a = A(); // error C2280
B b;
b = B(); // OK
}
我的编译器是VC 2013 RC。
错误C2280:'A & A::运算符=(A &&)':试图引用已删除的函数
我只是想知道为什么当A& operator =(A&&)
被删除时编译器不尝试A& operator =(const A&);
?
这种行为是由C标准定义的吗?
2条答案
按热度按时间carvr3hs1#
右边的表达式是临时的,这意味着它将查找
operator=(A&&)
并看到它被删除。因此出现错误。没有进一步的搜索。=delete
不意味着“不要用我,而是用 * 下一个 * 最好的”,而是意味着“不要在你需要我的时候 * 用我--而是独自在野外”。下面是另一个例子,如果我希望类
X
的示例只使用long
创建,而 * 不使用其他类型 *(即使它转换为long!),那么我可以将class X
声明为:这意味着,重载解析是在编译器看到
=delete
部分之前 * 执行的-因此会导致错误,因为发现 selected 重载已删除。ui7jx7zq2#
当你
=delete
一个函数时,你实际上是在删除它的 * 定义 *。8.4.3删除定义[dcl.fct.def.删除]
1以下形式的函数定义:
称为 * 删除的定义 *。具有删除的定义的函数也称为 * 删除的函数 *。
但是这样做的话,你也是在声明这个函数。引用标准[1]:
4被删除的函数是隐式内联的。[注意:单定义规则(3.2)适用于被删除的定义。-end note ]函数的被删除定义应该是函数的第一个声明[...]
因此,通过执行
a = A()
,编译器实际上解析为A::operator=(A&&)
,因为它已经被声明了(不是A::operator(const A&)
,因为A&&
对r值“更有约束力”)。2隐式或显式引用已删除函数的程序,而不是声明它,是格式不良的。
[1]这里强调的句子的语气实际上是命令式的。标准要求声明函数
=delete
d必须首先出现在它的其他声明之前。但它仍然支持删除函数也声明该函数的事实。