equal - function operator c++

¿Cuál es la semántica exacta de una función eliminada en 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
}

Mi compilador es VC ++ 2013 RC.

error C2280: ''A & A :: operator = (A &&)'': intentando hacer referencia a una función eliminada

Me pregunto por qué el compilador no prueba A& operator =(const A&); cuando A& operator =(A&&) se borra?

¿Está este comportamiento definido por el estándar de C ++?

Answer 1

Cuando =delete una función, en realidad estás eliminando su definición .

8.4.3 Definiciones eliminadas [dcl.fct.def.delete]

¹ Una definición de la función de la forma:

atributo-especificador-seqopt decl-specifier-seqopt declarator = delete;

Se llama una definición eliminada . Una función con una definición eliminada también se denomina función eliminada .

Pero al hacerlo, también estás declarando esa función. Citando de la norma ^[1] :

⁴ Una función eliminada está implícitamente en línea. [Nota: la regla de una definición (3.2) se aplica a las definiciones eliminadas. —Encripción] Una definición eliminada de una función será la primera declaración de la función [...]

Y así, al hacer a = A() , el compilador en realidad se resuelve en A::operator=(A&&) porque se ha declarado (no A::operator(const A&) porque A&& es "más vinculante" a los valores r ). Sin embargo, con su definición siendo eliminada, la línea está mal formada.

² Un programa que hace referencia a una función eliminada de manera implícita o explícita, que no sea para declararla, está mal formado.

^[1] El tono de la oración enfatizada aquí es realmente imperativo. El estándar indica que declarar una función =delete d primero debe aparecer antes que otras declaraciones de la misma. Pero aún así, apoya el hecho de que eliminar una función también declara la función.

Answer 2

a = A(); // error C2280

La expresión de la derecha es temporal, lo que significa que buscará el operator=(A&&) y verá que se elimina. De ahí el error. No hay más búsqueda.

=delete no significa "no me uses, usa la siguiente mejor". Más bien significa: "No me uses cuando me necesites , en lugar de eso, estar solo en la naturaleza".

Aquí hay otro ejemplo. Si quiero que las instancias de mi clase X se creen solo con long y no con otro tipo (¡incluso si se convierten en largas!), Declararía la class X como:

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

Eso significa que la resolución de sobrecarga se realiza antes de que el compilador vea la parte =delete - y, por lo tanto, se genere un error porque la sobrecarga seleccionada se encuentra eliminada.

Espero que ayude.