5. デストラクタ

最終更新日時(UTC):
が更新

履歴 編集

function
<memory>

std::out_ptr_t::デストラクタ(C++23)

~out_ptr_t();           // (1) C++23
constexpr ~out_ptr_t(); // (1) C++26

概要

指定したSmart型スマートポインタに、レガシーC関数呼び出しにより取得されたポインタ値を格納する。

スマートポインタへのポインタ値格納には、Smart::reset()メンバ関数、もしくはSmartオブジェクト構築＋ムーブ代入operator=が利用される。

  • オブジェクト単位でカスタムデリータを管理するstd::shared_ptr<T>の場合、out_ptr_tコンストラクタにてデリータオブジェクトを渡しておくことで、reset()呼び出しの取得ポインタ値に続く引数として渡される。 この動作はout_ptr_tクラステンプレートの適格要件にて強制される。
  • 型レベルでカスタムデリータを管理するstd::unique_ptr<T,D>の場合、reset()呼び出しには取得ポインタ値のみが渡される。
  • これ以外のスマートポインタ型では、同スマートポインタの動作セマンティクスに従う。

効果

説明用のSP型を下記の通り定義する :

  • Smart::pointerが有効な型名であればSmart::pointer
  • そうでなければ、Smart::element_type*が有効な型名であればSmart::element_type*
  • そうでなければ、pointer_traits<Smart>::element_type*
  • そうでなければ、Pointer

説明用メンバ変数s, a, pを用いて、以下と同じ効果を持つ :

  • 式 s.reset(static_cast<SP>(p), std::forward<Args>(args)...) が適格ならば、

    if (p) {
  apply([&](auto&&... args) {
    s.reset(static_cast<SP>(p), std::forward<Args>(args)...); }, std::move(a));
}

  • is_constructible_v<Smart, SP, Args...>がtrueならば、

    if (p) {
  apply([&](auto&&... args) {
    s = Smart(static_cast<SP>(p), std::forward<Args>(args)...); }, std::move(a));
}

  • そうでなければ、プログラムは不適格となる。

バージョン

言語

  • C++23

処理系

関連項目

参照