GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • cpprefjp - C++日本語リファレンス
  • GitHub Project

This view

  • Original page
  • New address

GeezerVison is showing cpprefjp.github.io — std::uninitialized_move - cpprefjp C++日本語リファレンス

  2. リファレンス
  3. memory
  4. uninitialized_move

最終更新日時: 2026年09月22日 22時03分15秒 (JST)
rotarymars が更新

履歴 編集

function template
<memory>

std::uninitialized_move(C++17)

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

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

概要

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

入力範囲[first, last)からムーブして未初期化出力範囲[result, )に書き込む。

事前条件

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

効果

以下と等価：

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

ここでderef-move(first)は、*firstが左辺値参照を返す場合はstd::move(*first)、そうでない場合は*firstとなる説明専用のヘルパである。これにより、*firstがprvalueを返すイテレータに対してコピーの省略が保証される。

戻り値

result

例外

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

ただし、ムーブ元の範囲[first, last)のオブジェクトの一部は、すでにムーブされた結果として有効だが未規定の状態になっていることがある。

例

#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(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

バージョン

言語

  • C++17

処理系

  • Clang: 4.0.1 ✅
  • GCC: 7.3 ✅
  • Visual C++: ??

関連項目

  • ranges::uninitialized_move

参照

  • P0040R3 Extending memory management tools
  • 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で、例外送出時に「効果なし」とする達成不能な保証が撤廃され、構築済みのオブジェクトを未規定の順序で破棄してから例外を伝播すると明確化された
  • LWG Issue 3918. std::uninitialized_move/_n and guaranteed copy elision
    • C++26で、要素の構築に説明専用ヘルパderef-moveを用いるようになり、*firstがprvalueを返すイテレータに対してコピーの省略が保証されるようになった
  • LWG Issue 4452. Make deref-move constexpr
    • C++26で、この関数が内部で用いる説明専用ヘルパ関数deref-moveにもconstexprが付き、定数式での評価が可能になった（P3508が見落としていた箇所を補完）
You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.