运算符new和delete的重载

    在学习c++的时候，我们知道new和delete可以重载，但是它们有什么用呢？
    在我写语义分析的时候遇到一个问题，有一些很碎的内存被new出来，不知道在哪delete（因为它要往上一级一级的传），不知道该怎么delete（应为转化为void*类型了）。还有就是当你中间发现语义错误，退出语义分析的时候，有一大堆内存还没有被delete呢。这些内存的delete都让人头痛。
    但是有了重载这个东西，我就可以集中分配，语义分析结束集中delete，在中间可以delete，也可以不delete，这个都不会使内存泄露。这样就大大减少内存操作的压力，代码变的简单，系统变得稳定。
    代码我会贴在后面。在实现这个过程，我经历了一些波折。
    波折一：把该类写成模板形式，并且认识到如果类A重载MyAllocator，只有new A，才会进我设置的new的函数，说明运算符是和类型绑定的。
    波折二：发先一个指针在delete后还能delete，delete[]之后还能delete，这些都是有问题的代码。我就想了个办法，在内存前面加上标志DW_MARK_USED和DW_MARK_FREE，表示被使用和空闲状态。
    在实现后我发现重载new和delete有两个特殊的地方。
    特殊一：new和delete的重载函数默认是static的，不管你是不是显示的写上static。
    特殊二：new[]的返回指针会自动向后加4个字节，delete[]传入的参数会自动减上4个字节。如你return的是0x00670000，得到的却是0x00670004，当你delete[]的时候，传的是0x00670004，在delete[]函数内部变成0x00670000。我问过大牛，他说这4个字节存的是有多少个对象被new出来。

#pragma once #include <list> #include <queue> #include <assert.h> using namespace std; #define NUM_INCREASE 128 #define DW_MARK_USED 0x44455355 // "USED" 0x55 0x53 0x45 0x44 #define DW_MARK_FREE 0x45455246 // "FREE" 0x46 0x52 0x45 0x45 template<typename Ty> class MyAllocator { typedef queue<char*> TyPool; static TyPool m_s_pool; static vector<char*> m_s_vBeginPtr; static vector<char*> m_s_vForArray; static void Increase() { char *p = ::new char[NUM_INCREASE*sizeof(Ty)+NUM_INCREASE*sizeof(DW_MARK_FREE)]; // m_s_vBeginPtr.push_back(p); // initial state : free for (int i=0; i<NUM_INCREASE; i++) { *(int*)(p) = DW_MARK_FREE; m_s_pool.push(p); p += sizeof(Ty)+sizeof(DW_MARK_FREE); } } public: MyAllocator(void){} virtual ~MyAllocator(void)=0 {} // it can't be instanced static void * operator new (size_t s) { if (m_s_pool.size() == 0) { Increase(); } // char *p = m_s_pool.front(); m_s_pool.pop(); // change state free to used assert(*(int*)(p) == DW_MARK_FREE); *(int*)(p) = DW_MARK_USED; return (void*)(p+sizeof(DW_MARK_FREE) ); } static void * operator new[] (size_t s) { char *p = ::new char[s]; m_s_vForArray.push_back(p); return p; } static void operator delete (void* p, size_t s) { if (p == NULL) return; if( *(int*)((char*)p-sizeof(DW_MARK_FREE) ) == DW_MARK_USED ) { m_s_pool.push((char*)p-4); *(int*)((char*)p-sizeof(DW_MARK_FREE) ) = DW_MARK_FREE; } else assert(0); }; static void operator delete[] (void* p) { if (p == NULL) return; // must delete ptr allocated by new [] vector<char*>::iterator ite = find(m_s_vForArray.begin(), m_s_vForArray.end(), (char*)p); if (ite != m_s_vForArray.end() ) { char *p = (char*)(*ite); m_s_vForArray.erase(ite); delete[] p; } else assert(0); }; static void ClearAll() { // clear pool while (m_s_pool.size() != 0) m_s_pool.pop(); // clear ptr allocated by new for (vector<char*>::iterator ite=m_s_vBeginPtr.begin(); ite!=m_s_vBeginPtr.end(); ite++) { char *p = (*ite); memset(p, 0xcd, NUM_INCREASE*sizeof(Ty)+NUM_INCREASE*sizeof(DW_MARK_FREE) ); ::delete[] p; } // clear ptr allocated by new[] for (vector<char*>::iterator ite=m_s_vForArray.begin(); ite!=m_s_vForArray.end(); ite++) { ::delete[] (char*)(*ite); } } }; template<typename Ty> typename MyAllocator<Ty>::TyPool MyAllocator<Ty>::m_s_pool; template<typename Ty> vector<char*> MyAllocator<Ty>::m_s_vBeginPtr; template<typename Ty> vector<char*> MyAllocator<Ty>::m_s_vForArray; // another cpp // use it class A public : MyAllocator<A> { ... } A *p = new A;