Maison  >  Article  >  développement back-end  >  Comment `std::shared_ptr` maintient-il la fonctionnalité du destructeur malgré l'effacement de type ?

Comment `std::shared_ptr` maintient-il la fonctionnalité du destructeur malgré l'effacement de type ?

Barbara Streisand
Barbara Streisandoriginal
2024-10-31 02:57:02539parcourir

How Does `std::shared_ptr` Maintain Destructor Functionality Despite Type Erasure?

Effacement de type et fonctionnalité de std::shared_ptr

Lorsque vous travaillez avec la classe std::shared_ptr, cela est couramment observé que std::shared_ptr se comporte d'une manière surprenante mais fonctionnelle. Ce phénomène découle du concept sous-jacent d'effacement de type employé par std::shared_ptr.

Effacement de type et invocation de destructeur

std::shared_ptr utilise l'effacement de type en stockant en interne une fonction de suppression qui est invoquée lorsque le pointeur est détruit. Cette fonction est responsable de la désallocation de la mémoire pointée par le pointeur partagé. Il est important de noter que la fonction de suppression est spécifique à un type, ce qui signifie qu'elle sait comment détruire les objets d'un type spécifique.

std::shared_ptr et Type Erasure

Lancement d'un std::shared_ptr à std::shared_ptr ne supprime pas la fonction de suppression spécifique au type. Le suppresseur reste associé au pointeur partagé et sera toujours invoqué lors de la destruction, même si les informations de type explicites ont été effacées. En effet, la fonction de suppression est stockée séparément de l'objet pointé et n'est pas affectée par la conversion de type.

Conséquence de l'invocation du destructeur

Quand un std : :shared_ptr est détruit, la fonction de suppression stockée est invoquée. Si le suppresseur était précédemment associé à un std::shared_ptr, il tentera toujours de détruire l'objet pointé en utilisant le destructeur de type T. C'est pourquoi le code qui remplit un std::vector> avec std::shared_ptr les objets invoqueront toujours le destructeur pour le test.

Comportement garanti par la norme

Bien que le comportement actuel de std::shared_ptr à cet égard ne soit pas explicitement indiqué par le C, il est largement considéré comme un effet secondaire de l’implémentation de l’effacement de type utilisée par les compilateurs les plus courants. Cependant, les modifications futures apportées à l'implémentation interne de std::shared_ptr pourraient potentiellement casser le code qui repose sur ce comportement. Par conséquent, il n'est pas recommandé de s'appuyer sur la fonctionnalité de std::shared_ptr car il n'est pas garanti par la norme.

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!

Déclaration:
Le contenu de cet article est volontairement contribué par les internautes et les droits d'auteur appartiennent à l'auteur original. Ce site n'assume aucune responsabilité légale correspondante. Si vous trouvez un contenu suspecté de plagiat ou de contrefaçon, veuillez contacter admin@php.cn