[翻譯] Effective C++, 3rd Edition, Item 49: 了解 new-handler 的行為（下）

（點選此處，接上篇）

但是也許你依然在為 Widget 從 NewHandlerSupport<Widget> 繼承而煩惱。如果是這樣，當你注意到 NewHandlerSupport template 從來沒有用到它的 type parameter T 時，你可能會更加煩惱。它不需要那樣做。我們需要的全部就是為每一個從 NewHandlerSupport 繼承的 class 提供一份不同的 NewHandlerSupport ——特别是它的 static data member（靜态資料成員）currentHandler ——的拷貝。template parameter T 隻是為了将一個 inheriting class 同另一個區分開來。template 機制自己自動地為每一個被執行個體化的 NewHandlerSupport 中的 T 生成一個 currentHandler 的拷貝。

對于 Widget 從一個把 Widget 當作一個 type parameter（類型參數）的 templatized base class（模闆化基類）繼承，如果這個概念把你弄得有點糊塗，不必難受。它最開始對每一個人都有這種影響。然而，它發展成如此有用的一項技術，它有一個名字，雖然它正常看上去所反映的事實并不是他們第一次看到它的樣子。它被稱作 curiously recurring template pattern（奇特的遞歸模闆模式） (CRTP)。真的。

在這一點上，我發表了一篇文章建議一個更好的名字叫做 "Do It For Me"，因為當 Widget 從 NewHandlerSupport<Widget> 繼承時，它其實是在說：“我是 Widget，而我要從針對 Widget 的 NewHandlerSupport class 繼承。”沒有人使用我提議的名字（甚至是我自己），但是把 CRTP 考慮成說 "do it for me" 的一種方式也許會幫助你了解 templatized inheritance（模闆化繼承）在做些什麼。

像 NewHandlerSupport 這樣的 templates 使得為任何有需要的 class 添加一個 class-specific new-handler 變得易如反掌。然而，mixin-style inheritance（混合風格繼承）總是會導緻 multiple inheritance（多繼承）的話題，而在我們沿着這條路走下去之前，你需要閱讀 Item 40。

直到 1993 年，C++ 還要求 operator new 不能配置設定被請求的記憶體時要傳回 null。operator new 現在則被指定抛出一個 bad_alloc exception，但是很多 C++ 程式是在編譯器開始支援這個修訂标準之前寫成的。C++ 标準化委員會不想遺棄這些 test-for-null（檢驗是否為 null）的代碼基礎，是以他們提供了 operator new 的另一種可選形式，用以提供傳統的 failure-yields-null（失敗導緻 null）的行為。這些形式被稱為 "nothrow" 形式，這在一定程度上是因為它們在使用 new 的地方使用了 nothrow objects（定義在頭檔案 <new> 中）：

class Widget { ... };

Widget *pw1 = new Widget;                 // throws bad_alloc if

                                          // allocation fails

if (pw1 == 0) ...                         // this test must fail

Widget *pw2 =new (std::nothrow) Widget;   // returns 0 if allocation for

                                          // the Widget fails

if (pw2 == 0) ...                         // this test may succeed

對于異常，nothrow new 提供了比最初看上去更少的強制保證。在表達式 "new (std::nothrow) Widget" 中，發生了兩件事。首先，operator new 的 nothrow 版本被調用來為一個 Widget object 配置設定足夠的記憶體。如果這個配置設定失敗，衆所周知，operator new 傳回 null pointer。然而，如果它成功了，Widget constructor 被調用，而在此刻，所有打的賭都失效了。Widget constructor 能做任何它想做的事。它可能自己 new 出來一些記憶體，而如果它這樣做了，它并沒有被強迫使用 nothrow new。那麼，雖然在 "new (std::nothrow) Widget" 中調用的 operator new 不會抛出，Widget constructor 卻可以。如果它這樣做了，exception 像往常一樣被傳播。結論？使用 nothrow new 隻能保證 operator new 不會抛出，不能保證一個像 "new (std::nothrow) Widget" 這樣的表達式絕不會導緻一個 exception。在所有的可能性中，你最好絕不需要 nothrow new。

無論你是使用 "normal"（也就是說，exception-throwing）new，還是它的稍微有些矮小的堂兄弟，了解 new-handler 的行為是很重要的，因為它可以用于兩種形式。

Things to Remember

• set_new_handler 允許你指定一個當記憶體配置設定請求不能被滿足時可以被調用的函數。

• nothrow new 作用有限，因為它僅适用于記憶體配置設定，随後的 constructor 調用可能依然會抛出 exceptions。