std::allocator<T>::allocate

来自cppreference.com
< cpp‎ | memory‎ | allocator
 
 
动态内存管理
智能指针
(C++11)
(C++11)
(C++11)
(C++17 前)
(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++11)(C++23 前)
杂项
(C++20)
(C++11)
(C++11)
C 库
低层内存管理
 
 
(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++ 标准。

DR 应用于 出版时的行为 正确行为
LWG 3190 C++11 allocate 可能分配大小错误的存储 替而抛出 bad_array_new_length

参阅

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