std::vector内存清理

(Owed by: 春夜喜雨 http://blog.csdn.net/chunyexiyu)
参考：https://stackoverflow.com/questions/13944886/is-stdvector-memory-freed-upon-a-clear

引言

vector的堆内存申请大小取决于它的capacity大小，并不取决于size大小；并且capacity总是大于等于size；

例如，一个vector加入很多内容后，如果clear，size将会变成0，但capacity还是那么多，并不会减少。

vector析构的时候，才会把申请的堆内存释放掉。

~vector() noexcept
{// destroy the object_Tidy();
}

但有时，我们希望早点清理掉它，而不是等到vector析构的时候。

这时候我们就需要对它进行特殊处理了，使其能早些调用_Tidy()清理掉申请内存。

找到下面几种方式。

内存清理方法

vector的内存清理方式：
一种是借助从c++11开始提供的新方法shrink_to_fit()来清理；
一种是借助临时变量的析构函数；
一种是借助于=操作符重载实现，对内容重新构造时释放原内存；
一种是借助析构函数可重入性，主动调用；

std::vector<int> array;

方式一：
借助shrink_to_fit到size=0来完成释放

array.clear();
array.shrink_to_fit();

方式二：
借助数据swap转换到临时变量，临时变量析构，释放内存。
方式三：
借助右值传递到临时变量，临时变量析构，释放内存。

std::vector<int>().swap(array);
std::vector<int>(std::move(array));

方式四：
借助=操作符重新构造内容来促使原内容清理

array = std::vector<int>();

方式五：
(通常不推荐)借助vector析构函数的可重入性，主动调用析构，这样的话加上编译器生成的析构调用有两次，这就借助了析构的代码可重入特点。

array.std::vector<int>::~vector();

引用函数参考

_Tidy函数参考：

void _Tidy()
{// free all storagethis->_Orphan_all();if (this->_Myfirst() != pointer()){  // destroy and deallocate old array_Destroy(this->_Myfirst(), this->_Mylast());this->_Getal().deallocate(this->_Myfirst(), capacity());this->_Myfirst() = pointer();this->_Mylast() = pointer();this->_Myend() = pointer();}
}

shrink_to_fit实现参考：

void shrink_to_fit()
{// reduce capacity to size, provide strong guaranteeif (_Has_unused_capacity()){   // something to doif (empty()){_Tidy();}else{_Reallocate_exactly(size());}}

操作符=重载实现参考：

vector& operator=(vector&& _Right) _NOEXCEPT_COND(_Always_equal_after_move<_Alty>)
{// assign by moving _Rightif (this != _STD addressof(_Right)){  // different, assign itif (_Always_equal_after_move<_Alty> || this->_Getal() == _Right._Getal()){  // will steal _Right's contents (also, POCMA non-equal must reload array)_Tidy();}this->_Move_alloc(_Right._Getal());_Move_assign_from(_STD move(_Right), bool_constant<_Always_equal_after_move<_Alty>>{});}return (*this);
}
vector& operator=(const vector& _Right)
{// assign _Rightif (this != _STD addressof(_Right)){// different, assign itif (_Alty_traits::propagate_on_container_copy_assignment::value  && this->_Getal() != _Right._Getal()){// reload array_Tidy();}this->_Copy_alloc(_Right._Getal());assign(_Right._Myfirst(), _Right._Mylast());}return (*this);
}

(Owed by: 春夜喜雨 http://blog.csdn.net/chunyexiyu)