std::allocator<T>::allocate
来自 cppreference.cn
(1) | ||
pointer allocate( size_type n, const void* hint = 0 ); |
(直到 C++17) | |
T* allocate( std::size_t n, const void* hint ); |
(自 C++17 起) (已弃用) (C++20 中移除) |
|
(2) | ||
T* allocate( std::size_t n ); |
(自 C++17 起) (直到 C++20) |
|
constexpr T* allocate( std::size_t n ); |
(自 C++20 起) | |
通过调用 ::operator new(std::size_t) 分配 n * sizeof(T) 字节的未初始化存储,或 ::operator new(std::size_t, std::align_val_t)(自 C++17 起),但不指定何时以及如何调用此函数。指针 hint 可用于提供引用局部性:分配器(如果实现支持)将尝试分配新的内存块,使其尽可能靠近 hint。
然后,此函数在存储中创建类型为 T[n]
的数组并开始其生命周期,但不启动其任何元素的生命周期。
如果 T
是不完整类型,则使用此函数是非良构的。
为了在常量表达式中使用此函数,已分配的存储必须在同一表达式的评估中被释放。 |
(自 C++20 起) |
内容 |
[edit] 参数
n | - | 要为其分配存储的对象数量 |
hint | - | 指向附近内存位置的指针 |
[edit] 返回值
指向类型为 T
的 n 个对象的数组的第一个元素的指针,这些元素的元素尚未构造。
[edit] 异常
如果 std::numeric_limits<std::size_t>::max() / sizeof(T) < n,则抛出 std::bad_array_new_length。 |
(自 C++11 起) |
如果分配失败,则抛出 std::bad_alloc。
[edit] 注解
“未指定何时以及如何”的措辞使得标准库容器可以组合或优化掉堆分配,即使对于直接调用 ::operator new
来说,这种优化是不允许的。 例如,libc++ 实现了这一点([1] 和 [2])。
在调用 allocate()
之后和构造元素之前,T*
的指针算术在已分配的数组中是良好定义的,但如果访问元素,则行为未定义。
[edit] 缺陷报告
以下行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。
DR | 应用于 | 已发布行为 | 正确行为 |
---|---|---|---|
LWG 578 | C++98 | hint 必须为 0 或 先前从 allocate() 返回的指针且尚未传递给 deallocate() |
不是必需的 |
LWG 3190 | C++11 | allocate() 可能会分配大小错误的存储 |
改为抛出 std::bad_array_new_length |
[edit] 参见
[静态的] |
使用分配器分配未初始化的存储 ( std::allocator_traits<Alloc> 的公共静态成员函数) |