pointeur partagé double suppression

Question

J'ai un objet qui est apparemment supprimé en double malgré le fait qu'il soit suivi par des pointeurs intelligents. Je suis nouveau à l'aide de pointeurs intelligents, donc j'ai fait une fonction simple pour tester si j'utilise l'objet correctement. Cet ensemble de lignes dans la fonction principale provoque une erreur d'exécution lorsque les pointeurs sortent du champ d'application, pourquoi? Les pointeurs intelligents ne sont-ils pas supposés être capables de gérer la suppression d'un par eux-mêmes?

Answer 1

Utilisation correcte est:

std::shared_ptr<int> b = std::make_shared<int>(2); 
std::shared_ptr<int> c = b; 

Answer 2

A shared_ptr à propre attend l'objet pointé à.

Ce que vous avez fait est de créer deux pointeurs intelligents distincts, dont chacun pense avoir la propriété exclusive du sous-jacent int. Ils ne connaissent pas l'existence de l'autre, ils ne se parlent pas. Par conséquent, quand ils sortent de la portée, les deux pointeurs suppriment la ressource sous-jacente, avec le résultat évident. Lorsque vous créez un shared_ptr, il crée une sorte d '"objet de gestion" responsable de la durée de vie de la ressource. Lorsque vous copiez un shared_ptr, les deux copies référencent le même objet de gestion. L'objet de gestion conserve la trace du nombre d'instances shared_ptr pointant sur cette ressource. Un int* en lui-même n'a pas un tel "objet de gestion", donc le copier ne garde pas de trace des références.

est ici une réécriture minimale de votre code:

// incidentally, "make_shared" is the best way to do this, but I'll leave your 
// original code intact for now. 
int *a = new int(2); 

std::shared_ptr<int> b(a); 
std::shared_ptr<int> c = b; 

Maintenant, ils ont tous deux référence au même objet de gestion sous-jacente. Comme chaque shared_ptr est détruit, le nombre de références sur le int* est réduit et lorsque la dernière référence est supprimée, l'objet est supprimé.

Answer 3

Vous êtes seulement autorisé à créer un pointeur intelligent une fois à partir d'un pointeur brut. Tous les autres pointeurs partagés doivent être des copies du premier afin qu'ils fonctionnent correctement. Mieux encore: l'utilisation faire partager:

std::shared_ptr<int> sp1 = std::make_shared<int>(2); 
std::shared_ptr<int> sp2 = sp1; 

EDIT: oublié d'ajouter le deuxième pointeur