C++ 模板限制與最佳實踐：非類型參數約束、定義分離、export 關鍵字與現代替代方案

核心限制清單

1. 非類型模板參數 (NTTP) 類型限制

• 允許 (C++20 前)：整型 (含枚舉)、指針/引用 (指向靜態存儲期對象)、std::nullptr_t。
• 禁止：浮點數 (float/double)、類類型對象 (含自定義結構體)、字符串字面量 (可傳 const char* 但受限)。
• C++20 突破：允許結構體類型作為 NTTP (需滿足：字面類型、強結構相等、無 mutable/虛函數/虛基類)。

// 錯誤示例
template class A;          // 浮點數非法
template class B;        // C++17 非法，C++20 合法 (若符合條件)

// 正確示例
template class Buffer;        // 整型常量
template class Msg; // 字符串地址 (需外部鏈接)

2. 模板定義必須在頭文件 (C++11/17 主流編譯器)

模板實例化需見到定義。編譯器不支持 export 關鍵字 (僅 EDG 前端實現，已從 C++11 標準移除)。

標準做法：頭文件包含實現

// MyTemplate.h
#ifndef MYTEMPLATE_H
#define MYTEMPLATE_H

template
class MyClass {
public:
    void foo(); // 聲明
};

// 定義在頭文件內 (或包含 .inl/.tcc 文件)
template
void MyClass::foo() { /* 實現 */ }

#endif

歷史替代方案：顯式實例化聲明 (減少編譯開銷)

// MyTemplate.h
template class MyClass; // 聲明
extern template class MyClass; // 告訴編譯器：int 版本在別處實例化

// MyTemplate.cpp
#include "MyTemplate.h"
template class MyClass; // 顯式實例化定義 (僅此處生成代碼)
// 其他類型用戶仍需見到定義 (頭文件含實現) 或自行顯式實例化

另類技巧：.cpp 包含在 main.cpp (不推薦)

// test.h
template class Test { void print(); };

// test.cpp
template void Test::print() { std::cout << "OK"; }

// main.cpp
#include "test.h"
#include "test.cpp" // 直接包含實現文件！極不規範，破壞編譯單元獨立性
int main() { Test t; t.print(); }

缺點：破壞封裝、導致重複編譯、依賴管理混亂、**嚴禁用於生產項目**。

3. 模板代碼膨脹

每個模板實例化生成獨立代碼。濫用模板導致二進制體積膨脹。對策：將與類型無關的代碼提取到非模板基類/輔助函數 (Type Erasure / SCARY Iterator 技術)。

現代 C++ 解決方案

C++17 inline 變量/函數

允許在頭文件定義非模板靜態成員/函數，配合模板使用，減少 .cpp 文件。

C++20 Modules (模塊化) — 終極解決

// mymodule.ixx (模塊接口單元)
export module mymodule;

export template
class MyClass {
public:
    void foo(); // 定義可在模塊內部實現文件，不暴露於頭文件
};

// mymodule_impl.cpp (模塊實現單元)
module mymodule;
template
void MyClass::foo() { /* 實現 */ }

// 用戶端
import mymodule;
MyClass obj; // 直接使用，無需見到定義！

優勢：真正分離接口與實現、編譯極快、無宏/頭文件保護符、無 ODR 違規風險。MSVC/GCC/Clang 已全面支持。

Concepts (C++20) 约束模板參數

#include <concepts>

template
concept Integral = std::is_integral_v;

template // 僅接受整型
class IntContainer { /* ... */ };

// IntContainer c; // 編譯錯誤：概念檢查失敗，錯誤信息清晰

總結

1. NTTP 限制：牢記無浮點、無類對象 (C++20 前)。用整型/枚舉/指針替代。
2. 定義在頭文件：模板實現放在 .h/.inl/.tcc 中，#include 進頭文件。
3. 顯式實例化：熱門類型顯式實例化減少編譯開銷，配合 extern template。
4. 避免膨脹：提取類型無關邏輯。
5. 拥抱現代：C++20 Modules 徹底解決分離編譯，Concepts 替代 enable_if 约束參數。