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
}
概要
イテレータ範囲[first, first + n)の各要素に対してデストラクタを呼び出す。
この関数は、配置newで構築したオブジェクトを破棄するために使用する。
テンプレートパラメータ制約
- (1):
Iがno-throw-input-iteratorであるIの要素型が、破棄可能である
効果
以下と等価：
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++20
処理系
- Clang: 16.0 ✅
- GCC: 10.2.0 ✅
- Visual C++: 2019 Update 10 ✅