std::vector<T,Allocator>::reserve

 

C++

编译器支持

独立和宿主式

语言

标准库

标准库头文件

命名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

容器库

序列

array (C++11)

vector

vector<bool>

inplace_vector (C++26)

hive (C++26)

deque

forward_list (C++11)

list

关联式

set

multiset

map

multimap

无序关联式

unordered_set (C++11)

unordered_multiset (C++11)

unordered_map (C++11)

unordered_multimap (C++11)

适配器

stack

queue

priority_queue

flat_set (C++23)

flat_multiset (C++23)

flat_map (C++23)

flat_multimap (C++23)

视图

span (C++20)

mdspan (C++23)

表格

迭代器失效

成员函数表

非成员函数表

 

std::vector

成员类型
成员函数
vector::vector vector::~vector vector::operator= vector::assign vector::assign_range (C++23)   vector::get_allocator 元素访问 vector::operator[] vector::at vector::data vector::front vector::back 迭代器 vector::beginvector::cbegin (C++11) vector::endvector::cend (C++11) vector::rbeginvector::crbegin (C++11) vector::rendvector::crend (C++11)	容量 vector::empty vector::size vector::max_size vector::reserve vector::capacity vector::shrink_to_fit (DR*) 修改器 vector::clear vector::erase vector::insert vector::insert_range (C++23) vector::append_range (C++23) vector::emplace (C++11) vector::emplace_back (C++11) vector::push_back vector::pop_back vector::resize vector::swap
非成员函数
operator==operator<=> (C++20) swap(std::vector) erase(std::vector)erase_if(std::vector) (C++20)(C++20)	operator!=operator<operator>operator<=operator>= (直到 C++20)(直到 C++20)(直到 C++20)(直到 C++20)(直到 C++20)
推导指引(C++17)

 

void reserve( size_type new_cap );		(constexpr since C++20)

增加 vector 的容量（vector 可以容纳而无需重新分配的元素总数）到一个大于或等于 new_cap 的值。如果 new_cap 大于当前的 capacity()，则会分配新的存储空间，否则该函数不执行任何操作。

reserve() 不会更改 vector 的大小。

如果 new_cap 大于 capacity()，则所有迭代器（包括 end() 迭代器）以及对元素的所有引用都将失效。否则，迭代器或引用均不会失效。

在调用 reserve() 之后，除非插入操作会导致 vector 的大小大于 capacity() 的值，否则插入操作将不会触发重新分配。

参数

new_cap	-	vector 的新容量，以元素数量为单位
类型要求
- T 必须满足 MoveInsertable 到 *this 的要求。 (C++11 起)

返回值

(无)

异常

• std::length_error 如果 new_cap > max_size()。
• Allocator::allocate() 抛出的任何异常（通常是 std::bad_alloc）。

如果抛出异常，则此函数无效（强异常安全保证）。

如果 T 的移动构造函数不是 noexcept 且 T 不是 CopyInsertable 到 *this，vector 将使用可能抛出异常的移动构造函数。如果它抛出异常，则保证被放弃，并且效果是未指定的。

(C++11 起)

复杂度

最多与容器的 size() 成线性关系。

注释

正确使用 reserve() 可以防止不必要的重新分配，但不恰当地使用 reserve()（例如，在每次 push_back() 调用之前调用它）实际上可能会增加重新分配的次数（通过导致容量线性而不是指数增长），并导致计算复杂性增加和性能下降。例如，接收对任意 vector 的引用的函数，并向其追加元素，通常不应在 vector 上调用 reserve()，因为它不知道 vector 的使用特性。

当插入一个范围时，通常首选 insert() 的范围版本，因为它保留了正确的容量增长行为，这与 reserve() 后跟一系列 push_back() 不同。

reserve() 不能用于减少容器的容量；为此提供了 shrink_to_fit()。

示例

运行此代码

#include <cstddef>
#include <iostream>
#include <new>
#include <vector>
 
// minimal C++11 allocator with debug output
template<class Tp>
struct NAlloc
{
    typedef Tp value_type;
 
    NAlloc() = default;
    template<class T>
    NAlloc(const NAlloc<T>&) {}
 
    Tp* allocate(std::size_t n)
    {
        n *= sizeof(Tp);
        Tp* p = static_cast<Tp*>(::operator new(n));
        std::cout << "allocating " << n << " bytes @ " << p << '\n';
        return p;
    }
 
    void deallocate(Tp* p, std::size_t n)
    {
        std::cout << "deallocating " << n * sizeof *p << " bytes @ " << p << "\n\n";
        ::operator delete(p);
    }
};
 
template<class T, class U>
bool operator==(const NAlloc<T>&, const NAlloc<U>&) { return true; }
 
template<class T, class U>
bool operator!=(const NAlloc<T>&, const NAlloc<U>&) { return false; }
 
int main()
{
    constexpr int max_elements = 32;
 
    std::cout << "using reserve: \n";
    {
        std::vector<int, NAlloc<int>> v1;
        v1.reserve(max_elements); // reserves at least max_elements * sizeof(int) bytes
 
        for (int n = 0; n < max_elements; ++n)
            v1.push_back(n);
    }
 
    std::cout << "not using reserve: \n";
    {
        std::vector<int, NAlloc<int>> v1;
 
        for (int n = 0; n < max_elements; ++n)
        {
            if (v1.size() == v1.capacity())
                std::cout << "size() == capacity() == " << v1.size() << '\n';
            v1.push_back(n);
        }
    }
}

可能的输出

using reserve: 
allocating 128 bytes @ 0xa6f840
deallocating 128 bytes @ 0xa6f840
 
not using reserve: 
size() == capacity() == 0
allocating 4 bytes @ 0xa6f840
 
size() == capacity() == 1
allocating 8 bytes @ 0xa6f860
deallocating 4 bytes @ 0xa6f840
 
size() == capacity() == 2
allocating 16 bytes @ 0xa6f840
deallocating 8 bytes @ 0xa6f860
 
size() == capacity() == 4
allocating 32 bytes @ 0xa6f880
deallocating 16 bytes @ 0xa6f840
 
size() == capacity() == 8
allocating 64 bytes @ 0xa6f8b0
deallocating 32 bytes @ 0xa6f880
 
size() == capacity() == 16
allocating 128 bytes @ 0xa6f900
deallocating 64 bytes @ 0xa6f8b0
 
deallocating 128 bytes @ 0xa6f900

缺陷报告

以下行为变更缺陷报告已追溯应用于先前发布的 C++ 标准。

DR	应用于	已发布行为	正确行为
LWG 329	C++98	如果插入操作使 vector 的大小大于 最近一次调用 reserve() 中指定的大小，则可能会触发重新分配 最近一次调用 reserve() 中指定的大小，则可能会触发重新分配	仅当 vector 的大小 变得大于 capacity() 时才触发 变得大于 capacity() 时才触发
LWG 2033	C++11	T 不需要是 MoveInsertable	需要

参见

capacity	返回当前已分配存储空间中可以容纳的元素数量 (公共成员函数)
max_size	返回最大可能的元素数量 (公共成员函数)
resize	更改存储的元素数量 (公共成员函数)
shrink_to_fit (DR*)	通过释放未使用的内存来减少内存使用量 (公共成员函数)