shared_ptr peut-il fonctionner sans destructeurs virtuels de classe polymorphe ?

Implémentation de Shared_Ptr sans destructeur virtuel de classe polymorphe

Dans le débat entre Armen Tsirunyan et Daniel Lidström sur la nécessité de destructeurs virtuels pour l'implémentation de shared_ptr, il est en effet possible de concevoir un shared_ptr qui ne nécessite pas un tel destructeurs.

Implémentation technique

La clé de cette implémentation réside dans l'effacement de type. Shared_ptr gère non seulement les compteurs de références mais également un objet deleter stocké dans le même bloc mémoire. Le type de ce deleter est distinct de celui de shared_ptr, ce qui permet une flexibilité dans la gestion des objets avec différents types dynamiques.

Un constructeur basé sur un modèle est introduit :

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

Lors de la construction d'un shared_ptr avec un pointeur d'une classe dérivée (par exemple, shared_ptr sp (new Derived)), le constructeur basé sur un modèle avec Y=Derived est invoqué. Ce constructeur crée l'objet deleter avec une connaissance spécifique de la classe Derived. Lorsqu'il atteint zéro nombre de références, ce suppresseur est utilisé pour supprimer en toute sécurité l'instance Derived, même sans destructeur virtuel dans la classe Base.

Exigences standard C 11

La norme C 11 définit explicitement les exigences pour ce constructeur :

• Le pointeur p doit être convertible en T* et Y doit être un type complet.
• L'expression "delete p" doit être bien formée, avoir un comportement bien défini et ne pas lever d'exceptions.

Pour le destructeur :

• Si shared_ptr est vide ou partage la propriété, il n'y a aucun effet secondaire.
• Si shared_ptr possède un objet avec un deleter d, d(p) est appelé.
• Sinon, si shared_ptr possède un pointeur p, "delete p" est invoqué.

Ainsi, l'implémentation shared_ptr utilise l'effacement de type et gère soigneusement les suppresseurs pour éliminer efficacement les objets de types dynamiques différents, même sans nécessiter de destructeurs virtuels dans les classes polymorphes.

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!