std::inout_ptr_t<Smart,Pointer,Args...>::~inout_ptr_t
From cppreference.com
< cpp | memory | inout ptr t
| ~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
- /*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 | デストラクタは生のポインタをヌル値に更新しませんでした | 更新します |