- memory[meta header]
- std::ranges[meta namespace]
- function template[meta id-type]
- cpp20[meta cpp]
namespace std::ranges {
template <no-throw-forward-iterator I, class T>
requires constructible_from<iter_value_t<I>, const T&>
I uninitialized_fill_n(I first, iter_difference_t<I> n, const T& x); // (1) C++20
}- no-throw-forward-iterator[link no-throw-forward-iterator.md]
- constructible_from[link /reference/concepts/constructible_from.md]
- iter_value_t[link /reference/iterator/iter_value_t.md]
- iter_difference_t[link /reference/iterator/iter_difference_t.md]
未初期化領域の範囲 ([first, first + n)) を、指定された値で配置newで初期化する。
- (1):
Iがno-throw-forward-iteratorであるIの要素型が、const T&型を引数として構築可能である
以下と等価である：
return uninitialized_fill(counted_iterator(first, n), default_sentinel, x).base();- uninitialized_fill[link ranges_uninitialized_fill.md]
- counted_iterator[link /reference/iterator/counted_iterator.md]
- default_sentinel[link /reference/iterator/default_sentinel_t.md]
- base()[link /reference/iterator/counted_iterator/base.md]
呼び出すコンストラクタなどから例外がスローされた場合、その例外がこの関数の外側に伝播される前に、その時点で構築済のオブジェクトは全て未規定の順序で破棄される。すなわち、例外がスローされた場合は初期化対象領域は未初期化のままとなる。
#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, p + size)を初期化しつつ、値2で埋める
std::ranges::uninitialized_fill_n(p, size, 2);
// pの領域が初期化され、かつ範囲pの全ての要素が2で埋められているか確認
std::for_each(p, p + size, [](int x) {
std::cout << x << std::endl;
});
// 要素を破棄
std::ranges::destroy_n(p, size);
// メモリ解放
alloc.deallocate(p, size);
}- std::ranges::uninitialized_fill_n[color ff0000]
- std::allocator[link allocator.md]
- alloc.allocate[link allocator/allocate.md]
- std::ranges::destroy_n[link ranges_destroy_n.md]
- alloc.deallocate[link allocator/deallocate.md]
2
2
2
- C++20
- Clang: 16.0
- GCC: 10.2.0
- Visual C++: 2019 Update 10