STL之vector的push_back过程详解

最近，被面试官的一道题问倒，很失落，明明看过《STL源码分析》，为啥这种问题还没答好，只能说自己看的时候没有仔细去思考。这道题就是标题的问题，面试完我重新看了一遍《STL源码分析》中关于这块的内容，这里记录下自己看完的一点理解。

在STL中，一般对容器的内存分配和构造是分开的2个过程，STL有专门的空间配置器负责分配内存，而构造则是通过placement new在已申请的内存上进行的，vector也不除外，下面是vector的push_back函数源码：

template <class T, class Alloc = alloc>
void vector::push_back(const T& x)
{
    if (finish != end_of_storage)
    {
        construct(finish, x);
        ++finish;
    }
    else
    {
        insert_aux(finish, x);
    }
}

其中，construct是STL的全局函数，是所有容器共用的，它的具体实现如下：

template<class T1, class T2>
inline void construct(T1* p, const T2& value)
{
    new(p) T1(value);    //placement new, 调用T1::T1(value);
}

而insert_aux是vector自己的成员函数，具体实现如下：

template <class T, class Alloc = alloc>
void vector<T, Alloc>::inse