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(), first_free(), end() {}
     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 =  * max(size, );

     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 = ; i < ; ++i)
     {
         cin>>s;
         str.push_back(s);
     }
     for(string * p = str.elements; p != str.first_free; ++p)
         cout<<*p<<endl;
     return ;
 }

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