命名空间
变体
操作

std::allocator<T>::allocate

来自 cppreference.cn
< cpp‎ | memory‎ | allocator
 
 
内存管理库
(仅为阐释目的*)
未初始化内存算法
(C++17)
(C++17)
(C++17)
受约束的未初始化
内存算法
C 库

分配器
内存资源
垃圾回收支持
(C++11)(直到 C++23)
(C++11)(直到 C++23)
(C++11)(直到 C++23)
(C++11)(直到 C++23)
(C++11)(直到 C++23)
(C++11)(直到 C++23)
未初始化存储
(直到 C++20*)
(直到 C++20*)
显式生命周期管理
 
 
(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] 返回值

指向类型为 Tn 个对象的数组的第一个元素的指针,这些元素的元素尚未构造。

[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> 的公共静态成员函数) [编辑]