std::ranges::destroy
ja.cppreference.net より
| ヘッダ <memory>
|
||
| Call signature |
||
template< /*nothrow-input-iterator*/ I, /*nothrow-sentinel-for*/<I> S >
requires std::destructible<std::iter_value_t<I>>
constexpr I destroy( I first, S last ) noexcept;
|
(1) | (C++20 以降) |
template< /*nothrow-input-range*/ R >
requires std::destructible<ranges::range_value_t<R>>
constexpr ranges::borrowed_iterator_t<R> destroy( R&& r ) noexcept;
|
(2) | (C++20 以降) |
template< /*execution-policy*/ Ep, /*nothrow-random-access-iterator*/ I,
/*nothrow-sized-sentinel-for*/<I> S >
requires std::destructible<std::iter_value_t<I>>
I destroy( Ep&& policy, I first, S last );
|
(3) | (C++26 以降) |
template< /*execution-policy*/ Ep, /*nothrow-sized-random-access-range*/ R >
requires std::destructible<ranges::range_value_t<R>>
ranges::borrowed_iterator_t<R> destroy( Ep&& policy, R&& r );
|
(4) | (C++26 以降) |
/*execution-policy*/ の定義については このページ を参照してください。その他の説明専用コンセプトの定義については このページ を参照してください。
1) ターゲット範囲
[first, last) 内の要素を破棄します。次のように行います:
for (; first != last; ++first)
std::ranges::destroy_at(std::addressof(*first));
return first;
2) (1) と同じですが、ターゲット範囲として
r を使用します。3,4) (1,2) と同じですが、
policy に従って実行されます。このページで説明する関数のようなエンティティは アルゴリズム関数オブジェクト (非公式に niebloids と呼ばれます) です。つまり:
- それらのいずれかを呼び出す際に、明示的なテンプレート実引数リストを指定することはできません。
- それらは 引数依存の名前探索 では見えません。
- それらのいずれかが 通常の非修飾名前探索 によって関数呼び出し演算子の左側の名前として見つかった場合、引数依存の名前探索 は抑制されます。
パラメータ
| first, last | - | イテレータ-センチネルペアが定義するrangeの要素を破棄する |
| r | - | rangeを破棄する |
| policy | - | execution policyを使用する |
戻り値
上述の通りです。
例外
3,4) 実行中:
- 並列化に必要な一時メモリリソースを利用できない場合、std::bad_allocが送出される。
- アルゴリズムの引数を介してオブジェクトにアクセス中に捕捉されない例外が送出された場合、動作は実行ポリシーによって決定される（標準ポリシーの場合、std::terminateが呼び出される）。
注釈
| 機能テスト マクロ | 値 | 標準 | 機能 |
|---|---|---|---|
__cpp_lib_parallel_algorithm |
202506L |
(C++26) | 並列範囲アルゴリズム |
実装例
struct destroy_fn
{
template</*nothrow-input-iterator*/ I, /*nothrow-sentinel-for*/<I> S>
requires std::destructible<std::iter_value_t<I>>
constexpr I operator()(I first, S last) const noexcept
{
for (; first != last; ++first)
ranges::destroy_at(std::addressof(*first));
return first;
}
template</*nothrow-input-range*/ R>
requires std::destructible<ranges::range_value_t<R>>
constexpr ranges::borrowed_iterator_t<R> operator()(R&& r) const noexcept
{
return (*this)(ranges::begin(r), ranges::end(r));
}
template</*nothrow-forward-range*/ R>
requires std::destructible<ranges::range_value_t<R>>
constexpr ranges::borrowed_iterator_t<R> operator()(R&& r) const noexcept
{
return (*this)(ranges::begin(r),
ranges::next(ranges::begin(r), ranges::end(r)));
}
};
inline constexpr destroy_fn destroy{};
|
例
この例では、ranges::destroyを使用して連続した要素を破棄する方法を示します。
このコードを実行
#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));
std::ranges::destroy(ptr, ptr + 4);
}
出力:
0 destructed
1 destructed
2 destructed
3 destructed
関連項目
(C++20) |
範囲内の指定個数のオブジェクトを破棄する (アルゴリズム関数オブジェクト) |
(C++20) |
指定されたアドレスにあるオブジェクトを破棄する (アルゴリズム関数オブジェクト) |
(C++17) |
範囲内のオブジェクトを破棄する (関数テンプレート) |