名前空間
変種
操作

std::destroy

From cppreference.com
< cpp‎ | memory
 
 
メモリ管理ライブラリ
(説明用*)
未初期化メモリのアルゴリズム
destroy
(C++17)
(C++17)
(C++17)
制約付き未初期化
メモリアルゴリズム
Cライブラリ

アロケータ
メモリリソース
ガベージコレクションのサポート
(C++11)(C++23まで)
(C++11)(C++23まで)
(C++11)(C++23まで)
(C++11)(C++23まで)
(C++11)(C++23まで)
(C++11)(C++23まで)
未初期化ストレージ
(C++20まで*)
(C++20まで*)
明示的な生存期間管理
 
ヘッダ <memory> で定義
(1)
template< class ForwardIt >
void destroy( ForwardIt first, ForwardIt last );
(C++17以降)
(C++20まで)
template< class ForwardIt >
constexpr void destroy( ForwardIt first, ForwardIt last );
(C++20以降)
template< class ExecutionPolicy, class ForwardIt >
void destroy( ExecutionPolicy&& policy, ForwardIt first, ForwardIt last );
(2) (C++17以降)
1) 範囲 [firstlast) 内のオブジェクトを破棄します。
for (; first != last; ++first)
    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, last - 破棄する要素の範囲を定義するイテレータの組
policy - 使用する 実行ポリシー
型要件
-
ForwardItLegacyForwardIterator の要件を満たさなければなりません。
-
ForwardIt の有効なインスタンスを介したインクリメント、代入、比較、または間接参照は例外をスローしてはなりません。

[編集] 戻り値

(なし)

[編集] 計算量

firstlast の距離に対して線形。

[編集] 例外

テンプレートパラメータ ExecutionPolicy を持つオーバーロードは、次のようにエラーを報告します。

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

[編集] 可能な実装

template<class ForwardIt>
constexpr // since C++20
void destroy(ForwardIt first, ForwardIt last)
{
    for (; first != last; ++first)
        std::destroy_at(std::addressof(*first));
}

[編集]

次の例は、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) * 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(ptr, ptr + 8);
}

出力

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

[編集] 関連項目

(C++17)
範囲内の指定された数のオブジェクトを破棄します
(関数テンプレート) [編集]
与えられたアドレスのオブジェクトを破棄します
(関数テンプレート) [編集]
オブジェクトの範囲を破棄します
(アルゴリズム関数オブジェクト)[編集]
English 日本語 中文(简体) 中文(繁體)