stl::allocator析构函数调用

  近来由于项目需要，采用c++编程，学习了一下stl，对stl::allocator粗略研究了一下，allocator其实就是一个工厂模式，对它的几个方法粗略分析一下

  pointer allocate(size_type n, const_pointer = 0) {
        void* p = std::malloc(n * sizeof(T)); //只分配对象占用的内存，并不初始化，不调用构造函数
        if (!p)
          throw std::bad_alloc();
        return static_cast<pointer>(p);
      }
  void deallocate(pointer p, size_type) {
        std::free(p); //释放内存，并不调用析构函数
  }
  显然上面的方法如果是对基本类型是可以接受的，但如果是类对象这些，没有调用构造、析构函数是不可接受的。看看stl是如何处理的。

  void construct(pointer p, const value_type& x) {

       /*这个new比较特殊，并没有分配内存，只是将其按x值初始化，基本类型没有什么特殊，如果是类，则需要注意拷贝构造函数*/

        new(p) value_type(x);

    }
  void destroy(pointer p) {

         p->~value_type();  //这个就有点特殊了，如果是基本类型，也有析构函数？

  }

  带着上面的疑问，翻阅了<<c++标准98>>，在12.4节193页发现以下用法

       typedef int I ;

       I* p ;

       .......

       p->I::~I();

 也就是说c++标准允许不知道是否有析构函数都可以这样写，这就大大解决了通用库设计中的一些问题，c++中还是很多东西自己不了解。