4. uninitialized_default_construct

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

履歴 編集

function template
<memory>

std::uninitialized_default_construct(C++17)

namespace std {
  template <class ForwardIterator>
  void uninitialized_default_construct(ForwardIterator first,
                                       ForwardIterator last); // (1)

  template <class ExecutionPolicy, class ForwardIterator>
  void uninitialized_default_construct(ExecutionPolicy&& exec,
                                       ForwardIterator first,
                                       ForwardIterator last); // (2)
}

概要

未初期化領域の範囲の各要素をデフォルト構築する。

未初期化領域の入力イテレータ範囲[first, last)の各要素をデフォルト構築する (ゼロ初期化しない)。

効果

以下と等価：

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

戻り値

なし

例外

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

備考

  • std::vectorクラスの要素数を変更する操作は、要素を値構築するためゼロ初期化が行われる。その値初期化のコストが気になるような場合に、デフォルト構築することでプログラマの責任で必要な分だけ任意に初期化でき、パフォーマンス向上が期待できるようになる。
    • 例としてBoost Container Libraryのvectorクラスには、要素数を変更するメンバ関数にデフォルト構築のオプションとしてdefault_initがある

例

#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_default_construct(p, 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);
}

出力例

1286073336,32742
1286073336,32742
-1,-1

バージョン

言語

  • C++17

処理系

関連項目

参照