C++ Girl
  1. C++ Girl
  3. std :: shared_ptr Exception Safety
Intereting Posts
Comment faire pour empêcher plusieurs définitions de fonctions du fichier .h Algorithme Grassfire en C ++ variable statique pour chaque classe dérivée Existe-t-il des concepts prédéfinis dans Concepts TS? Comment allouer un tampon mémoire exécutable? Comptage de 1 dans les représentations du complément à deux des nombres entiers dans l’intervalle Impossible de trouver l’en-tête lorsque je lie .lib dans Visual Studio 2012 Inside random () function – Comment est-il implémenté? Pas de symboles de débogage dans gdb même lors de la compilation avec l’option -g référence non définie à `boost :: program_options :: options_description :: m_default_line_length ‘ MFC et STL Comment obtenir la valeur et le type de l’exception actuelle en C ++ à l’aide de gdb? Pourquoi dois-je appeler move sur une référence rvalue? Boost.Spirit.Qi se bloque lors de l’assignation d’une règle à une séquence incluant elle-même Instanciation de modèles C ++: éviter les commutateurs longs

std :: shared_ptr Exception Safety

Je viens de me rendre compte en lisant cette page que le constructeur de std :: shared_ptr avec un seul argument de pointeur n’est pas noexcept.

Par conséquent, le code suivant contient une fuite de mémoire possible: 

std::shared_ptr p3 (new int);

La raison en est que deux affectations pourraient se produire:

  • Le premier avant l’appel au constructeur
  • Le second dans le constructeur de shared_ptr (c’est ce qui se passe dans VS 2012 par exemple)

Deux questions ici:

Est-il vrai que si la deuxième allocation lève une exception, la mémoire de la première fuit?

Si la réponse est oui:

quel est le langage correct à utiliser std :: shared_ptr?

  • en utilisant make_shared
  • donnant la propriété de la première allocation à un std :: unique_ptr puis transférant la propriété
  • D’autres pensées ? 

 template explicit shared_ptr(Y* p);

[util.smartptr.shared.const] / 6 bad_alloc : bad_alloc ou une exception définie par l’implémentation lorsqu’une ressource autre que la mémoire n’a pas pu être obtenue.
[util.smartptr.shared.const] / 7 Sécurité des exceptions : Si une exception est levée, delete p est appelé.

Donc non, pas de fuite de mémoire.

Réponse tardive, mais il est préférable d’utiliser make_shared() pour la sécurité des exceptions, comme indiqué dans GotW # 102 : Le code suivant n’est pas protégé contre les exceptions: 

  f( std::shared_ptr{ new T1 }, std::shared_ptr{ new T2 } );

Considérant que ce qui suit est: 

 f( std::make_shared(), std::make_shared() );