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)