C++/CLI 泛型與 C++ 模板深度對比

Visual Studio 2005 引入 CLR 泛型，C++/CLI 同時支援 CLR 泛型與 C++ 模板。本文詳細對比兩者在參數列表、類型約束、非類型參數、預設值、模板模板參數等方面的異同。

參數列表與佔位符機制

• 兩者皆使用參數列表標示參數數量、類型與標識符。
• 實例化時將實際值綁定至形式參數，非單純文字替換。

核心差異

1. 類型參數約束

• CLR 泛型：參數隱含為 Object 或其衍生類型，操作受限。可透過 where 子句指定基類/介面約束。
• C++ 模板：無隱含約束，支援任意類型，編譯期鴨子類型檢查。

2. 非類型參數

C++ 模板支援非類型參數（整數、指標、參考），CLR 泛型不支援。

// C++ 模板：固定大小堆疊
template <class ElemType, int Size>
ref class FixedStack { array<ElemType>^ data; ... };

3. 預設參數值

C++ 模板支援預設值，CLR 泛型不支援。

template <class T, int Size = 1024> ref class Buffer {};
Buffer<String^> b1;       // 使用預設 1024
Buffer<String^, 512> b2; // 覆寫大小

4. 模板模板參數

C++ 模板支援模板作為參數，CLR 泛型不支援。

template <template <class> class Arena, class T>
class Editor { Arena<T> arena; };
Editor<Vector, int> ed;

5. 指針作為非類型參數

C++ 模板允許函數/物件位址作為非類型參數（編譯期常數）。

typedef void (*Handler)(...);
template <class T, int Size, Handler Callback>
class Stack {};

總結對比表

選擇建議：需極致效能、非類型參數、模板元編程用 C++ 模板；需跨語言互操作、執行期類型安全、減少程式碼膨脹用 CLR 泛型。