Operador de asignación: autoasignación

Question

¿El generador de asignaciones generó una guardia contra la autoasignación?

class T { 

    int x; 
public: 
    T(int X = 0): x(X) {} 
}; 

int main() 
{ 
    T a(1); 
    a = a; 
} 

¿Siempre tengo que protegerme contra la autoasignación incluso cuando los miembros de la clase no son de tipo puntero?

Answer 1

¿El generador de asignaciones genera la protección del operador contra la auto asignación?

No, no es así. Simplemente realiza una copia de miembro a miembro, donde cada miembro es copiado por su propio operador de asignación (que también puede ser declarado por el programador o generado por el compilador).

¿Siempre tengo que protegerme contra la autoasignación incluso cuando los miembros de la clase no son de tipo puntero?

No, no lo hace si todos los atributos de su clase (y por lo tanto de ellos) son POD-types.

Al escribir sus propios operadores de asignación, es posible que desee verificar la autoasignación si desea preparar su clase para el futuro, incluso si no contienen punteros, y otros. También considere the copy-and-swap idiom.

Answer 2

Esto es fácil de comprobar empíricamente:

#include <iostream> 
struct A { 
    void operator=(const A& rhs) { 
    if(this==&rhs) std::cout << "Self-assigned\n"; 
    } 
}; 

struct B { 
    A a; 
}; 

int main() 
{ 
    B b; 
    b = b; 
} 

Answer 3

class T { 
    int x; 
public: 
    T(int X = 0): x(X) {} 
// prevent copying 
private: 
    T& operator=(const T&); 
};