std::destroy_at
ja.cppreference.net から
| ヘッダ <memory>
|
||
template< class T >
void destroy_at( T* p );
|
で定義 (C++17 以降) (C++20 まで) |
|
template< class T >
constexpr void destroy_at( T* p );
|
(C++20 以降) | |
もし T が配列型でなければ、p が指すオブジェクトのデストラクタを、あたかも p->~T() を呼び出すかのように呼び出す。
もし T が配列型であれば、プログラムは ill-formed である (C++20 まで)あたかも を呼び出すかのようにして、*p の要素を順に再帰的に破棄する (C++20 以降)std::destroy(std::begin(*p), std::end(*p))。
パラメータ
| p | - | 破棄されるオブジェクトへのポインタ |
実装例
template<class T> constexpr void destroy_at(T* p) { if constexpr (std::is_array_v<T>) for (auto& elem : *p) (destroy_at)(std::addressof(elem)); else p->~T(); } // C++17 バージョン: // template<class T> void destroy_at(T* p) { p->~T(); } |
注記
destroy_at
は破棄するオブジェクトの型を推論し、デストラクタ呼び出しで明示的に記述する必要をなくします。
|
|
(C++20以降) |
例
destroy_atを使用して連続した要素のシーケンスを破棄する方法を示します。
このコードを実行する
#include <iostream>
#include <memory>
#include <new>
struct Tracer
{
int value;
~Tracer() { std::cout << value << " destructed\n"; }
};
int main()
{
alignas(Tracer) unsigned char buffer[sizeof(Tracer) * 4];
for (int i = 0; i < 4; ++i)
new (buffer + sizeof(Tracer) * i) Tracer{i}; // manually construct objects
auto ptr = std::launder(reinterpret_cast<Tracer*>(buffer));
for (int i = 0; i < 4; ++i)
std::destroy_at(ptr + i);
}
出力:
0 destructed
1 destructed
2 destructed
3 destructed
関連項目
|
(C++17)
|
オブジェクトの範囲を破棄する
(関数テンプレート) |
|
(C++17)
|
範囲内の指定された数のオブジェクトを破棄する
(関数テンプレート) |
|
(C++20)
|
指定されたアドレスにオブジェクトを作成する
(関数テンプレート) |
|
(C++20)
|
指定されたアドレスのオブジェクトを破棄する
(アルゴリズム関数オブジェクト) |