ranges_uninitialized_move_n.md

uninitialized_move_n

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

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

  template <input_iterator I,
            no-throw-forward-iterator O,
            no-throw-sentinel<O> S>
  requires constructible_from<iter_value_t<O>, iter_rvalue_reference_t<I>>
  uninitialized_move_n_result<I, O>
    uninitialized_move_n(
      I ifirst,
      iter_difference_t<I> n,
      O ofirst,
      S olast
    );                               // (1) C++20
}

• in_out_result[link /reference/algorithm/ranges_in_out_result.md]
• input_iterator[link /reference/iterator/input_iterator.md]
• no-throw-forward-iterator[link no-throw-forward-iterator.md]
• no-throw-sentinel[link no-throw-sentinel.md]
• constructible_from[link /reference/concepts/constructible_from.md]
• iter_rvalue_reference_t[link /reference/iterator/iter_rvalue_reference_t.md]
• iter_difference_t[link /reference/iterator/iter_difference_t.md]

概要

未初期化領域のイテレータ範囲[ofirst, ofirst + n)を配置newでイテレータ範囲[ifirst, ifirst + n)の対応する要素から初期化してムーブ出力する。

• (1): イテレータ範囲を指定する

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

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

事前条件

• イテレータ範囲[ofirst, olast)がifirst + [0, n)と重ならないこと

効果

以下と等価である：

auto t = uninitialized_move(counted_iterator(ifirst, n),
                            default_sentinel, ofirst, olast);
return {std::move(t.in).base(), t.out};

• uninitialized_move[link ranges_uninitialized_move.md]
• counted_iterator[link /reference/iterator/counted_iterator.md]
• base()[link /reference/iterator/counted_iterator/base.md]
• default_sentinel[link /reference/iterator/default_sentinel_t.md]
• std::move[link /reference/utility/move.md]

例外

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

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

例

#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_n(v.begin(), size, 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::uninitialized_move_n[color ff0000]
• std::allocator[link allocator.md]
• alloc.allocate[link allocator/allocate.md]
• std::ranges::destroy_n[link ranges_destroy_n.md]
• alloc.deallocate[link allocator/deallocate.md]

出力

1
2
3

バージョン

言語

• C++20

処理系

• Clang: 16.0
• GCC: 10.2.0
• Visual C++: 2019 Update 10

関連項目

• uninitialized_move_n

参照

• P9896R4 The One Ranges Proposal