天天看點

C++程式設計規範指46:如果提供專門的new,應該提供所有标準形式(普通、就地和不抛出)

摘要:

    不要隐藏好的new:如果類定義了operatornew 的重載,就應該提供operator new 所有三種形式——普通(plain)、就地(in-place)和不抛出(nothrow)的重載。

    很少需要提供自定義的new 或者delete,但是如果确實需要,通常也不想隐藏内置的簽名。

c++中,在某個作用域(比如一個類作用域)裡定義了一個名字之後,就會隐藏所有外圍作用域中(如,在基類或者外圍名字空間)同樣的名字,而且永遠不會發生跨作用域的重載。當上述名字是operator new時,需要特别小心,以免對類的客戶産生不良影響。

    假設我們定義了一個類專門的operatornew:

class c

{

         //……

         static void* operatornew(size_t,void*);//隐藏三種正常形式

};

    然後,如果有人試圖編寫一個和普通舊式newc一樣無趣的表達式,編譯器會拒絕對其進行編譯,其根據是無法找到普通舊式的operator new。生命接受一個memorypool為參數的c::operator new重載,将隐藏所有其他重載,包括我們都熟知而且愛用的内置全局版本,也就是:

void* operatornew(std::size_t);//普通new

void* operatornew(std::size_t,std::nothrow_t) throw();//不抛出new

void* operatornew(std::size_t,void*);//就地new

    或者,類也可能對以上三種operatornew 之一提供自己專用的版本。在此情況下,如果聲明了其中之一,預設時類将螢幕其他兩個:

         static void* operatornew(size_t,void*);//隐藏其他兩種正常形式

};

    應該讓類c在作用域中顯式地聲明operatornew 的所有三種标準變體。通常,所有三種形式都有相同的可見性。(各個形式還可以将可見性設為private,比如要顯示地禁用普通或者不抛出operator new,但是本條款的目的是提醒讀着記住不要因為疏忽而隐藏它們。)

    請注意,應該總是避免就地new,因為它在stl容器中有廣泛的使用。

    最後一個技巧是:在兩種不同的環境下,公開已隐藏的operator new需要采用來年各種不同的方式。如果類的基類也定義了operator new,那麼要公開operator new所需做的就是:

class c:public b

         public:

         using b::operator new;

    否則,如果沒有基類版本或者基類沒有定義operatornew,就需要寫一些短小的轉送函數(因為無法通過using從全局名字空間中導入名字):

         static void* operator new(std::size_t s)

         {

                   return ::operator new(s);

}

static void* operator new(std::size_t s,std::nothrow_t nt) throw()

         return ::operator new(s,p);

    上面的建議也适用于數組形式的operatornew[]和operator delete[]。

    避免在客戶代碼中國調用new(nothrow)版本,但是仍然要為客戶提供,以免客戶一旦要用到時感到奇怪。