意圖：

使用派生類作為模板引數特化基類。

與多型的區別：

多型是動態繫結（執行時繫結），CRTP是靜態繫結（編譯時繫結）

在實現多型時，需要重寫虛擬函式，因而這是執行時繫結的操作。

然而如果想在編譯期確定通過基類來得到派生類的行為，CRTP便是一種獨佳選擇，它是通過派生類覆蓋基類成員函式來實現靜態繫結的。

正規化：

class derived : public base<derived> { // attributes and behaviors }

示例程式碼：

template <class Derived> struct base { void interface() { // 轉換為子類指標，編譯期將繫結至子類方法 static_cast<Derived*>(this)->implementation(); } static void static_interface() { // 編譯期將繫結至子類方法 Derived::static_implementation(); } // 下面兩個方法，預設實現可以存在，或者應該被繼承子類的相同方法覆蓋 void implementation(); static void static_implementation(); }; // The Curiously Recurring Template Pattern (CRTP) struct derived_1 : base<derived_1> { // 這裡子類不實現，將使用父類的預設實現 //void implementation(); // 此方法將覆蓋父類的方法 static void static_implementation(); }; struct derived_2 : base<derived_2> { // 此方法將覆蓋父類的方法 void implementation(); // 這裡子類不實現，將使用父類的預設實現 //static void static_implementation(); };

缺點：

CRTP由於基類使用了模板，目前的編譯器不支援模板類的匯出，因而不能使用匯出介面。

其它使用領域：

在數值計算中，往往要對不同的模型使用不同的計算方法（如矩陣），一般使用繼承提供統一介面（如operator運算子），但又希望不損失效率。這時便又可取CRTP慣用法，子類的operator實現將覆蓋基類的operator實現，並可以編譯期靜態繫結至子類的方法。