std::ranges::uninitialized_default_construct_n
ja.cppreference.net より
| ヘッダ <memory>
|
||
| で定義
|
||
template< /*nothrow-forward-iterator*/ I >
requires std::default_initializable<std::iter_value_t<I>>
I uninitialized_default_construct_n( I first,
std::iter_difference_t<I> count );
|
(1) | (C++20以上) (C++26以上でconstexpr) |
template< /*execution-policy*/ Ep, /*nothrow-random-access-iterator*/ I >
requires std::default_initializable<std::iter_value_t<I>>
I uninitialized_default_construct_n( Ep&& policy, I first,
std::iter_difference_t<I> count );
|
(2) | (C++26以上) |
/*execution-policy*/の定義については、このページを参照してください。他の説明専用コンセプトの定義については、このページを参照してください。
1) コピー先レンジ
first + [0, count) 内の要素を、あたかもデフォルト初期化によって次のように構築します。
return ranges::uninitialized_default_construct(std::counted_iterator(first, count),
std::default_sentinel).base();
初期化中に例外が送出された場合、既に構築されたオブジェクトは未規定の順序で破棄されます。
2) (1) と同じですが、
policyに従って実行されます。このページで説明されている関数のようなエンティティは、アルゴリズム関数オブジェクト (非公式には niebloids として知られています) であり、その特徴は以下の通りです:
- それらのいずれかを呼び出す際に、明示的なテンプレート引数リストを指定することはできません。
- それらのいずれも引数依存の名前探索では可視ではありません。
- 関数呼び出し演算子の左側の名前として通常の非修飾名前探索によってそれらのいずれかが見つかった場合、引数依存の名前探索は抑制されます。
パラメータ
| first | - | 初期化する要素の範囲の先頭 |
| count | - | 構築する要素の数 |
| policy | - | 使用する実行ポリシー |
戻り値
上記の通り。
例外
コピー先範囲の要素の構築時に投げられるあらゆる例外。
2) 実行処理中:
- 並列化に必要な一時メモリリソースが利用できない場合、std::bad_allocが投げられる。
- アルゴリズムの実引数を介してオブジェクトにアクセスしているときにキャッチされない例外が投げられた場合、その動作は実行ポリシーによって決定される（標準のポリシーでは、std::terminateが呼び出される）。
備考
実装は、std::iter_value_t<I>オブジェクトをデフォルト初期化する際に自明でないデフォルトコンストラクタが呼び出されない場合、そのオブジェクトの構築を（観察可能な効果を変えずに）省略することができます。これはstd::is_trivially_default_constructibleによって検出可能です。
| 機能テストマクロ | 値 | 標準 | 機能 |
|---|---|---|---|
__cpp_lib_parallel_algorithm |
202506L |
(C++26) | 並列範囲アルゴリズム |
__cpp_lib_raw_memory_algorithms |
202411L |
(C++26) | constexpr特殊化されたアルゴリズム用<memory>の、(1)
|
実装例
struct uninitialized_default_construct_n_fn
{
template</*nothrow-forward-iterator*/ I>
requires std::default_initializable<std::iter_value_t<I>>
constexpr I operator()(I first, std::iter_difference_t<I> count) const
{
auto iter = std::counted_iterator(first, count);
return ranges::uninitialized_default_construct(iter, std::default_sentinel).base();
}
};
inline constexpr uninitialized_default_construct_n_fn uninitialized_default_construct_n{};
|
例
このコードを実行する
#include <cstring>
#include <iostream>
#include <memory>
#include <string>
int main()
{
struct S { std::string m{"█▓▒░ █▓▒░ "}; };
constexpr int n{4};
alignas(alignof(S)) char out[n * sizeof(S)];
try
{
auto first{reinterpret_cast<S*>(out)};
auto last = std::ranges::uninitialized_default_construct_n(first, n);
auto count{1};
for (auto it{first}; it != last; ++it)
std::cout << count++ << ' ' << it->m << '\n';
std::ranges::destroy(first, last);
}
catch (...)
{
std::cout << "Exception!\n";
}
// For scalar types, uninitialized_default_construct_n
// generally does not zero-fill the given uninitialized memory area.
constexpr int sample[]{1, 2, 3, 4, 5, 6};
int v[]{1, 2, 3, 4, 5, 6};
std::ranges::uninitialized_default_construct_n(std::begin(v), std::size(v));
if (std::memcmp(v, sample, sizeof(v)) == 0)
{
// Maybe undefined behavior, pending CWG 1997:
// for (const int i : v) { std::cout << i << ' '; }
for (const int i : sample)
std::cout << i << ' ';
}
else
std::cout << "Unspecified!";
std::cout << '\n';
}
出力例:
1 █▓▒░ █▓▒░
2 █▓▒░ █▓▒░
3 █▓▒░ █▓▒░
4 █▓▒░ █▓▒░
1 2 3 4 5 6
関連項目
| 範囲で定義された未初期化記憶域にデフォルト初期化によりオブジェクトを構築する (アルゴリズム関数オブジェクト) | |
| 範囲で定義された未初期化記憶域に値初期化によりオブジェクトを構築する (アルゴリズム関数オブジェクト) | |
| 開始点と個数で定義された未初期化記憶域に値初期化によりオブジェクトを構築する (アルゴリズム関数オブジェクト) | |
| 開始点と個数で定義された未初期化記憶域にデフォルト初期化によりオブジェクトを構築する (関数テンプレート) |