内存管理

C++中，关于动态内存的是new and delete。

在C++中，new operator是C++内建的行为。任何人（也许除了Bjarne Stroustrup）都无法改变。new operator先调用一个名为operator new的函数动态申请内存。标准模式就像这样：

      void* operator new(size_t size);

然后在传回的void*指针上进行构造的行为。而delete operator则先析构对象，然后调用名为operator delete的函数，标准形式就像这样：

      void operator delete(void* pToDeAlloc)

GotW中说即使在指针参数后加上size_t size，仍然是标准形式。 size_t size的作用是检查所要卸除的内存是否是期望的大小， 如果在类层次中定义的话，只要基类是virtual destructor，那么size可以确保是正确大小。

原来的placement new仅仅是这样：

      void* operator new(size_t, void* pMem) { return pMem; } 

任何‘要求额外引数’的 operator new 版本，也都渐渐采用 placement new 这个术语。事实上这个术语已经被铭记於 C++ 标准规格中。因此，当 C++ 程序员谈到所谓的 placement new 函数，他们所谈的可能是上述那个‘需要额外一个 void* 参数，用以指出物件置于何处’的版本，但也可能是指那些‘所需参数比单一而必要之 size_t 引数更多’的任何 operator new 版本，包括上述函数，也包括其他‘参数更多’的 operator new 函数。

现在我们来考虑一个问题，如果在operator new结束申请内存后，构造函数抛出了异常，那么已经申请的内存谁来回收，答案当然是编译器。因为整个new operator还未结束。所以你无法获得控制权。如果你对operator new/delete进行了重载，那么编译器会调用那个operator delete呢？由于不同的operator new可能通过不同的方法获得内存，而让不知道怎样分配的operator delete去释放内存显然是不负责任的。所以编译器假定哪个operator delete与operator new有相同的参数（除了size_t size和void* pDeAlloc），那么那个operator delete便知道operator new怎样获得内存。构造函数抛出异常后，也会调用与operator new相同参数的operator delete来释放内存。”

1. 如果你写了一个operator new，请对应写一个operator delete。
2. 不要delete不是自己new来的内存。


所以当我们确实知道一个指针它是怎么获得它所指向的内存时，可以这样：

template<class T> void destroy(T* p, Arena& a) 
{ 
     if (p) { 
                    p->~T();      // explicit destructor call 
                    a.deallocate(p); 
              } 
 }

这样，就不会有资源泄漏了。