std::allocator<T>::allocate_at_least
来自 cppreference.com
| constexpr std::allocation_result<T*, std::size_t> allocate_at_least( std::size_t n ); |
(since C++23) | |
分配 count * sizeof(T) 字节的未初始化存储，其中 count 是一个不小于 n 的未指定整数值，通过调用 ::operator new （可能带有额外的 std::align_val_t 参数）实现，但此函数何时以及如何调用是未指定的。
然后，此函数在存储中创建类型为 T[count] 的数组，并开始其生命周期，但不会启动其任何元素的生命周期。
为了在常量表达式中使用此函数，分配的存储必须在同一个表达式的求值过程中被释放。
如果 T 是一个 不完全类型，则使用此函数是非法的。
内容 |
[编辑] 参数
| n | - | 要为其分配存储空间的对象数量的下限 |
[编辑] 返回值
std::allocation_result<T*>{p, count}，其中 p 指向类型为 T 的 count 个对象数组的第一个元素，其元素尚未构造。
[编辑] 异常
如果 std::numeric_limits<std::size_t>::max() / sizeof(T) < n，则抛出 std::bad_array_new_length，或者如果分配失败，则抛出 std::bad_alloc。
[编辑] 注释
allocate_at_least 主要为连续容器提供，例如 std::vector 和 std::basic_string，以便通过使容器的容量尽可能匹配实际分配的大小来减少重新分配。
“未指定何时以及如何”的措辞使得标准库容器进行的堆分配可以进行 组合或优化，即使对于直接调用 ::operator new，这种优化也是不允许的。例如，libc++ 就是通过这种方式实现的（[1] 和 [2]）。
在调用 allocate_at_least 之后并在构造元素之前，T* 的指针运算在分配的数组内是定义良好的，但如果访问元素，则行为是未定义的。
| 功能测试 宏 | 值 | Std | 功能 |
|---|---|---|---|
__cpp_lib_allocate_at_least |
202302L | (C++23) | allocate_at_least 等。 |
[编辑] 示例
运行这段代码
#include <memory> #include <print> int main() { const std::size_t count{69}; std::allocator<int> alloc; std::allocation_result res{alloc.allocate_at_least(count)}; std::print("count: {}\n" "res.ptr: {}\n" "res.count: {}\n", count, res.ptr, res.count); /* construct, use, then destroy elements */ alloc.deallocate(res.ptr, res.count); }
可能的输出
count: 69 res.ptr: 0x555a486a0960 res.count: 96
[编辑] 参见
| (C++23) |
记录 allocate_at_least 分配的存储空间的地址和实际大小(类模板) |
| [static] (C++23) |
通过分配器分配至少与请求大小一样大的存储空间 ( std::allocator_traits<Alloc> 的公共静态成员函数) |
