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

履歴 編集

function template
<memory>

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

    namespace std::ranges {
      template <class I, class O>
      using uninitialized_move_result = in_out_result<I, O>;

      template <input_iterator I, sentinel_for<I> S1,
                no-throw-forward-iterator O, no-throw-sentinel<O> S2>
      requires constructible_from<iter_value_t<O>, iter_rvalue_reference_t<I>>
      uninitialized_move_result<I, O>
        uninitialized_move(I ifirst, S1 ilast, O ofirst, S2 olast); // (1) C++20
      template <input_iterator I, sentinel_for<I> S1,
                no-throw-forward-iterator O, no-throw-sentinel<O> S2>
      requires constructible_from<iter_value_t<O>, iter_rvalue_reference_t<I>>
      constexpr uninitialized_move_result<I, O>
        uninitialized_move(I ifirst, S1 ilast, O ofirst, S2 olast); // (1) C++26

      template <input_range IR, no-throw-forward-range OR>
      requires constructible_from<range_value_t<OR>, range_rvalue_reference_t<IR>>
      uninitialized_move_result<
        borrowed_iterator_t<IR>,
        borrowed_iterator_t<OR>
      >
        uninitialized_move(IR&& in_range, OR&& out_range);          // (2) C++20
      template <input_range IR, no-throw-forward-range OR>
      requires constructible_from<range_value_t<OR>, range_rvalue_reference_t<IR>>
      constexpr uninitialized_move_result<
        borrowed_iterator_t<IR>,
        borrowed_iterator_t<OR>
      >
        uninitialized_move(IR&& in_range, OR&& out_range);          // (2) C++26

      template <execution-policy Ep,
                random_access_iterator I, sized_sentinel_for<I> S1,
                random_access_iterator O, sized_sentinel_for<O> S2>
      requires constructible_from<iter_value_t<O>, iter_rvalue_reference_t<I>>
      uninitialized_move_result<I, O>
        uninitialized_move(Ep&& exec,
                           I ifirst, S1 ilast,
                           O ofirst, S2 olast);                     // (3) C++26

      template <execution-policy Ep,
                sized-random-access-range IR,
                sized-random-access-range OR>
      requires constructible_from<range_value_t<OR>, range_rvalue_reference_t<IR>>
      uninitialized_move_result<
        borrowed_iterator_t<IR>,
        borrowed_iterator_t<OR>
      >
        uninitialized_move(Ep&& exec,
                           IR&& in_range, OR&& out_range);          // (4) C++26
    }

## 概要

未初期化領域の範囲（`out_range`、`[ofirst, olast)`）を配置`new`で入力範囲（`in_range`、`[ifirst, ilast)`）の対応する要素から初期化してムーブ出力する。

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

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

- (1):
  - `I`が`input_iterator`である
  - `S1`が`I`に対する番兵である
  - `O`が`no-throw-forward-iterator`である
  - `S2`が`O`に対する例外を投げない番兵である
  - `O`の要素型が、`I`の要素型の右辺値を引数として構築可能である
- (2):
  - `IR`が`input_range`である
  - `OR`が`no-throw-forward-range`である
  - `OR`の要素型が、`IR`の要素型の右辺値を引数として構築可能である

## 事前条件

- イテレータ範囲`[ofirst, olast)`が`[ifirst, ilast)`と重ならないこと

## 効果

説明用の関数`voidify`があるとして、

    template<class T>
    constexpr void* voidify(T& obj) noexcept {
      return const_cast<void*>(static_cast<const volatile void*>(addressof(obj)));
    }

以下と等価である：

    for (; ifirst != ilast && ofirst != olast; ++ofirst, (void)++ifirst) {
      ::new (voidify(*ofirst)) remove_reference_t<iter_reference_t<O>>(ranges::iter_move(*ifirst));
    }
    return {std::move(ifirst), ofirst};

## 例外

呼び出すコンストラクタなどから例外が送出された場合、その例外がこの関数の外側に伝播される前に、その時点で構築済のオブジェクトは全て未規定の順序で破棄される。すなわち、例外が送出された場合は初期化対象領域は未初期化のままとなる。

またその場合、`[ifirst, ilast)`内の一部のオブジェクトは有効だが未規定な状態として残される。

## 例

### 基本的な使い方

    #include <iostream>
    #include <memory>

    #include <vector>
    #include <algorithm>

    int main()
    {
      const std::vector<int> v = {1, 2, 3};

      std::allocator<int> alloc;

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

      // 未初期化領域pを初期化しつつ範囲vから要素をムーブ
      std::ranges::uninitialized_move(v, 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(p, p + size);

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

### 出力

    1
    2
    3

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

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

    int main() {
      std::vector<std::string> src = {"hello", "world", "test"};
      std::allocator<std::string> alloc;
      std::string* dst = alloc.allocate(3);

      // 並列に未初期化領域へムーブ
      std::ranges::uninitialized_move(
        std::execution::par, src, dst, dst + 3);

      for (int i = 0; i < 3; ++i) {
        std::cout << dst[i] << ' ';
      }
      std::cout << std::endl;

      std::ranges::destroy(dst, dst + 3);
      alloc.deallocate(dst, 3);
    }

#### 出力

    hello world test

## バージョン

### 言語

- C++20

### 処理系

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

## 関連項目

- `uninitialized_move`

## 参照

- P0896R4 The One Ranges Proposal
- P3508R0 Wording for "constexpr for specialized memory algorithms"
  - C++26から`constexpr`がついた
- P3179R9 C++ parallel range algorithms