C ++ 11中删除的成员函数的确切语义是什么？

Question

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::operator =(A &&)' : 试图引用 删除功能

我只是想知道为什么当A& operator =(A&&)被删除时编译器不尝试A& operator =(const A&);？

这种行为是否由 C++ 标准定义？

Answer 1

a = A(); // error C2280

右侧的表达式是临时的，这意味着它将查找operator=(A&&) 并看到它已被删除。因此错误。没有进一步的搜索。

=delete not 的意思是“不要使用我，而是使用 下一个 最好的”。它的意思是，“当你需要我时，不要使用我——而是在野外独自一人。”

这是另一个例子。如果我希望我的类X 的实例仅使用long 和没有其他类型（即使它转换为long！），那么我将class X 声明为：

struct X
{
     X(long arg); //ONLY long - NO int, short, char, double, etc!

     template<typename T>
     X(T) = delete;
};

X a(1);  //error - 1 is int 
X b(1L); //ok    - 1L is long

这意味着，重载决议是在编译器看到=delete 部分之前执行 - 因此会导致错误，因为selected 重载被发现已删除。

希望对您有所帮助。

Answer 2

当你=delete一个函数时，你实际上是在删除它的定义。

8.4.3 删除定义[dcl.fct.def.delete]

¹ 形式的函数定义：

attribute-specifier-seqopt decl-specifier-seqopt declarator = delete ;

被称为已删除的定义。具有已删除定义的函数也称为已删除函数。

但是这样做，您也声明了该功能。引用标准 ^[1]:

⁴ 已删除的函数是隐式内联的。 [ 注意：单一定义规则 (3.2) 适用于已删除的定义。 —尾注] 函数的删除定义应是函数的第一个声明 [...]

因此通过执行a = A()，编译器实际上解析为A::operator=(A&&)，因为它已被声明（不是A::operator(const A&)，因为A&& 对r 值“更具约束力”）。然而，随着其定义被删除，该行的格式不正确。

² 隐式或显式引用已删除函数（而不是声明它）的程序是非良构的。

---

^[1] 这里强调的句子的语气实际上是祈使句。该标准规定声明函数=deleted 必须首先出现在它的其他声明之前。但是，它仍然支持删除函数也声明函数的事实。