std::shared_ptr::デストラクタ(C++11)

~shared_ptr();           // (1) C++11
constexpr ~shared_ptr(); // (1) C++26

shared_ptrオブジェクトの破棄

自身のみが所有権を持つ場合に、リソースを解放する。

効果

他のshared_ptrオブジェクトとリソースを共有している場合(use_count() > 1)、効果なし。

自身のみがshared_ptrオブジェクトのリソースを所有している場合、コンストラクタ、代入演算子、reset()メンバ関数で代入されたY*型のポインタpについて、

• デリータを持っていればd(p)でリソースを解放する。
• デリータを持っていなければ、delete pでリソースを解放する。

pがT*型ではなくY*型であることに注意。これにより、shared_ptr<void>に対して任意の型Yのオブジェクトへのポインタを代入したとしても、Y型のデストラクタが正しく実行される。

備考

実際にはshared_ptrは参照カウントで実装されるため、他のshared_ptrオブジェクトと所有権を共有している状態でデストラクタが実行された場合、参照カウントを1減らす、ということを行う。

例

#include <iostream>
#include <memory>

struct X {
  ~X()
  {
    std::cout << "X dtor" << std::endl;
  }
};

struct Y {
  ~Y()
  {
    std::cout << "Y dtor" << std::endl;
  }
};

int main()
{
  std::shared_ptr<void> p(new X());

  std::cout << 0 << std::endl;

  p.reset(new Y()); // Xが破棄される

  std::cout << 1 << std::endl;
} // Yが破棄される

出力

0
X dtor
1
Y dtor

参照

• P3037R6 constexpr std::shared_ptr and friends
• LWG Issue 899. Adjusting shared_ptr for nullptr_t
  • C++11で、削除子を呼び出す条件の記述が「ポインタpを所有している場合」から「オブジェクトpを所有している場合」へ改められた。nullptrと削除子から構築したshared_ptrでも削除子が呼ばれることを明確にするため