C++ Primer第18章Vector的再实现及bug修正

C++Primer第18.1.2节在介绍allocator类的时候，给了一个仿照标准库中vector的例子。感觉示例代码非常好，但是本人发现了一个bug，与大家共享。

按照作者的示例程序，编译程序时总是在alloc.construct()函数处报错，不同IDE可能提示的错误原因不同，本人的是undefined reference to `Vector<std::string>::alloc'。

仔细想想，应该与类Vector中alloc成员的静态属性有关，因此有两种修正方式：

　1)删去static关键字

　2)在全局作用域添加：template<class T> std::allocator<T> Vector<T>::alloc;

测试源代码如下：

#include <iostream>
#include <string>
#include <memory>
using namespace std;

std::ptrdiff_t max(std::ptrdiff_t a, std::ptrdiff_t b)
{
    return a > b ? a : b;
}

template <class T> class Vector{
public:
    Vector(): elements(0), first_free(0), end(0) {}
    void push_back(const T&);

private:
    static std::allocator<T> alloc;
    void reallocate();
public:
    T * elements;
    T * first_free;
    T * end;
};

template<class T> std::allocator<T> Vector<T>::alloc;//如果没有这句，编译器报错，但如果类Vector中去掉static关键字，这句可以删掉

template <class T>
void Vector<T>::push_back(const T& t)
{
    if(first_free == end)
        reallocate();
    alloc.construct(first_free,t);
    ++first_free;
}

template <class T>
void Vector<T>::reallocate()
{
    std::ptrdiff_t size = first_free - elements;
    std::ptrdiff_t newcapacity = 2 * max(size, 1);

    T * newelements = alloc.allocate(newcapacity);

    uninitialized_copy(elements, first_free, newelements);

    for(T * p = first_free; p != elements; alloc.destroy(--p));

    if(elements)
        alloc.deallocate(elements, end - elements);

    elements = newelements;
    first_free = elements + size;
    end = elements + newcapacity;
}

int main()
{
    Vector<string> str;
    string s;
    for(int i = 0; i < 5; ++i)
    {
        cin>>s;
        str.push_back(s);
    }
    for(string * p = str.elements; p != str.first_free; ++p)
        cout<<*p<<endl;
    return 0;
}

虽然知道了解决办法，但是对于bug的原因并不是很清楚，欢迎大家留言交流及指教。