Liste de contrôle pour l'écriture constructeur de copie et opérateur d'affectation en C++

Question

S'il vous plaît écrire une liste de tâches qu'un constructeur de copie et opérateur d'affectation doivent faire en C++ pour maintenir la sécurité d'exception, d'éviter les fuites de mémoire, etc.

Answer 1

D'abord être sûr que vous avez vraiment besoin de soutenir la copie. La plupart du temps ce n'est pas le cas, et donc désactiver les deux est la voie à suivre.

Parfois, vous devrez toujours fournir une duplication sur une classe à partir d'une hiérarchie polymorphe, dans ce cas: désactiver l'opérateur d'affectation, écrire un constructeur de copie (protégé?) Et fournir une fonction clone virtuelle. Sinon, dans le cas où vous écrivez une classe de valeur, vous êtes de retour au pays de la Forme canonique orthogonale de Coplien. Si vous avez un membre qui ne peut pas être copié de manière triviale, vous devez fournir un constructeur de copie, un destructeur, un opérateur d'affectation et un constructeur par défaut. Cette règle peut être raffinée, voir par exemple: The Law of The Big Two

Je vous recommande également d'avoir un regard sur C++ FAQ regarding assignment operators et au copy-and-swap idiom et à GOTW.

Answer 2

Je ne sais pas à propos de exception en toute sécurité ici mais je vais de cette façon. Imaginons qu'il s'agisse d'un wrapper de tableau structuré. J'espère que ça aide :)

Array(const Array& rhs) 
    { 
     mData = NULL; 
     mSize = rhs.size(); 
     *this = rhs; 
    } 

    Array& operator=(const Array& rhs) 
    { 
     if(this == &rhs) 
     { 
      return *this; 
     } 

     int len = rhs.size(); 

     delete[] mData; 

     mData = new T[len]; 

     for(int i = 0; i < len; ++i) 
     { 
      mData[i] = rhs[i]; 
     } 

     mSize = len; 

     return *this; 
    } 

Answer 3

Les versions générées par le compilateur fonctionnent dans la plupart des cas.

Vous devez réfléchir un peu plus au problème lorsque votre objet contient un pointeur RAW (un argument pour ne pas avoir de pointeurs RAW). Donc, vous avez un pointeur RAW, la deuxième question est que vous possédez le pointeur (est-il supprimé par vous)? Si oui, vous devrez appliquer la règle de 4.

Posséder plus d'un pointeur RAW devient de plus en plus difficile à faire correctement (L'augmentation de la complexité n'est pas linéaire non plus [mais c'est observationnel et je n'ai pas de statistiques réelles à retour cette déclaration jusqu'à]). Donc, si vous avez plus d'un pointeur RAW pensez à envelopper chacun dans sa propre classe (une certaine forme de pointeur intelligent).

Règle 4: Si un objet est le propriétaire d'un pointeur RAW, vous devez définir les 4 membres suivants pour vous assurer que vous gérez la gestion de la mémoire correctement:

• Constructeur
• Constructor Copie
• Affectation opérateur
• Destructeur

Comment vous définissez ceux-ci dépendra de la situat ions. Mais les choses à surveiller:

• Construction Par défaut: Set pointeur NULL
• Constructor Copy: Utilisez la copie et Swap Ideum pour fournir à la "garantie d'exception forte"
• opérateur d'affectation: Vérifiez l'affectation
• Destructeur: protège contre les exceptions se propageant hors du destructeur.

Answer 4

Essayez de lire ceci.

http://www.icu-project.org/docs/papers/cpp_report/the_anatomy_of_the_assignment_operator.html

est une très bonne analyse de l'opérateur d'affectation