4. uninitialized_value_construct_n

最終曎新日時:
が曎新

履歎 線集

function template
<memory>

std::uninitialized_value_construct_n(C++17)

namespace std {
  template <class ForwardIterator, class Size>
  ForwardIterator
    uninitialized_value_construct_n(ForwardIterator first,
                                    Size n); // (1) C++17
  template <class ForwardIterator, class Size>
  constexpr ForwardIterator
    uninitialized_value_construct_n(ForwardIterator first,
                                    Size n); // (1) C++26

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

抂芁

未初期化領域の範囲のうち、先頭N個の芁玠を倀構築する。

未初期化領域の入力むテレヌタ範囲[first, first + n)の各芁玠を倀構築する (れロ初期化する)。

効果

以䞋ず等䟡

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

䟋倖

呌び出すコンストラクタなどから䟋倖が送出された堎合、その䟋倖がこの関数の倖偎に䌝播される前に、その時点で構築枈のオブゞェクトは党お未芏定の順序で砎棄される。すなわち、䟋倖が送出された堎合は初期化察象領域は未初期化のたたずなる。

䟋

#include <iostream>
#include <memory>

struct Vector {
  int x, y;
};

int main()
{
  std::allocator<Vector> alloc;

  // メモリ確保。
  // この段階では、[p, p + size)の領域は未初期化
  const std::size_t size = 3;
  Vector* p = alloc.allocate(size);

  // 未初期化領域[p, p + size)を倀構築
  std::uninitialized_value_construct_n(p, size);

  // 各芁玠を出力
  for (std::size_t i = 0; i < size; ++i) {
    const Vector& v = *(p + i);
    std::cout << v.x << ',' << v.y << std::endl;
  }

  // オブゞェクトを砎棄
  std::destroy(p, p + size);

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

出力䟋

0,0
0,0
0,0

バヌゞョン

蚀語

  • C++17

凊理系

関連項目

参照