std::ranges::destroy_n
ja.cppreference.net より
| ヘッダ <memory>
|
||
| で定義 呼び出しシグネチャ |
||
template< /*nothrow-input-iterator*/ I >
requires std::destructible<std::iter_value_t<I>>
constexpr I destroy_n( I first, std::iter_difference_t<I> count ) noexcept;
|
(1) | (C++20 以降) |
template< /*execution-policy*/ Ep, /*nothrow-random-access-iterator*/ I >
requires std::destructible<std::iter_value_t<I>>
I destroy_n( Ep&& policy, I first, std::iter_difference_t<I> count );
|
(2) | (C++26 以降) |
/*execution-policy*/ の定義については このページを参照してください。その他の説明専用コンセプトの定義については このページを参照してください。
1) 対象範囲
first + [0, count) の要素を次のように破棄する:
return std::ranges::destroy(std::counted_iterator(first, count),
std::default_sentinel).base();
2) (1) と同じですが、
policy に従って実行されます。このページで説明されている関数のようなエンティティは アルゴリズム関数オブジェクト（非公式には niebloids として知られています）、つまり次のようになります：
- それらのいずれかを呼び出す際に、明示的なテンプレート引数リストを指定することはできません。
- それらは ADL からは見えません。
- それらのいずれかが関数呼び出し演算子の左側の名前として 通常の非修飾名前探索 によって見つかった場合、ADL は抑制されます。
パラメータ
| first | - | 破棄する要素の範囲の先頭 |
| count | - | 破棄する要素の数 |
| policy | - | その 実行ポリシー を使用する |
戻り値
上記の通り。
注釈
| 機能テスト マクロ | 値 | 標準 | 機能 |
|---|---|---|---|
__cpp_lib_parallel_algorithm |
202506L |
(C++26) | 並列範囲アルゴリズム |
可能な実装
struct destroy_n_fn
{
template</*nothrow-input-iterator*/ I>
requires std::destructible<std::iter_value_t<I>>
constexpr I operator()(I first, std::iter_difference_t<I> n) const noexcept
{
for (; n != 0; (void)++first, --n)
std::ranges::destroy_at(std::addressof(*first));
return first;
}
};
inline constexpr destroy_n_fn destroy_n{};
|
例
連続した要素のシーケンスを破棄するために ranges::destroy_n を使用する方法を示します。
このコードを実行する
#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_n(ptr, 4);
}
出力:
0 destructed
1 destructed
2 destructed
3 destructed
関連項目
(C++20) |
指定されたアドレスのオブジェクトを破棄する (アルゴリズム関数オブジェクト) |
(C++20) |
範囲内のオブジェクトを破棄する (アルゴリズム関数オブジェクト) |
(C++17) |
範囲内の指定された個数のオブジェクトを破棄する (関数テンプレート) |