std::uninitialized_default_construct_n
来自cppreference.com
在标头 <memory> 定义
|
||
template< class ForwardIt, class Size > ForwardIt uninitialized_default_construct_n( ForwardIt first, Size n ); |
(1) | (C++17 起) |
template< class ExecutionPolicy, class ForwardIt, class Size > ForwardIt uninitialized_default_construct_n( ExecutionPolicy&& policy, |
(2) | (C++17 起) |
1) 如同用以下方式在 first 起始的存储中通过默认初始化构造 n 个 typename std::iterator_traits<ForwardIt>::value_type 类型对象:
for (; n > 0; (void) ++first, --n)
::new (static_cast<void*>(std::addressof(*first)))
typename std::iterator_traits<ForwardIt>::value_type;
::new (static_cast<void*>(std::addressof(*first)))
typename std::iterator_traits<ForwardIt>::value_type;
如果初始化中抛出了异常,那么以未指定的顺序销毁已构造的对象。
2) 同 (1),但按照 policy 执行。此重载只有在
是 true 时时才会参与重载决议。
std::is_execution_policy_v<std::decay_t<ExecutionPolicy>> |
(C++20 前) |
std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>> |
(C++20 起) |
参数
first | - | 要初始化的元素范围的起始 |
n | - | 要初始化的元素个数 |
policy | - | 所用的执行策略。细节见执行策略。 |
类型要求 | ||
-ForwardIt 必须满足老式向前迭代器 (LegacyForwardIterator) 。
| ||
-通过 ForwardIt 合法实例的自增、赋值、比较或间接均不抛出异常。
|
返回值
对象范围的结尾(即 std::next(first, n))。
复杂度
与 n 成线性。
异常
拥有名为 ExecutionPolicy
的模板形参的重载按下列方式报告错误:
- 如果作为算法一部分调用的函数的执行抛出异常,且
ExecutionPolicy
是标准策略之一,那么调用 std::terminate。对于任何其他ExecutionPolicy
,行为由实现定义。 - 如果算法无法分配内存,那么抛出 std::bad_alloc。
可能的实现
template<class ForwardIt, class Size> ForwardIt uninitialized_default_construct_n(ForwardIt first, Size n) { using T = typename std::iterator_traits<ForwardIt>::value_type; ForwardIt current = first; try { for (; n > 0; (void) ++current, --n) ::new (const_cast<void*>(static_cast<const volatile void*>( std::addressof(*current)))) T; return current; } catch (...) { std::destroy(first, current); throw; } } |
示例
运行此代码
#include <cstring> #include <iostream> #include <memory> #include <string> struct S { std::string m{"默认值"}; }; int main() { constexpr int n{3}; alignas(alignof(S)) unsigned char mem[n * sizeof(S)]; try { auto first{reinterpret_cast<S*>(mem)}; auto last = std::uninitialized_default_construct_n(first, n); for (auto it{first}; it != last; ++it) std::cout << it->m << '\n'; std::destroy(first, last); } catch(...) { std::cout << "异常!\n"; } // 注意 uninitialized_default_construct_n 对于“平凡类型” // 通常不会以零填充未初始化的内存区域。 int v[]{1, 2, 3, 4}; const int original[]{1, 2, 3, 4}; std::uninitialized_default_construct_n(std::begin(v), std::size(v)); // 可能是未定义行为,等待 CWG 1997: // for (const int i : v) // std::cout << i << ' '; // 结果未指定: std::cout << (std::memcmp(v, original, sizeof(v)) == 0 ? "未修改\n" : "已修改\n"); }
可能的输出:
默认值 默认值 默认值 未修改
Defect reports
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
缺陷报告 | 应用于 | 出版时的行为 | 正确行为 |
---|---|---|---|
LWG 3870 | C++20 | 此算法可能在 const 存储上创建对象 | 保持禁止 |
参阅
在范围所定义的未初始化的内存区域以默认初始化构造对象 (函数模板) | |
在起始和计数所定义的未初始化内存区域以值初始化构造对象 (函数模板) | |
在起始与计数所定义的未初始化的内存区域以默认初始化构造对象 (niebloid) |