« shared_ptr » peut-il gérer les objets « dérivés » sans destructeur virtuel dans « Base » ?

Shared_Ptr et polymorphisme sans destructeurs virtuels

Dans un récent débat, Daniel Lidström a affirmé qu'un shared_ptr construit avec new Derived n'impose pas de destructeur virtuel dans Base. Cet article étudie la faisabilité d'une telle implémentation.

Implémentation de Shared_Ptr sans destructeurs virtuels

La clé de cette implémentation réside dans l'effacement de type. Shared_ptr stocke bien plus que de simples compteurs de référence ; il comprend un suppresseur (stocké dans le cadre de la structure de données) qui gère la destruction des objets. Ce suppresseur peut être de n'importe quel type, permettant une personnalisation au-delà de la portée de T (le type de modèle de shared_ptr).

Personnalisation des classes dérivées

Lors de la création d'un shared_ptr< ;Base> à partir d'un objet Derived, un constructeur basé sur un modèle est invoqué, permettant la spécification du type concret Derived. Le constructeur crée le suppresseur nécessaire avec la connaissance du type dynamique, garantissant une destruction correcte des objets même sans destructeur virtuel dans Base.

Exemple d'implémentation

template<class T>
class shared_ptr
{
public:
   ...
   template<class Y>
   explicit shared_ptr(Y* p);
   ...
};

Ce qui précède Le constructeur permet la création d'un constructeur shared_ptr à partir d'un objet dérivé.

Exigences de la norme C 11

La norme C 11 exige explicitement ce comportement :

• Le constructeur modélisé doit garantir que l'expression delete p a un comportement bien défini, même sans destructeur virtuel dans T.
• Si le shared_ptr possède un objet sans suppresseur, il doit appeler delete p.

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!