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

 

C++

编译器支持

自由（freestanding）与宿主（hosted）

语言

标准库

标准库头文件

具名要求

特性测试宏 (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>= (until C++20)(until C++20)(until C++20)(until C++20)(until C++20)
推导指南(C++17)

 

void reserve( size_type new_cap );		(C++20 起为 constexpr)

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

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

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

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

参数

new_cap	-	vector 的新容量，以元素数量表示
类型要求
- T 必须满足可移动插入到 *this 的要求。(C++11 起)

返回值

(无)

异常

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

如果抛出异常，此函数不产生任何效果（强异常保证）。

如果 T 的移动构造函数不是 noexcept 且 T 不可复制插入到 *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++ 标准。

缺陷报告	应用于	发布时的行为	正确的行为
LWG 329	C++98	如果插入操作 使 vector 的大小大于 最近一次调用 reserve() 中指定的大小	可能会触发重新分配 仅当 vector 的大小 变得大于 capacity() 时才触发
LWG 2033	C++11	未要求 T 可移动插入	需要

参阅

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