std::uninitialized_copy_n
来自 cppreference.cn
定义于头文件 <memory> |
||
template< class InputIt, class Size, class NoThrowForwardIt > NoThrowForwardIt uninitialized_copy_n( InputIt first, Size count, |
(1) | (C++11 起) (C++26 起为 constexpr) |
template< class ExecutionPolicy, class ForwardIt, class Size, class NoThrowForwardIt > |
(2) | (C++17 起) |
1) 从起始于 first 的范围复制 count 个元素到起始于 d_first 的未初始化内存区域,如同通过
for (; count > 0; ++d_first, (void) ++first, --count)
::new (voidify
(*d_first))
typename std::iterator_traits<NoThrowForwardIt>::value_type(*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 起) |
若 d_first |
(C++20 起) |
目录 |
[编辑] 参数
first | - | 要复制的元素范围的起始 |
count | - | 要复制的元素数量 |
d_first | - | 目标范围的开头 |
policy | - | 要使用的 执行策略 |
类型要求 | ||
-InputIt 必须满足 LegacyInputIterator 的要求。 | ||
-ForwardIt 必须满足 LegacyForwardIterator 的要求。 | ||
-NoThrowForwardIt 必须满足 LegacyForwardIterator 的要求。 | ||
-通过 `NoThrowForwardIt` 的有效实例,不允许递增、赋值、比较或间接引用抛出异常。 |
[编辑] 返回值
指向最后一个被复制元素之后的元素的迭代器。
[编辑] 复杂度
关于 count 的线性复杂度。
[编辑] 异常
带有名为 ExecutionPolicy
的模板参数的重载会按如下方式报告错误:
- 若作为算法一部分调用的函数执行抛出异常且
ExecutionPolicy
为标准策略之一,则调用 std::terminate。对于任何其他ExecutionPolicy
,行为是实现定义的。 - 如果算法未能分配内存,则抛出 std::bad_alloc。
[编辑] 注解
特性测试宏 | 值 | 标准 | 特性 |
---|---|---|---|
__cpp_lib_raw_memory_algorithms |
202411L |
(C++26) | constexpr 对于未初始化内存算法,(1) |
[编辑] 可能的实现
template<class InputIt, class Size, class NoThrowForwardIt> constexpr NoThrowForwardIt uninitialized_copy_n(InputIt first, Size count, NoThrowForwardIt d_first) { using T = typename std::iterator_traits<NoThrowForwardIt>::value_type; NoThrowForwardIt current = d_first; try { for (; count > 0; ++first, (void) ++current, --count) ::new (static_cast<void*>(std::addressof(*current))) T(*first); } catch (...) { for (; d_first != current; ++d_first) d_first->~T(); throw; } return current; } |
[编辑] 示例
运行此代码
#include <algorithm> #include <iostream> #include <memory> #include <string> #include <tuple> #include <vector> int main() { std::vector<std::string> v = {"This", "is", "an", "example"}; std::string* p; std::size_t sz; std::tie(p, sz) = std::get_temporary_buffer<std::string>(v.size()); sz = std::min(sz, v.size()); std::uninitialized_copy_n(v.begin(), sz, p); for (std::string* i = p; i != p + sz; ++i) { std::cout << *i << ' '; i->~basic_string<char>(); } std::cout << '\n'; std::return_temporary_buffer(p); }
可能的输出
This is an example
[编辑] 缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
缺陷报告 | 应用于 | 发布时的行为 | 正确的行为 |
---|---|---|---|
LWG 2133 | C++98 | 效果描述使用了带有迭代 表达式 ++d_first, ++first, --count 的 for 循环,它 导致 operator, 的实参依赖查找 |
丢弃了一个操作数的 值以 禁用那些 ADL |
LWG 2433 | C++11 | 此算法可能被重载的 operator& 劫持 | 使用 std::addressof |
LWG 3870 | C++20 | 此算法可能在 const 存储上创建对象 | 保持不允许 |
[编辑] 参阅
将对象范围复制到未初始化内存区域 (函数模板) | |
(C++20) |
将一定数量的对象复制到未初始化内存区域 (算法函数对象) |