std::allocator<T>::allocate
来自 cppreference.com
| (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 起) | |
分配 n * sizeof(T) 字节的未初始化存储，方法是调用 ::operator new(std::size_t) 或 ::operator new(std::size_t, std::align_val_t)(自 C++17 起)，但何时以及如何调用该函数是未指定的。指针 hint 可用于提供引用局部性：分配器（如果实现支持）将尝试尽可能靠近 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 578 | C++98 | hint 必须是 0 或 之前从 allocate() 返回的指针并且尚未传递给 deallocate() |
没有要求 |
| LWG 3190 | C++11 | allocate() 可能会分配错误大小的存储 |
改为抛出 std::bad_array_new_length |
[编辑] 另请参阅
| [static] |
使用分配器分配未初始化的存储 ( std::allocator_traits<Alloc> 的公共静态成员函数) |
