自从上次经历了sort的死循环之后,让我觉得有必要重新审视一下stl的容器。vector是stl中最普通的一个容器,也是用的最多的一个容器。当我阅读vector的源码后,还是发现有很多陷阱,这些陷阱稍不留神也许就会让你的程序死的很难看。
一.增加元素时的陷阱
vector中常用的增加元素的方法是pushback和insert。大家先看看这样一段程序:
int _tmain(int argc, _tchar* argv[])
{
std::vector
vec.push_back(0);
std::vector
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
vec.push_back(0);
vec.push_back(1);
vec.push_back(2);
std::vector
vec.erase(vec.begin() 1);
int n = *iter1;
return 0;
}
会出现什么问题?和上个程序一样,崩溃。原因也很简单,vector删除元素后会让该元素后面所有的迭代器都失效。
三.读取元素时的陷阱
vector中最恐怖的就是越界了,当我们每次读取元素时都要检查是否超过该vector的size。另外当我们调用front和back函数时,必须检查容器是否为空,否则也会崩溃。