destroy.md

destroy

• memory[meta header]
• std[meta namespace]
• function template[meta id-type]
• cpp17[meta cpp]

namespace std {
  template <class ForwardIterator>
  void destroy(ForwardIterator first,
               ForwardIterator last);           // (1) C++17

  template <class ForwardIterator>
  constexpr void destroy(ForwardIterator first,
                         ForwardIterator last); // (1) C++20

  template <class ExecutionPolicy, class ForwardIterator>
  void destroy(ExecutionPolicy&& exec,
               ForwardIterator first,
               ForwardIterator last);           // (2) C++17

  template <class ExecutionPolicy, class ForwardIterator>
  constexpr void destroy(ExecutionPolicy&& exec,
                         ForwardIterator first,
                         ForwardIterator last); // (2) C++20
}

概要

イテレータ範囲[first, last)の各要素に対してデストラクタを呼び出す。

この関数は、配置newで構築したオブジェクトの配列を破棄するために使用する。

効果

以下と等価：

for (; first!=last; ++first)
  destroy_at(addressof(*first));

• destroy_at[link destroy_at.md]
• addressof[link addressof.md]

備考

• 非トリビアルなデストラクタをもたないintやchar配列のような型のオブジェクトに対しては、デストラクタを呼び出す必要はない。ForwardIteratorの値型Tがstd::is_trivially_destructible_v<T> == trueである場合、 (効果欄のfor文も含めて) なにもしない最適化が行われる可能性がある
  • 例として、std::optionalクラスのデストラクタ、およびstd::vectorクラスのデストラクタを参照

例

#include <iostream>
#include <memory>

int main()
{
  // 配置newで配列を構築
  char storage[4 * 3];
  int* n = new(storage) int[3];

  n[0] = 3;
  n[1] = 1;
  n[2] = 4;

  for (int i = 0; i < 3; ++i) {
    std::cout << n[i] << std::endl;
  }

  // デストラクタを呼び出して配列の各要素を破棄
  std::destroy(n, n + 3);
}

• std::destroy[color ff0000]

出力

3
1
4

バージョン

言語

• C++17

処理系

• Clang: 4.0.1 [mark verified]
• GCC: 7.3 [mark verified]
• Visual C++: ??

関連項目

• C++20 可変サイズをもつコンテナのconstexpr化
• ranges::destroy

参照

• P0040R3 Extending memory management tools
• P0784R7 More constexpr containers