C++ STL标准库与泛型编程（三）Vector、array 深度探索

一、Vector 深度探索

动态增长数组 —— vector容量增长的本质：每次空间不够时，容器适配器会在另一个内存空间将待用空间多次的两倍扩张（1.2.4.8........），安排好扩张内存后将所有值复制过去。   

Vector 对象的大小就是3个指针的大小，12个字节。(32位操作系统下)所有对于 vector 的操作都是基于这三个指针的。

eg:除了*与long随操作系统子长变化而变化外，其他的都固定不变(32位为4字节、64位为8字节) 

insert_aux函数还会被其它函数调用，其函数体内还有一次检查 是否有备用空间。 

 

allocate 实现两倍成长，先将原有的元素拷贝过去，在将新的元素复制到最后的位置。

“拷贝安插点之后的原内容”是实现 insert 操作时容器已满的情况。

  vector 每次只要成长就会有大量的元素拷贝操作，会引发拷贝构造函数，原来的数据位置会清除，引发析构函数。

Vector' iterator

vector的空间分布是连续的，所以其迭代器不用实现复杂的智能操作，所以不用声明为一个 class 。List 作为双向链表，其迭代器实现的方法都需要通过类方法改写，所以必须声明为 class 。

所以算法请求 vector_iterator_traits 时，调用的是 traits 的指针偏特化版本。

二、array 深度探索

连续的固定大小的空间，初始化时要指定大小，不能自动扩充。底层实现为简单数组。所以不需要构造与析构函数。

例：array<int,10> myArray           根据上述源代码，若初始化大小为0时，生成的数组大小为1。

分布同 vector 一样为连续空间，其迭代器为简单指针。