std::vector中的陷阱

自从上次经历了sort的死循环之后，让我觉得有必要重新审视一下STL的容器。vector是STL中最普通的一个容器，也是用的最多的一个容器。当我阅读vector的源码后，还是发现有很多陷阱，这些陷阱稍不留神也许就会让你的程序死的很难看。

 

一.增加元素时的陷阱

vector中常用的增加元素的方法是pushBack和insert。大家先看看这样一段程序：

 

int _tmain(int argc, _TCHAR* argv[])
{
 std::vector<int> vec;
 vec.push_back(0);

 std::vector<int>::iterator iter1 = vec.begin();
 vec.push_back(1);

 int n = *iter1;

 

 return 0;
}

 

n会等于多少？有人很容易就说肯定是0了。大家把这段程序运行一下就会发现，程序执行到倒数第二行就崩溃了。为什么会崩溃？原因当然是iter1迭代器失效了。那为什么又会失效呢？这就要好好说一下了。首先得从vector的空间配置方式说起。我们都知道vector是动态分配内存空间，很多人认为vector的空间是随着元素的增多，空间就进行线性，连续的增长。但是却相反，vector并不是在原空间之后连续新空间，因为无法保证原空间之后尚有可供配置的空间，而是以原大小的两倍另外配置一块较大的空间，然后将原内容拷贝过来，然后才开始在原内容之后构造新元素，并释放原空间。因此，对vector的任何操作，一旦引起空间重新配置，指向原vector的所有迭代器就失效了。

看上面那段程序，首先构造了一个空的vector，然后加了一个元素进去。此时容器的容量是1，此时如果再增加元素，就会另外配置一块较大的空间。当vector的元素大小为1，2，4，8，2的n次方时，再增加元素都会另外开辟空间。这时候之前容器所有的迭代器将会失效。

 

二.删除元素时的陷阱

先看下面这段程序：

int _tmain(int argc, _TCHAR* argv[])
{
 std::vector<int> vec;
 vec.push_back(0);
 vec.push_back(1);
 vec.push_back(2);

 std::vector<int>::iterator iter1 = vec.begin()+2;

 vec.erase(vec.begin()+1);

 int n = *iter1;

 return 0;
}

会出现什么问题？和上个程序一样，崩溃。原因也很简单，vector删除元素后会让该元素后面所有的迭代器都失效。

 

三.读取元素时的陷阱

vector中最恐怖的就是越界了，当我们每次读取元素时都要检查是否超过该vector的size。另外当我们调用front和back函数时，必须检查容器是否为空，否则也会崩溃。