- memory[meta header]
- std::ranges[meta namespace]
- function template[meta id-type]
- cpp20[meta cpp]
namespace std::ranges {
template <no-throw-input-iterator I, no-throw-sentinel<I> S>
requires destructible<iter_value_t<I>>
constexpr I destroy(I first, S last) noexcept; // (1) C++20
template <no-throw-input-range R>
requires destructible<range_value_t<R>>
constexpr borrowed_iterator_t<R> destroy(R&& r) noexcept; // (2) C++20
}- no-throw-input-iterator[link no-throw-input-iterator.md]
- no-throw-sentinel[link no-throw-sentinel.md]
- destructible[link /reference/concepts/destructible.md]
- no-throw-input-range[link no-throw-input-range.md]
- range_value_t[link /reference/ranges/range_value_t.md]
- borrowed_iterator_t[link /reference/ranges/borrowed_iterator_t.md]
デストラクタを呼び出す。
この関数は、配置newで構築したオブジェクトを破棄するために使用する。
- (1): イテレータ範囲を指定する
- (2): Rangeを直接指定する
- (1):
Iがno-throw-input-iteratorであるSがIに対する例外を投げない番兵であるIの要素型が、破棄可能である
- (2):
Rがno-throw-input-rangeであるRの要素型が、破棄可能である
以下と等価：
for (; first != last; ++first)
destroy_at(addressof(*first));
return first;- destroy_at[link ranges_destroy_at.md]
- addressof[link addressof.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(std::ranges::subrange{p, p + size});
// メモリ解放
alloc.deallocate(p, size);
}- std::ranges::destroy[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]