namespace std::ranges {
template <no-throw-forward-iterator I>
requires default_initializable<iter_value_t<I>>
I
uninitialized_default_construct_n(I first,
iter_difference_t<I> n); // (1) C++20
template <no-throw-forward-iterator I>
requires default_initializable<iter_value_t<I>>
constexpr I
uninitialized_default_construct_n(I first,
iter_difference_t<I> n); // (1) C++26
}
概要
未初期化領域の範囲 ([first, first + n)) の各要素をデフォルト構築する。
テンプレートパラメータ制約
- (1):
Iがno-throw-forward-iteratorであるIの要素型が、デフォルト構築可能である
効果
以下と等価である：
return uninitialized_default_construct(counted_iterator(first, n),
default_sentinel).base();
例外
呼び出すコンストラクタなどから例外がスローされた場合、その例外がこの関数の外側に伝播される前に、その時点で構築済のオブジェクトは全て未規定の順序で破棄される。すなわち、例外がスローされた場合は初期化対象領域は未初期化のままとなる。
例
#include <iostream>
#include <memory>
#include <algorithm>
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::ranges::uninitialized_default_construct_n(p, size);
// pの領域が初期化され、かつ範囲pの全ての要素が2で埋められているか確認
std::for_each(p, p + size, [](const Vector& v) {
std::cout << v.x << ',' << v.y << std::endl;
});
// 要素を破棄
std::ranges::destroy_n(p, size);
// メモリ解放
alloc.deallocate(p, size);
}
32
std::ranges::uninitialized_default_construct_n(p, size);#include <iostream>#include <memory>#include <algorithm>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)の各要素をデフォルト構築出力例
1445540552,1445540279
0,1445540279
0,1445540279
バージョン
言語
- C++20
処理系
- Clang: 16.0 ✅
- GCC: 10.2.0 ✅
- Visual C++: 2019 Update 10 ✅