Namespaces
Variants

std:: destroy_n

From cppreference.net
C++
Memory management library
( exposition only* )
Allocators
Uninitialized memory algorithms
Constrained uninitialized memory algorithms
Memory resources
Uninitialized storage (until C++20)
( until C++20* )
( until C++20* )
( until C++20* )

Garbage collector support (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
定義先ヘッダ <memory>
(1)
template < class ForwardIt, class Size >
ForwardIt destroy_n ( ForwardIt first, Size n ) ;
(C++17以降)
(C++20まで)
template < class ForwardIt, class Size >
constexpr ForwardIt destroy_n ( ForwardIt first, Size n ) ;
(C++20以降)
template < class ExecutionPolicy, class ForwardIt, class Size >
ForwardIt destroy_n ( ExecutionPolicy && policy, ForwardIt first, Size n ) ;
(2) (C++17以降)
1) first から始まる範囲内の n 個のオブジェクトを破棄する。以下のように動作する: 
for (; n > 0; (void) ++first, --n)
    std::destroy_at(std::addressof(*first));
2) (1) と同様だが、 policy に従って実行される。このオーバーロードは、以下の条件がすべて満たされる場合にのみオーバーロード解決に参加する:

std:: is_execution_policy_v < std:: decay_t < ExecutionPolicy >> が true であること。

(C++20以前)

std:: is_execution_policy_v < std:: remove_cvref_t < ExecutionPolicy >> が true であること。

(C++20以降)

目次

パラメータ

first - 破棄する要素範囲の先頭
n - 破棄する要素の数
policy - 使用する 実行ポリシー
型要件
-
ForwardIt は LegacyForwardIterator の要件を満たさなければならない。
-
ForwardIt の有効なインスタンスを通じたインクリメント、代入、比較、間接参照は例外を投げてはならない。

戻り値

破棄されたオブジェクトの範囲の終端（すなわち、 std:: next ( first, n ) ）。

計算量

n に対して線形。

例外

ExecutionPolicy という名前のテンプレートパラメータを持つオーバーロードは、 以下のようにエラーを報告します：

  • アルゴリズムの一部として呼び出された関数の実行が例外をスローした場合、 ExecutionPolicy が 標準ポリシー のいずれかであるとき、 std::terminate が呼び出される。その他の ExecutionPolicy については、動作は実装定義である。
  • アルゴリズムがメモリの確保に失敗した場合、 std::bad_alloc がスローされる。

実装例 

template<class ForwardIt, class Size>
constexpr // C++20以降
ForwardIt destroy_n(ForwardIt first, Size n)
{
    for (; n > 0; (void) ++first, --n)
        std::destroy_at(std::addressof(*first));
    return first;
}

例

以下の例は、連続する要素シーケンスを破棄するために 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::destroy_n(ptr, 8);
}

出力: 

0 destructed
1 destructed
2 destructed
3 destructed
4 destructed
5 destructed
6 destructed
7 destructed

関連項目

(C++17)
オブジェクトの範囲を破棄する
(関数テンプレート)
(C++17)
指定されたアドレスのオブジェクトを破棄する
(関数テンプレート)
(C++20)
範囲内の指定された数のオブジェクトを破棄する
(アルゴリズム関数オブジェクト)