STL常见问题

vector

vector中：
reserve()函数：预先分配一块较大的指定大小的内存空间，其中n为分配空间的大小；
预留一定的空间，如果n < capacity()，并不会减少空间；

    void reserve(size_type n) {  
        if (capacity() < n) {  
          const size_type old_size = size();  
          iterator tmp = allocate_and_copy(n, start, finish);  
          destroy(start, finish);  
          deallocate();  
          start = tmp;  
          finish = tmp + old_size;  
          end_of_storage = start + n;  
        }  
     }  

resize()函数： 会改变元素的数目，不改变内存空间的大小；

void resize(size_type new_size, const T& x)  {  
    if (new_size < size())  
      erase(begin() + new_size, end());  
    else  
      insert(end(), new_size - size(), x);  
}   

vector数组是怎么增长的？

使用 k=2 增长因子的问题在于，每次扩展的新尺寸必然刚好大于之前分配的总和，每次需要申请的空间都无法用到前面释放的内存。

也就是说，之前分配的内存空间不可能被使用。这样对于缓存并不友好，最好把增长因子设为 1 < k < 2，例如 1.5
比较内存分配的情况：

可以看到，k = 1.5 在几次扩展之后，可以重用之前的内存空间。

如果只考虑时间复杂度的话，假设n次push，k取常数倍，n很大，则平均时间复杂度:

通过式子可以发现k > 1其实都是常数复杂度。同时此时当然k越大越好，最好一次性把堆都给你了，复杂度常数接近1，但是考虑到s(n)的平均情况有下图，假设每次push时程序所占内存是n，把这个空间因素加到 ∑ 的因子有下面的结论:

如果每次增按常数C增加，n次push的worst running time是O(n^2), 平摊到每次是O(n). 如果按两倍增加，n次push的worst running time是O(n), 单次push是O(1) 。当然可以放大增加的倍数， 但是如果增加的倍数更大，相应的每次空余的内存也更多。