Quels sont les états valides des objets déplacés en C 11 et comment les définir ?

Comprendre les états valides pour les objets déplacés en C 11

La sémantique de déplacement en C 11 introduit un concept crucial : l'état des objets après étant déplacé. Cependant, les conditions exactes qu'un objet déplacé doit remplir peuvent prêter à confusion.

Le problème avec les objets pimpl

Considérez l'idiome pimpl, où une classe encapsule un pointeur vers un objet d’implémentation. Si nous passons d'un objet Foo (contenant un std::unique_ptr), que pouvons-nous en faire par la suite ?

• Le détruire ou lui attribuer est sûr.
• L'appel de fonctions membres (via le pointeur d'implémentation) est problématique, car il peut faire référence à un élément supprimé. objet.

États déplacés de la bibliothèque standard

La norme C définit que les objets déplacés des types de bibliothèques standard sont placés dans un « non spécifié mais valide État." Cela signifie que vous pouvez effectuer sur eux des opérations qui ont des conditions préalables valides.

Cependant, pour les types non standard, vous devez définir et documenter l'état valide et les opérations autorisées après avoir été déplacés.

Définition de l'état valide pour pimpl

Dans l'exemple Foo, nous pourrions spécifier que s'en éloigner rend la fonction do_stuff invalide. Cela nous empêcherait de l'invoquer accidentellement sur un objet déplacé.

Éviter les allocations dynamiques

Pour éviter la surcharge des allocations dynamiques lors de la vérification de l'état valide, considérez en utilisant le modèle "objet nul". Cela implique d'avoir un FooImpl par défaut qui est utilisé lorsque l'objet est dans un état invalide.

Concepts et objets déplacés

Enfin, notez que les objets déplacés doit toujours répondre aux exigences des concepts de bibliothèque standard. Si votre type ne reste pas dans un état valide, son utilisation avec les fonctions de bibliothèque standard peut entraîner un comportement indéfini.

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!