最終更新日時: 2026年02月05日 13時53分18秒 (JST)
Akira Takahashi が更新

履歴 編集

function template
<memory>

# std::ranges::destroy(C++20)

    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

      template <execution-policy Ep,
                random_access_iterator I,
                sized_sentinel_for<I> S>
        requires destructible<iter_value_t<I>>
      I destroy(Ep&& exec, I first, S last) noexcept;           // (3) C++26

      template <execution-policy Ep,
                sized-random-access-range R>
        requires destructible<range_value_t<R>>
      borrowed_iterator_t<R> destroy(Ep&& exec, R&& r) noexcept; // (4) C++26
    }

## 概要

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

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

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

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

- (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;

## 例

### 基本的な使い方

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

### 出力例

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

      // 並列に破棄
      std::ranges::destroy(std::execution::par, p, p + 3);

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

#### 出力

    done

## バージョン

### 言語

- C++20

### 処理系

- Clang: 16.0 ✅
- GCC: 10.2.0 ✅
- Visual C++: 2019 Update 10 ✅

## 関連項目

- `destroy`

## 参照

- P0896R4 The One Ranges Proposal
- P3179R9 C++ parallel range algorithms