最終更新日時(UTC):
が更新

履歴 編集

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_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
}

概要

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

  • (1): イテレータペアで範囲を指定する
  • (2): 範囲を直接指定する

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

  • (1):
    • Iinput_iteratorである
    • S1Iに対する番兵である
    • Ono-throw-forward-iteratorである
    • S2Oに対する例外を投げない番兵である
    • Oの要素型が、Iの要素型の右辺値を引数として構築可能である
  • (2):
    • IRinput_rangeである
    • ORno-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};

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

  // 要素を破棄
  for (std::size_t i = 0; i < size; ++i) {
    std::destroy_at(p + i);
  }

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

出力

1
2
3

バージョン

言語

  • C++20

処理系

関連項目

参照