std::uninitialized_fill

namespace std {
  template <class ForwardIterator, class T>
  void
    uninitialized_fill(ForwardIterator first,
                       ForwardIterator last,
                       const T& x);           // (1) C++98
  template <class NoThrowForwardIterator,
            class T = typename iterator_traits<NoThrowForwardIterator>::value_type>
  constexpr void
    uninitialized_fill(NoThrowForwardIterator first,
                       NoThrowForwardIterator last,
                       const T& x);           // (1) C++26

  template <class ExecutionPolicy, class ForwardIterator, class T>
  void
    uninitialized_fill(ExecutionPolicy&& exec,
                       ForwardIterator first,
                       ForwardIterator last,
                       const T& x);           // (2) C++17
  template <class ExecutionPolicy,
            class NoThrowForwardIterator,
            class T = typename iterator_traits<NoThrowForwardIterator>::value_type>
  void
    uninitialized_fill(ExecutionPolicy&& exec,
                       NoThrowForwardIterator first,
                       NoThrowForwardIterator last,
                       const T& x);           // (2) C++26
}

概要

未初期化領域の範囲を、指定された値で配置newする。

未初期化入力イテレータ範囲[first, last)を初期化しつつ値xで埋める。

効果

C++98 : 以下と等価

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

C++17 : 以下と等価

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

戻り値

なし

例外

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

備考

(1), (2) :
- C++26 : 引数として波カッコ初期化{}を受け付ける
```
std::uninitialized_fill(p, p + size, {a, b});
```

例

基本的な使い方

#include <iostream>
#include <memory>
#include <algorithm>

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

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

  // 未初期化領域pを初期化しつつ、値2で埋める
  std::uninitialized_fill(p, p + size, 2);

  // pの領域が初期化され、かつ範囲pの全ての要素が2で埋められているか確認
  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);
}

出力

2
2
2

波カッコ初期化を入力として使用する (C++26)

#include <iostream>
#include <memory>

struct Point {
  int x;
  int y;
};

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

  const std::size_t size = 3;
  Point* p = alloc.allocate(size);

  // 波カッコ初期化を直接渡せる
  std::uninitialized_fill(p, p + size, {1, 2});

  for (std::size_t i = 0; i < size; ++i) {
    std::cout << p[i].x << "," << p[i].y << std::endl;
  }

  for (std::size_t i = 0; i < size; ++i) {
    std::destroy_at(p + i);
  }
  alloc.deallocate(p, size);
}

出力

1,2
1,2
1,2

参照

LWG Issue 2433 uninitialized_copy()/etc. should tolerate overloaded operator&
P3508R0 Wording for "constexpr for specialized memory algorithms"
- C++26からconstexprがついた
P3787R2 Adjoints to "Enabling list-initialization for algorithms": uninitialized_fill
- C++26で値型をイテレータから推論するよう拡張され、波カッコ初期化を直接渡せるようになった
LWG Issue 866. Qualification of placement new-expressions
- C++11で、uninitialized_fillが要素を構築する際に使用する配置newが::newと修飾された。修飾がないと、要素型がクラススコープのoperator newをオーバーロードしている場合にそちらが選ばれてしまい、対応するoperator deleteが呼ばれず不整合を起こすため

std::uninitialized_fill

概要

効果

戻り値

例外

備考

例

基本的な使い方

出力

波カッコ初期化を入力として使用する (C++26)

出力

関連項目

参照