Génération automatique d'opérations de déplacement

En C 11, l'introduction de la sémantique de déplacement a soulevé des questions sur les circonstances dans lesquelles les constructeurs de déplacement et l'affectation de déplacement les opérateurs sont automatiquement générés.

Sous C 11, les opérations de déplacement ne sont pas automatiquement générées comme les constructeurs de copie et les opérateurs d'affectation de copie. Le compilateur ne génère une sémantique de déplacement que si certaines conditions sont remplies :

• Aucun constructeur de copie ou opérateur d'affectation de copie défini par l'utilisateur n'existe. Si l'un de ces membres est explicitement défini, aucun déplacement les opérations sont générées.
• Aucun destructeur défini par l'utilisateur n'est défini. La définition d'un destructeur désactive la génération de déplacement sémantique.
• La classe n'a aucun membre non copiable. Les opérations de déplacement ne sont pas générées si la classe contient des membres qui ne peuvent pas être déplacés, tels que des pointeurs vers la mémoire allouée dynamiquement.

Comprendre ces règles aide à guider la mise en œuvre de classes qui utilisent la sémantique de déplacement. Le tableau de la présentation de Howard Hinnant donne un aperçu concis de la génération automatique de membres spéciaux, y compris les opérations de déplacement :

En reconnaissant ces règles, les développeurs peuvent s'assurer que leurs classes utilisent correctement déplacer la sémantique et atteindre une efficacité optimale.