std::allocator<T>::allocate

来自cppreference.com
< cpp‎ | memory‎ | allocator
 
 
动态内存管理
未初始化内存算法
受约束的未初始化内存算法
分配器
垃圾收集支持
(C++11)(C++23 前)
(C++11)(C++23 前)
(C++11)(C++23 前)
(C++11)(C++23 前)
(C++11)(C++23 前)
(C++11)(C++23 前)



 
 
(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 前)
[[nodiscard]] constexpr T* allocate( std::size_t n );
(C++20 起)

调用 ::operator new(std::size_t) ::operator new(std::size_t, std::align_val_t) (C++17 起)分配 n * sizeof(T) 字节的未初始化存储,但何时及如何调用此函数是未指定的。指针 hint 可用于提供引用的局部性:如果实现支持,那么 allocator 会试图分配尽可能接近 hint 的新内存块。

然后,此函数在该存储中创建一个 T[n] 数组并开始其生存期,但不开始其任何元素的生存期。

如果 T不完整类型,那么此函数的使用非良构。

为了在常量表达式中使用此函数,必须在同一表达式的求值内解分配它分配的存储。

(C++20 起)

参数

n - 要分配存储的对象数
hint - 指向临近内存位置的指针

返回值

指向 T 类型的 n 个对象的数组首元素的指针,数组元素尚未构造。

异常

如果 std::numeric_limits<std::size_t>::max() / sizeof(T) < n,那么就会抛出 std::bad_array_new_length

(C++11 起)

如果分配失败,那么就会抛出 std::bad_alloc

注解

遣词“未指定何时及如何”令标准库容器可以组合或优化掉堆分配,即使对直接调用 ::operator new 禁止这种优化。例如 libc++ 实现了它([1][2]

在调用 allocate() 后、构造元素前,T* 的指针算术在分配的数组内是良定义的,但如果访问元素那么行为未定义。

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告 应用于 出版时的行为 正确行为
LWG 578 C++98 hint 必须是 0 或者先前从 allocate()
返回但还没有传递给 deallocate() 的指针
移除该要求
LWG 3190 C++11 allocate() 可能分配大小错误的存储 改成抛出 std::bad_array_new_length

参阅

[静态]
用分配器分配未初始化的存储
(std::allocator_traits<Alloc> 的公开静态成员函数)