本來想自己總結下operator new相關的，看到周星星同學已經總結得挺全了，直接拿來記錄下(后面綠色部分新加的)。
轉自http://blog.vckbase.com/bruceteen/archive/2009/05/27/37427.html

1：C++標準說：An allocation function shall be a class member function or a global function; a program is ill-formed if an allocation function is declared in a namespace scope other than global scope or declared static in global scope.
必須是全局函數或類成員函數，而不能是全局之外的名字空間或static全局函數。

2：new operator的行為
Foo* p = new Foo;

3：全局形式的operator new偽代碼：
void* operator new( size_t size ) // 包括其他形式
{
    if( 0 == size ) // 須要注意
        size = 1;

    while(1)
    {
        分配size字節內存;
        if(分配成功)
            return 指向內存的指針;

        new_handler globalhandler = set_new_handler(0);
        set_new_handler(globalhandler);

        if( globalhandler )
            (*globalhandler)();
        else
            throw std::bad_alloc();
    }
}
void operator delete( void* raw )
{
    if( 0 == raw ) // 須要注意
        return;
    ...
}
須要說明的是，編譯器本身就隱含著一個 void* operator new( size_t )，所以重載全局operator new必須加其他參數以示區別。
一般重載分配函數時都會重載三個，分別是 void* operator new( size_t, …… )，void operator delete( void*, …… )，以及一般形式的 void operator delete( void* )。

4. set_new_handler的作用
    set_new_handler設置一個函數，此函數將在分配內存失敗時被調用，見3中的代碼。
    從3中的代碼還能看得出，new_handler必須有主動退出的功能，否則就會導致operator new內部死循環。因此newhandler的一般形式是：
    void mynewhandler()
    {
        if( 有可能使得operator new成功(比如釋放部分內存) )
        {
            做有可能使得operator new成功的事
            return;
        }
        // 主動退出
        或 abort/exit 直接退出程序
        或 set_new_handler(其他newhandler);
        或 set_new_handler(0)
        或 throw bad_alloc()或派生類 // 這一種比較好，不粗魯的關閉程序，也不更改其他設置
    }
須要說明的是，沒有類形式的set_new_handler，但這也無所謂，你可以自己寫。（見《Effective C++ 2e》條款7）

5. 類形式的operator new偽代碼：
struct base
{
    ...
    static void* operator new( size_t size );
    static void operator delete( void* raw );
};
void* base::operator new( size_t size )
{
    if( sizeof(base) != size ) // 須要注意
        return ::operator new(size);

    類似于3 // 注意“沒有類形式的set_new_handler”
}
void base::operator delete( void* raw )
{
    if( sizeof(base) != size ) // 須要注意
    {
        ::operator delete(raw);
        return;
    }
    同3
}