最終更新日時: 2026年01月06日 12時47分59秒 (JST)
Koichi Murase が更新

履歴 編集

function template
<memory>

# std::uninitialized_copy_n(C++11)

    namespace std {
      template <class InputIterator,
                class Size,
                class ForwardIterator>
      ForwardIterator
        uninitialized_copy_n(InputIterator first,
                             Size n,
                             ForwardIterator result); // (1) C++11
      template <class InputIterator,
                class Size,
                class ForwardIterator>
      constexpr ForwardIterator
        uninitialized_copy_n(InputIterator first,
                             Size n,
                             ForwardIterator result); // (1) C++26

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

## 概要

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

入力イテレータ範囲`[first, first + n)`のコピーを未初期化出力イテレータ範囲`[result, result + n)`に書き込む。

## 事前条件

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

## 効果

- C++11 : 以下と等価

      for ( ; n > 0; ++result, ++first, --n) {
        ::new (static_cast<void*>(&*result))
          typename iterator_traits<ForwardIterator>::value_type(*first);
      }

- C++17 : 以下と等価

      for ( ; n > 0; ++result, ++first, --n) {
        ::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_n(v.begin(), 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) {
        alloc.destroy(p + i);
      }

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

### 出力

    1
    2
    3

## バージョン

### 言語

- C++11

### 処理系

- GCC: 4.4.7 ✅
- Clang: 3.0 ✅
- ICC: ?
- Visual C++: ?

## 参照

- N2569 More STL algorithms
- N2666 More STL algorithms (revision 2)
- LWG Issue 2433 `uninitialized_copy()`/etc. should tolerate overloaded `operator&`
- P3508R0 Wording for "constexpr for specialized memory algorithms"
  - C++26から`constexpr`がついた