名前空間
変種
操作

std::inout_ptr_t<Smart,Pointer,Args...>::~inout_ptr_t

From cppreference.com
< cpp‎ | memory‎ | inout ptr t
 
 
メモリ管理ライブラリ
(説明用*)
未初期化メモリのアルゴリズム
(C++17)
(C++17)
(C++17)
制約付き未初期化
メモリアルゴリズム
Cライブラリ

アロケータ
メモリリソース
ガベージコレクションのサポート
(C++11)(C++23まで)
(C++11)(C++23まで)
(C++11)(C++23まで)
(C++11)(C++23まで)
(C++11)(C++23まで)
(C++11)(C++23まで)
未初期化ストレージ
(C++20まで*)
(C++20まで*)
明示的な生存期間管理
 
 
~inout_ptr_t();
(C++23から)

適応されたSmartオブジェクトを、変更されたPointerオブジェクトの値(または`operator void**()`が呼び出された場合は`void*`オブジェクト)とキャプチャされた引数でリセットします。コンストラクタで呼び出されていない場合、適応されたSmartオブジェクトで`release()`を呼び出すことができます。

以下とする:

  • s は適応されたSmartオブジェクトを表します。
  • args... はキャプチャされた引数を表します。
  • p は格納されているPointerの値、または`operator void**()`が呼び出された場合は`static_cast(*operator void**())`の値を示します。
  • SP
    • Smart::pointer が有効で型を示す場合、それ以外の場合、
    • Smart::element_type が有効で型を示す場合、Smart::element_type*、それ以外の場合、
    • std::pointer_traits<Smart>::element_type*、ただし`std::pointer_traits<Smart>::element_type`が有効で型を示す場合、そうでなければ
    • ポインタ,
  • /*do-release*/ は、コンストラクタが`release()`を呼び出さない場合は`s.release()`を、それ以外の場合は空を示します。

Smartがポインタ型の場合、デストラクタは

s = static_cast<Smart>(p); を実行し、`sizeof...(Args) > 0`の場合はプログラムは不適切です。

それ以外の場合、`s.reset(static_cast(p), std::forward<Args>(args)...)`が適切であれば、デストラクタは

/*do-release*/; if (p) { s.reset(static_cast<SP>(p), std::forward<Args>(args)...); } を実行します。;

それ以外の場合、`std::is_constructible_v<Smart, SP, Args...>`が`true`であれば、デストラクタは

/*do-release*/; if (p) { s = Smart(static_cast<SP>(p), std::forward<Args>(args)...); } を実行します。;

それ以外の場合、プログラムは不適切です。

[編集] 注釈

実装では、コンストラクタでSmartに必要なデータ構造(制御ブロックなど)のストレージを割り当て、非例外的な作業をデストラクタに残す場合があります。

値によってキャプチャされた引数は、リセット後に破棄されます。

[編集] 不具合報告

以下の動作変更を伴う欠陥報告が、以前に公開されたC++標準に遡って適用されました。

DR 適用対象 公開された動作 正しい動作
LWG 3897 C++23 デストラクタは生のポインタをヌル値に更新しませんでした 更新します
English 日本語 中文(简体) 中文(繁體)