STL中vector的实现及面试问题

一、前言：
在学习c++的时候我们会接触两个库，一个是boost库另外一个就是STL库。关于STL库候捷先生的《STL源码剖析》中已经写的很详细了，今天我就关于STL中的vector实现及面试中的一些与之相关的问题做一个讲解。
在面试C++的时候关于vector是作为基础知识经常被问到的，如果面试官问你vector的实现原理，你会怎么回答呢？

二、vector的实现原理及实现机制
关于vector简单的讲就是一个动态增长的数组，里面有一个指针指向一片连续的内存空间，当空间装不下的时候会自动申请一片更大的空间（空间配置器）将原来的数据拷贝到新的空间，然后就会释放旧的空间。当删除的时候空间并不会被释放只是清空了里面的数据。
vector的数据安排以及操作方式与array非常相似，两者的唯一区别在于空间运用的灵活性，array是静态空间一旦配置了就不能改变大小，如果要扩大或缩小容量的话，就要把数据搬到新大小的数组里面，然后再把原来的空间释放还给系统。vector是动态空间是随着元素的加入，它的内部机制会自动的扩充空间来容纳新的元素。因此，vector的运用对于内存的合理利用与运用的灵活性有很大的帮助，我们不必因为害怕空间不足而一开始就开辟一块很大的内存。

vector的实现技术，关键在于其对大小的控制以及重新配置时的数据移动效率。一旦vector的旧有空间满载，如果客户端每新增一个元素，vector的内部只是扩充一个元素的空间，实为不智。因为所谓的扩充空间（无论多大），过程是配置新空间–数据移动–释还旧空间的成本很高。vector维护的是一个连续线性空间，所以vector支持随机访问。
在vector的动态增加大小的时候，并不是在原有的空间上持续新的空间（无法保证原空间的后面还有可供配置的空间），而是以原大小的两倍另外配置一块较大的空间，然后将原内容拷贝过来，并释放原空间。因此，对vector的任何操作一旦引起了空间的重新配置，指向原vector的所有迭代器就会都失效了这是程序员易犯的一个错误。
下面我们来看一下vector里的函数：

三、模拟STL中vector的实现
上面是vector的函数，下面我们来看模拟STL中vector的代码，由于在STL中vector的实现用到了类型萃取，所以我们要先实现一个类型萃取。
类型萃取的代码：

struct _TrueType
{
    bool Get()
    {
        return true;
    }
};
struct _FalseType
{
    bool Get()
    {
        return false;
    }
};
template<class _Tp>
struct TypeTraits
{
    typedef _TrueType _IsPODType;
};

template<>
struct TypeTraits<bool>
{
    typedef _TrueType _IsPODType;
};

template<>
struct TypeTraits<char>
{
    typedef _TrueType _IsPODType;
};

template<>
struct TypeTraits<unsigned char>
{
    typedef _TrueType _IsPODType;
};

template<>
struct TypeTraits<short>
{
    typedef _TrueType _IsPODType;
};

template<>
struct TypeTraits<unsigned short>
{
    typedef _TrueType _IsPODType;
};

template<>
struct TypeTraits<int>
{
    typedef _TrueType _IsPODType;
};

template<>
struct TypeTraits<unsigned<