std::uninitialized_default_construct_n

在标头 `<memory>` 定义
template< class NoThrowForwardIt, class Size > NoThrowForwardIt uninitialized_default_construct_n ( NoThrowForwardIt first, Size count );	(1)	(C++17 起) (C++26 起为 constexpr)
template< class ExecutionPolicy, class NoThrowForwardIt, class Size > NoThrowForwardIt uninitialized_default_construct_n ( ExecutionPolicy&& policy, NoThrowForwardIt first, Size count );	(2)	(C++17 起)

1) 如同用以下方式在未初始化内存区域 first + [0, count) 上通过默认初始化构造 typename std::iterator_traits<NoThrowForwardIt>::value_type 类型对象：

for (; count > 0; (void)++first, --count)
::new (voidify(*first))
typename std::iterator_traits<NoThrowForwardIt>::value_type;
return first;

如果初始化中抛出了异常，那么以未指定的顺序销毁已构造的对象。

2) 同 (1)，但按照 policy 执行。

此重载只有在满足以下所有条件时才会参与重载决议：

`std::is_execution_policy_v<std::decay_t<ExecutionPolicy>>` 是 `true`。	(C++20 前)
`std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>>` 是 `true`。	(C++20 起)

first	-	要初始化的元素范围的起始
count	-	要初始化的元素个数
policy	-	所用的执行策略
类型要求
- `NoThrowForwardIt` 必须满足老式向前迭代器 (LegacyForwardIterator) 。
- 通过 `NoThrowForwardIt` 合法实例的自增、赋值、比较或间接均不抛出异常。

如上所述。

与 count 成线性。

拥有名为 ExecutionPolicy 的模板形参的重载按下列方式报告错误：

如果作为算法一部分调用的函数的执行抛出异常，且 ExecutionPolicy 是标准策略之一，那么调用 std::terminate。对于任何其他 ExecutionPolicy，行为由实现定义。
如果算法无法分配内存，那么抛出 std::bad_alloc。

功能特性测试宏	值	标准	功能特性
`__cpp_lib_raw_memory_algorithms`

目录