ranges_destroy_n.md

destroy_n

• memory[meta header]
• std::ranges[meta namespace]
• function template[meta id-type]
• cpp20[meta cpp]

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
}

• no-throw-input-iterator[link no-throw-input-iterator.md]
• destructible[link /reference/concepts/destructible.md]
• iter_value_t[link /reference/iterator/iter_value_t.md]
• iter_difference_t[link /reference/iterator/iter_difference_t.md]

概要

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

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

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

• (1):
  • Iがno-throw-input-iteratorである
  • Iの要素型が、破棄可能である

効果

以下と等価：

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

• destroy[link ranges_destroy.md]
• counted_iterator[link /reference/iterator/counted_iterator.md]
• default_sentinel[link /reference/iterator/default_sentinel_t.md]
• base()[link /reference/iterator/counted_iterator/base.md]

例

#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);
}

• std::ranges::destroy_n[color ff0000]
• std::ranges::uninitialized_default_construct[link ranges_uninitialized_default_construct.md]
• std::allocator[link allocator.md]
• alloc.allocate[link allocator/allocate.md]
• alloc.deallocate[link allocator/deallocate.md]

出力例

578175192
0
0

バージョン

言語

• C++20

処理系

• Clang: 16.0 [mark verified]
• GCC: 10.2.0 [mark verified]
• Visual C++: 2019 Update 10 [mark verified]

関連項目

• destroy_n

参照

• P0896R4 The One Ranges Proposal