std::vector<std::string>是否需要手動(dòng)內(nèi)存釋放？

vector<int>無(wú)需釋放內(nèi)存，但是vector<string>需要swap釋放
當(dāng)然你會(huì)疑惑 int無(wú)需釋放內(nèi)存，string 也無(wú)需釋放內(nèi)存（會(huì)自動(dòng)析構(gòu)釋放），但是為什么在vector中不一樣？
vector<int>等內(nèi)置類(lèi)型無(wú)需釋放內(nèi)存，自動(dòng)釋放。string類(lèi)型的本質(zhì)是指針，vector<string> ,vector<int*>等指針類(lèi)型需要手動(dòng)swap釋放。

vector<string>析構(gòu)時(shí)，vector和string申請(qǐng)的內(nèi)存都會(huì)被正確釋放，不會(huì)引發(fā)內(nèi)存泄漏。但這些內(nèi)存不一定會(huì)被返還給操作系統(tǒng)。即這一部分內(nèi)存已經(jīng)可用，但依然被進(jìn)程持有，參見(jiàn)。注：std::vector<std::string>().swap(x)在釋放內(nèi)存上的效果和直接析構(gòu)x沒(méi)有區(qū)別，它依賴(lài)于vector的析構(gòu)來(lái)完成內(nèi)存釋放。這種方案可以安全的清空x，并釋放其持有的內(nèi)存，隨后x依然可用。

如果你在vector被析構(gòu)前觀察到大量?jī)?nèi)存未被釋放，那么可能是vector額外持有內(nèi)存導(dǎo)致的（調(diào)用vector::capacity可檢查vector持有多少內(nèi)存）。vector的內(nèi)存管理機(jī)制會(huì)導(dǎo)致這一現(xiàn)象——vector可能不會(huì)在移除元素后釋放內(nèi)存，vector可能會(huì)申請(qǐng)多一倍的內(nèi)存——這是為了降低添加/移除元素時(shí)的拷貝開(kāi)銷(xiāo)。

在需要釋放vector持有的額外內(nèi)存時(shí)，標(biāo)準(zhǔn)做法是調(diào)用 vector::shrink_to_fit ?？紤]到shrink_to_fit是實(shí)現(xiàn)相關(guān)的，也可以自己編寫(xiě)一個(gè):

std::vector<std::string> a(100, "abc");
a.erase(a.begin(), a.begin() + 10);
{ // shrink to fit
    std::vector<std::string> b;
    b.reserve(a.size());
    std::move(a.begin(), a.end(), std::back_inserter(b));
    a = std::move(b);
}
{ // another workaround
    a = std::vector<std::string>(std::make_move_iterator(a.begin()), std::make_move_iterator(a.end()));
}

vector這么做是為了避免頻繁分配內(nèi)存和拷貝。因?yàn)関ector設(shè)計(jì)接近數(shù)組，要求數(shù)據(jù)連續(xù)存放。如果刪除元素就釋放內(nèi)存，以后再添加可能會(huì)連續(xù)可用空間不夠，需要移動(dòng)到其他的內(nèi)存區(qū)域。因?yàn)閟tring內(nèi)部的字符串?dāng)?shù)據(jù)在堆里，并沒(méi)有直接放在vector中，而且從vector中刪除時(shí)會(huì)釋放掉數(shù)據(jù)。所以你不必?fù)?dān)心vector沒(méi)有釋放的空間，一般都是很小的。除非你的vector的數(shù)據(jù)量變化幅度極大，一般是不用收縮vector的。