4. destroy_n

最終更新日時(UTC):
が更新

履歴 編集

function template
<memory>

std::ranges::destroy_n(C++20)

namespace std::ranges {
  template <no-throw-input-iterator I>
    requires destructible<iter_value_t<I>>
  constexpr I destroy_n(I first, iter_difference_t<I> n) noexcept; // (1) C++20

  template <execution-policy Ep,
            random_access_iterator I>
    requires destructible<iter_value_t<I>>
  I destroy_n(Ep&& exec, I first, iter_difference_t<I> n) noexcept; // (2) C++26
}

概要

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

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

  • (1): イテレータ範囲を指定する
  • (2): (1)の並列アルゴリズム版。実行ポリシーを指定する

テンプレートパラメータ制約

効果

以下と等価：

return destroy(counted_iterator(first, n), default_sentinel).base();

例

基本的な使い方

#include <iostream>
#include <memory>

#include <algorithm>

int main()
{
  std::allocator<int> alloc;

  // メモリ確保。
  // この段階では、[p, p + size)の領域は未初期化
  const std::size_t size = 3;
  int* p = alloc.allocate(size);

  // 未初期化領域[p, p + size)の各要素をデフォルト構築
  std::ranges::uninitialized_default_construct(std::ranges::subrange{p, p + size});

  // pの領域が初期化され、かつvからpに要素がコピーされているか確認
  std::for_each(p, p + size, [](int x) {
    std::cout << x << std::endl;
  });

  // 要素を破棄
  std::ranges::destroy_n(p, size);

  // メモリ解放
  alloc.deallocate(p, size);
}

出力例

578175192
0
0

並列アルゴリズムの例 (C++26)

#include <iostream>
#include <memory>
#include <string>
#include <execution>

int main() {
  std::allocator<std::string> alloc;
  std::string* p = alloc.allocate(3);

  for (int i = 0; i < 3; ++i) {
    std::construct_at(p + i, "hello");
  }

  // 並列にn個破棄
  std::ranges::destroy_n(std::execution::par, p, 3);

  alloc.deallocate(p, 3);
  std::cout << "done" << std::endl;
}

出力

done

バージョン

言語

  • C++20

処理系

関連項目

参照