namespace std {
  template <class InputIterator, class ForwardIterator>
  ForwardIterator
    uninitialized_copy(InputIterator first,
                       InputIterator last,
                       ForwardIterator result); // (1) C++98
  template <class InputIterator, class ForwardIterator>
  constexpr ForwardIterator
    uninitialized_copy(InputIterator first,
                       InputIterator last,
                       ForwardIterator result); // (1) C++26

  template <class ExecutionPolicy, class InputIterator, class ForwardIterator>
  ForwardIterator
    uninitialized_copy(ExecutionPolicy&& exec,
                       InputIterator first,
                       InputIterator last,
                       ForwardIterator result); // (2) C++17
}

概要

未初期化領域の範囲を配置newで初期化してコピー出力する。

入力範囲[first, last)のコピーを未初期化出力範囲[result, )に書き込む。

事前条件

• イテレータ範囲[result, result + (last - first))が[first, last)と重ならないこと

効果

• C++98 : 以下と等価
  

  for (; first != last; ++result, ++first)
    ::new (static_cast<void*>(&*result))
      typename iterator_traits<ForwardIterator>::value_type(*first);
  

• C++17 : 以下と等価
  

  for (; first != last; ++result, ++first)
    ::new (static_cast<void*>(addressof(*result)))
      typename iterator_traits<ForwardIterator>::value_type(*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_copy(v.begin(), v.end(), 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

関連項目

• ranges::uninitialized_copy

参照

• LWG Issue 2433 uninitialized_copy()/etc. should tolerate overloaded operator&
• LWG Issue 866. Qualification of placement new-expressions
  • C++11で、uninitialized_copyが要素を構築する際に使用する配置newが::newと修飾された。修飾がないと、要素型がクラススコープのoperator newをオーバーロードしている場合にそちらが選ばれてしまい、対応するoperator deleteが呼ばれず不整合を起こすため
• P3508R0 Wording for "constexpr for specialized memory algorithms"
  • C++26からconstexprがついた
• LWG Issue 3054. uninitialized_copy appears to not be able to meet its exception-safety guarantee
  • C++20で、例外送出時に「効果なし」とする達成不能な保証が撤廃され、構築済みのオブジェクトを未規定の順序で破棄してから例外を伝播すると明確化された