stl 面试

ref http://www.tuicool.com/articles/feyqIn
vector是一块连续内存，当空间不足了会再分配。
list是双向链表。
deque是双端队列可在头和尾部插入、删除元素。

---

1.vector总是不会释放内存

删除向量容器的元素时，并不会使空闲的空间被释放，这时可以使用下面的语句达到释放多余空间的目的（ s 表示目的容器，T表示容器的元素类型）：
vector(s.begin(), s.end(), swap(s));
即首先用 s 的内容创建一个临时的向量容器对象，再将该容器和 s 交换，这时 s 原先占有的空间已经属于临时对象，该语句执行完成后临时对象会被析构，空间被释放。

2.deque有时会释放内存

deque的内存区块不再被使用时，会被释放。deque的内存大小是可缩减的。不过，是不是这么做以及怎么做由实际版本定义。

3.list,set,multiset,map,multimap总是会释放内存

list一般实现为一个双向链表，而set、multiset、map、multimap一般实现为一个平衡二叉树。当容器中元素被删除时，元素所占的内存被释放

---

1.stl set map 的标准底层机制：RB tree
2.stl 内存分配 回收机制：
3. 介绍stl 介绍vector
STL（Standard Template Library），即标准模板库，是一个具有工业强度的，高效的C++程序库。它被容纳于C++标准程序库中，包括容器、算法、迭代器组件。
vector内部使用动态数组的方式实现的。如果动态数组的内存不够用，就要动态的重新分配，一般是当前大小的两倍，然后把原数组的内容拷贝过去。所以，在一般情况下，其访问速度同一般数组，只有在重新分配发生时，其性能才会下降。注意vector的size()和capacity()是不同的，前者表示数组中元素的多少，后者表示数组有多大的容量。由上面的分析可以看出，使用vector的时候需要注意内存的使用，如果频繁地进行内存的重新分配，会导致效率低下。它的内部使用allocator类进行内存管理，程序员不需要自己操作内存。
vector其中一个特点：内存空间只会增长，不会减小，援引C++ Primer：为了支持快速的随机访问，vector容器的元素以连续方式存放，每一个元素都紧挨着前一个元素存储。设想一下，当vector添加一个元素时，为了满足连续存放这个特性，都需要重新分配空间、拷贝元素、撤销旧空间，这样性能难以接受。因此STL实现者在对vector进行内存分配时，其实际分配的容量要比当前所需的空间多一些。就是说，vector容器预留了一些额外的存储区，用于存放新添加的元素，这样就不必为每个新元素重新分配整个容器的内存空间。
4. stl 指针函数 伪函数（函数对象）
篇一、函数指针
函数指针：是指向函数的指针变量，在C编译时，每一个函数都有一个入口地址，那么这个指向这个函数的函数指针便指向这个地址。
函数指针的用途是很大的，主要有两个作用：用作调用函数和做函数的参数。
函数指针的声明方法：
数据类型标志符 （指针变量名） （形参列表）；
一般函数的声明为:
int func ( int x );
而一个函数指针的声明方法为：
int (*func) (int x);
前面的那个(*func)中括号是必要的，这会告诉编译器我们声明的是函数指针而不是声明一个具有返回型为指针的函数，后面的形参要视这个函数指针所指向的函数形参而定。
然而这样声明我们有时觉得非常繁琐，于是typedef可以派上用场了，我们也可以这样声明：
typedef int (*PF) (int x);
PF pf;
这样pf便是一个函数指针，方便了许多。当要使用函数指针来调用函数时，func(x)或者 (*fucn)(x) 就可以了，当然，函数指针也可以指向被重载的函数，编译器会为我们区分这些重载的函数从而使函数指针指向正确的函数。

伪函数（函数对象）：使一个对象具有函数的性质
篇二、函数对象
前面是函数指针的应用，从一般的函数回调意义上来说，函数对象和函数指针是相同的，但是函数对象却具有许多函数指针不具有的有点，函数对象使程序设计更加灵活，而且能够实现函数的内联（inline）调用，使整个程序实现性能加速。
函数对象：这里已经说明了这是一个对象，而且实际上只是这个对象具有的函数的某些功能，我们才称之为函数对象，意义很贴切，如果一个对象具有了某个函数的功能，我们变可以称之为函数对象。
如何使对象具有函数功能呢，很简单，只需要为这个对象的操作符()进行重载就可以了，如下：

