自从上次经历了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函数时,必须检查容器是否为空,否则也会崩溃。

Logo

权威|前沿|技术|干货|国内首个API全生命周期开发者社区

更多推荐