Comprendre l'opérateur de cession de déménagement en C

L'opérateur d'attribution de déplacement en C est une fonction de membre spécial qui transfère efficacement les ressources d'un objet temporaire à un membre existant. Il est défini comme MyClass & Operator = (MyClass && autre) NOEXcept;, en prenant une référence de réalité non-conforte pour permettre la modification de l'objet source. Vous devez le définir lors de la gestion des ressources manuellement, lorsque le comportement par défaut est insuffisant ou lorsqu'il a besoin d'une sécurité d'exception. Contrairement à l'opérateur d'attribution de copie, qui copie les données, l'opérateur de déménagement "vole" les ressources, laissant la source dans un état valide mais non spécifié. Les meilleures pratiques incluent la vérification de l'auto-assignment, la libération des ressources existantes, la source destructible, le marquage de la fonction n'except et le suivi de la règle de cinq. L'oubli de annuler les pointeurs ou le nettoyage des ressources de mauvaise gestion peut entraîner des erreurs comme la double suppression. Lorsque les membres soutiennent la sémantique Move, la déléguation à leur affectation de déménagement simplifie l'implémentation.

En C, l'opérateur d'attribution de déménagement est une fonction de membre spécial qui gère le transfert de ressources lorsqu'un objet est attribué à partir d'un RValue (comme un objet temporaire ou explicitement déplacé). Il est essentiel de rédiger un code efficace, en particulier lorsqu'il s'agit d'une mémoire dynamique ou d'autres ressources coûteuses.

Qu'est-ce que l'opérateur d'affectation de déménagement?

L'opérateur d'attribution de déplacement remplace le contenu d'un objet existant en «volant» des ressources à un objet temporaire. Cela évite des copies profondes coûteuses et permet des optimisations comme les tampons de mémoire en mouvement au lieu de les copier.

Sa signature typique ressemble à ceci:

 MyClass & operator = (myClass && autre) noExcept;

Contrairement à l'opérateur d'attribution de copie, qui prend une référence const lvalue, l'opérateur d'attribution de déménagement prend une référence de référence non-conforte - indiquant qu'il peut modifier et «piller» l'objet source.

Ceci est important car dans de nombreux cas, comme avec std::vector , les réallocations se produisent en déplacant des éléments plutôt que de les copier, ce qui améliore considérablement les performances.

Quand devriez-vous définir votre propre opérateur d'affectation de déménagement?

Vous devez définir votre propre opérateur d'affectation de déménagement si:

• Votre classe gère les ressources manuellement (par exemple, pointeurs bruts, poignées de fichiers).
• Le comportement par défaut ne fait pas ce dont vous avez besoin.
• Vous souhaitez assurer la sécurité des exceptions ou une logique de nettoyage spécifique pendant les mouvements.

Par défaut, C générera un opérateur d'attribution de déménagement pour vous si aucune opération de copie définie par l'utilisateur, les opérations de déplacement ou les destructeurs n'est présente.

Par exemple:

 classe MyString {
    data car *;
    size_t longueur;

publique:
    // Définir correctement l'attribution de déménagement pour gérer les «données»
    MyString & Operator = (MyString && autre) noexcept {
        si (this! = & autre) {
            supprimer [] données; // ressource actuelle gratuite
            data = autre.data;
            length = autre.Length;
            autre.data = nullptr; // laisse la source à l'état valide
            autres.length = 0;
        }
        Retour * ceci;
    }
};

Si vous n'écrivez pas un et que votre classe contient des membres qui ont une sémantique déplacée, la version générée par le compilateur essaiera de déplacer chaque membre - ce qui pourrait être exactement ce que vous voulez.

En quoi diffère-t-il de l'opérateur de cession de copie?

La principale différence réside dans ce sur quoi ils opèrent et comment ils traitent l'objet source:

• Copier Affectation ( operator=(const MyClass&) ) fait une copie profonde de la source.
• Déplacer l'affectation vole les ressources de la source, la laissant dans un état valide mais non spécifié.

Par exemple, lorsque vous utilisez std::unique_ptr , vous ne pouvez pas le copier (car il n'est pas copieux), mais vous pouvez le déplacer - transférer la propriété du pointeur géré.

Un autre exemple pratique: des conteneurs comme std::vector utilisent l'attribution de déplacement pour redimensionner efficacement lorsque les éléments sont déplacés au lieu de copier.

En outre, Move Assignment définit généralement les pointeurs internes de l'objet source sur nullptr ou réinitialise les valeurs, donc la destruction est sûre et rapide.

Meilleures pratiques lors de la mise en œuvre de la mission de déplacement

Voici quelques points clés à garder à l'esprit:

• Vérifiez toujours l'auto-assignment ( if (this != &other) ).
• Libérez toutes les ressources existantes avant d'en prendre en charge de nouvelles.
• Laissez l'objet source dans un état destructible - idéalement, en définissant ses pointeurs internes sur nullptr .
• Marquez la fonction noexcept Sauf s'il y a une raison de ne pas le faire.
• Si vous définissez un constructeur de déménagement ou un opérateur d'attribution de déménagement, envisagez de définir les cinq fonctions des membres spéciaux (y compris les opérations de destructeur, de copie) pour suivre la règle de cinq.

Une erreur courante est d'oublier d'annuler les pointeurs après le déménagement, ce qui peut entraîner une double délétion ou des pointeurs suspendus.

Un autre point à mentionner: si votre classe a des membres qui soutiennent eux-mêmes la sémantique Move, vous pouvez leur déléguer l'opération de déménagement:

 MyClass & operator = (myClass && autre) noexcept {
    si (this! = & autre) {
        ressource = std :: move (autre.resource); // délégués à l'affectation de déménagement du membre
    }
    Retour * ceci;
}

Cela maintient votre implémentation propre et permet à la bibliothèque standard de gérer les détails.

C'est essentiellement ainsi que fonctionne la mission de déplacement dans la pratique. Ce n'est pas difficile une fois que vous comprenez ce qu'il est censé réaliser, mais facile à gâcher si vous oubliez de gérer correctement les ressources.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!