Conditions pour la génération automatique du cteur par défaut / copie / déplacement et opérateur d'affectation copie / déplacement?

Je veux rafraîchir ma mémoire sur les conditions dans lesquelles un compilateur génère généralement automatiquement un constructeur par défaut, un constructeur de copie et un opérateur d'affectation.

Je me souviens qu'il y avait des règles, mais je ne me souviens pas et je ne peux pas non plus trouver une ressource réputée en ligne. Quelqu'un peut-il aider?

Dans ce qui suit, «auto-généré» signifie «implicitement déclaré comme étant par défaut, mais non défini comme supprimé». Il existe des situations dans lesquelles les fonctions membres spéciales sont déclarées, mais définies comme supprimées.

• Le constructeur par défaut est généré automatiquement s'il n'y a pas de constructeur déclaré par l'utilisateur (§12.1 / 5).
• Le constructeur de copie est généré automatiquement s'il n'y a pas de constructeur de déplacement déclaré par l'utilisateur ou d'opérateur d'affectation de déplacement (car il n'y a pas de constructeur de déplacement ou d'opérateur d'affectation de déplacement en C ++ 03, cela se simplifie en "toujours" en C ++ 03) ( §12.8 / 8).
• L'opérateur d'affectation de copie est généré automatiquement s'il n'y a pas de constructeur de déplacement ou d'opérateur d'affectation de déplacement déclaré par l'utilisateur (§12.8 / 19).
• Le destructeur est généré automatiquement s'il n'y a pas de destructeur déclaré par l'utilisateur (§12.4 / 4).

C ++ 11 et versions ultérieures uniquement:

• Le constructeur de déplacement est généré automatiquement s'il n'y a pas de constructeur de copie, d'opérateur d'affectation de copie ou de destructeur déclaré par l'utilisateur, et si le constructeur de déplacement généré est valide (§12.8 / 10).
• L'opérateur d'assignation de déplacement est généré automatiquement s'il n'y a pas de constructeur de copie, d'opérateur d'affectation de copie ou de destructeur déclaré par l'utilisateur, et si l'opérateur d'assignation de déplacement généré est valide (par exemple s'il n'a pas besoin d'attribuer des membres constants) (§12.8 / 21).

J'ai trouvé le diagramme ci-dessous très utile.

de Sticky Bits - Devenir une règle de zéro héros

Projet de norme C ++ 17 N4659

Pour une référence rapide aux standards croisés, jetez un œil aux sections «Implicitement déclarées» des entrées cppreference suivantes:

• https://en.cppreference.com/w/cpp/language/copy_constructor
• https://en.cppreference.com/w/cpp/language/move_constructor
• https://en.cppreference.com/w/cpp/language/copy_assignment
• https://en.cppreference.com/w/cpp/language/move_assignment

Les mêmes informations peuvent bien sûr être obtenues auprès de la norme. Par exemple sur le projet standard C ++ 17 N4659 :

15.8.1 "Copier / déplacer les constructeurs" dit pour le constructeur de copie:

6 Si la définition de classe ne déclare pas explicitement un constructeur de copie, un constructeur non explicite est déclaré implicitement. Si la définition de classe déclare un constructeur de déplacement ou un opérateur d'affectation de déplacement, le constructeur de copie déclaré implicitement est défini comme supprimé; sinon, il est défini par défaut (11.4). Ce dernier cas est déconseillé si la classe a un opérateur d'affectation de copie déclaré par l'utilisateur ou un destructeur déclaré par l'utilisateur.

et pour le constructeur de mouvement:

8 Si la définition d'une classe X ne déclare pas explicitement un constructeur de déplacement, un constructeur non explicite sera implicitement déclaré comme étant par défaut si et seulement si

• (8.1) - X n'a ​​pas de constructeur de copie déclaré par l'utilisateur,

• (8.2) - X n'a ​​pas d'opérateur d'affectation de copie déclaré par l'utilisateur,

• (8.3) - X n'a ​​pas d'opérateur d'affectation de déplacement déclaré par l'utilisateur, et

• (8.4) - X n'a ​​pas de destructeur déclaré par l'utilisateur.

15.8.2 "Opérateur d'affectation de copie / déplacement" dit pour l'affectation de copie:

2 Si la définition de classe ne déclare pas explicitement un opérateur d'affectation de copie, celui-ci est déclaré implicitement. Si la définition de classe déclare un constructeur de déplacement ou un opérateur d'affectation de déplacement, l'opérateur d'affectation de copie déclaré implicitement est défini comme supprimé; sinon, il est défini par défaut (11.4). Ce dernier cas est déconseillé si la classe a un constructeur de copie déclaré par l'utilisateur ou un destructeur déclaré par l'utilisateur.

et pour l'attribution de déménagement:

4 Si la définition d'une classe X ne déclare pas explicitement un opérateur d'assignation de déplacement, l'un sera implicitement déclaré comme étant par défaut si et seulement si

• (4.1) - X n'a ​​pas de constructeur de copie déclaré par l'utilisateur,
• (4.2) - X n'a ​​pas de constructeur de déplacement déclaré par l'utilisateur,
• (4.3) - X n'a ​​pas d'opérateur d'affectation de copie déclaré par l'utilisateur, et
• (4.4) - X n'a ​​pas de destructeur déclaré par l'utilisateur.

15.4 "Destructeurs" le dit pour les destructeurs:

4 Si une classe n'a pas de destructeur déclaré par l'utilisateur, un destructeur est implicitement déclaré comme étant par défaut (11.4). Un destructeur déclaré implicitement est un membre public en ligne de sa classe.