4. uninitialized_move_n

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

履歴 編集

function template
<memory>

std::uninitialized_move_n(C++17)

namespace std {
  template <class InputIterator, class Size, class ForwardIterator>
  pair<InputIterator, ForwardIterator>
    uninitialized_move_n(InputIterator first,
                         Size n,
                         ForwardIterator result); // (1)

  template <class ExecutionPolicy, class InputIterator, class Size, class ForwardIterator>
  pair<InputIterator, ForwardIterator>
    uninitialized_move_n(ExecutionPolicy&& exec,
                         InputIterator first,
                         Size n,
                         ForwardIterator result); // (2)
}

概要

未初期化領域の範囲のうち先頭N個の要素を配置newで初期化してムーブ出力する。

入力イテレータ範囲[first, first + n)からムーブして未初期化出力イテレータ範囲[result, )に書き込む。

事前条件

効果

以下と等価：

for (; n > 0; ++result, (void)++first, --n)
  ::new (static_cast<void*>(addressof(*result)))
    typename iterator_traits<ForwardIterator>::value_type(std::move(*first));

戻り値

{first, result}

例外

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

例

#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::uninitialized_move_n(v.begin(), v.size(), p);

  // 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++17

処理系

関連項目

参照