destroy_at.md

destroy_at

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

namespace std {
  template <class T>
  void destroy_at(T* location);           // (1) C++17

  template <class T>
  constexpr void destroy_at(T* location); // (1) C++20
}

概要

デストラクタを呼び出す。

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

効果

• 型Tが配列型である場合、以下と等価：

  destroy(begin(*location), end(*location));

  • destroy[link destroy.md]
  • begin[link /reference/iterator/begin.md]
  • end[link /reference/iterator/end.md]

• そうでない場合、以下と等価：

  location->~T();

備考

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

例

#include <iostream>
#include <memory>

int main()
{
  // 配置newでオブジェクトを構築
  char storage[4];
  int* n = new(storage) int;

  *n = 314;
  std::cout << *n << std::endl;

  // デストラクタを呼び出して破棄
  std::destroy_at(n);
}

• std::destroy_at[color ff0000]

出力

314

バージョン

言語

• C++17

処理系

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

関連項目

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

参照

• P0040R3 Extending memory management tools
• P0784R7 More constexpr containers