std::ranges::destroy_n
From cppreference.com
| ヘッダ <memory> で定義 |
||
| 呼び出しシグネチャ |
||
| template< no-throw-input-iterator I > requires std::destructible<std::iter_value_t<I>> |
(C++20以降) | |
範囲の先頭にある first から始まる n 個のオブジェクトを破棄します。これは、以下のコードと同等です。
return std::ranges::destroy(std::counted_iterator(first, n), std::default_sentinel).base();
このページで説明されている関数のようなエンティティは、アルゴリズム関数オブジェクト（非公式にはニーブロイドとして知られている）です。つまり、
- これらのいずれかを呼び出す際に、明示的なテンプレート引数リストを指定することはできません。
- これらのいずれも実引数依存の名前探索には見えません。
- これらのいずれかが関数呼び出し演算子の左側の名前として通常の非修飾名探索によって見つかった場合、実引数依存の名前探索は抑制されます。
目次 |
[編集] パラメータ
| first | - | 破棄する要素の範囲の開始 |
| n | - | 破棄する要素の数 |
[編集] 戻り値
破棄されたオブジェクトの範囲の終端。
[編集] 計算量
n に対して線形。
[編集] 実装例
struct destroy_n_fn { template<no-throw-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) * 8]; for (int i = 0; i < 8; ++i) new(buffer + sizeof(Tracer) * i) Tracer{i}; //manually construct objects auto ptr = std::launder(reinterpret_cast<Tracer*>(buffer)); std::ranges::destroy_n(ptr, 8); }
出力
0 destructed 1 destructed 2 destructed 3 destructed 4 destructed 5 destructed 6 destructed 7 destructed
[編集] 関連項目
| (C++20) |
与えられたアドレスのオブジェクトを破棄します (アルゴリズム関数オブジェクト) |
| (C++20) |
オブジェクトの範囲を破棄します (アルゴリズム関数オブジェクト) |
| (C++17) |
範囲内の指定された数のオブジェクトを破棄します (関数テンプレート) |