函数对象既然是一个“类对象”，那么我们当然可以在函数形参列表中调用它，它完全可以取代函数指针！如果说指针是C的标志，类是C++特有的，那么我们也可以说指针函数和函数对象之间的关系也是同前者一样的！（虽然有些严密）。当我们想在形参列表中调用某个函数时，可以先声明一个具有这种函数功能的函数对象，然后在形参中使用这个对象，他所作的功能和函数指针所作的功能是相同的，而且更加安全

why?安全：
why?快：支持inline 函数

---

vector 内存释放
vector其中一个特点：内存空间只会增长，不会减小，援引C++ Primer：为了支持快速的随机访问，vector容器的元素以连续方式存放，每一个元素都紧挨着前一个元素存储。设想一下，当vector添加一个元素时，为了满足连续存放这个特性，都需要重新分配空间、拷贝元素、撤销旧空间，这样性能难以接受。因此STL实现者在对vector进行内存分配时，其实际分配的容量要比当前所需的空间多一些。就是说，vector容器预留了一些额外的存储区，用于存放新添加的元素，这样就不必为每个新元素重新分配整个容器的内存空间。

在调用push_back时，每次执行push_back操作，相当于底层的数组实现要重新分配大小；这种实现体现到vector实现就是每当push_back一个元素,都要重新分配一个大一个元素的存储，然后将原来的元素拷贝到新的存储，之后在拷贝push_back的元素，最后要析构原有的vector并释放原有的内存。例如下面程序：

复制代码

include

include

include

using namespace std;

class Point
{
public:
Point()
{
cout << “construction” << endl;
}
Point(const Point& p)
{
cout << “copy construction” << endl;
}
~Point()
{
cout << “destruction” << endl;
}
};

int main()
{
vector pointVec;
Point a;
Point b;
pointVec.push_back(a);
pointVec.push_back(b);

cout<<pointVec.size()<<std::endl;

return 0;

}
复制代码
输出结果：

其中执行

pointVec.push_back(a);
此时vector会申请一个内存空间，并调用拷贝构造函数将a放到vector中

再调用

pointVec.push_back(b);
此时内存不够 需要扩大内存，重新分配内存 这时再调用拷贝构造函数将a拷贝到新的内存，再将b拷入新的内存，同时有人调用Point拷贝构造函数，最后释放原来的内存 此时调用Point的析构函数。

2.vector的内存释放

由于vector的内存占用空间只增不减，比如你首先分配了10,000个字节，然后erase掉后面9,999个，留下一个有效元素，但是内存占用仍为10,000个。所有内存空间是在vector析构时候才能被系统回收。empty()用来检测容器是否为空的，clear()可以清空所有元素。但是即使clear()，vector所占用的内存空间依然如故，无法保证内存的回收。

如果需要空间动态缩小，可以考虑使用deque。如果vector，可以用swap()来帮助你释放内存。具体方法如下：

vector().swap(pointVec); //或者pointVec.swap(vector ())
标准模板：

复制代码
template < class T >
void ClearVector( vector< T >& vt )
{
vector< T > vtTemp;
veTemp.swap( vt );
}
复制代码
swap()是交换函数，使vector离开其自身的作用域，从而强制释放vector所占的内存空间，总而言之，释放vector内存最简单的方法是vector().swap(pointVec)。当时如果pointVec是一个类的成员，不能把vector().swap(pointVec)写进类的析构函数中，否则会导致double free or corruption (fasttop)的错误，原因可能是重复释放内存。(前面的pointVec.swap(vector ())用G++编译没有通过)

3.其他情况释放内存

如果vector中存放的是指针，那么当vector销毁时，这些指针指向的对象不会被销毁，那么内存就不会被释放。如下面这种情况，vector中的元素时由new操作动态申请出来的对象指针：

include

using namespace std;

vector