17370845950

模板元编程（TMP）本质是利用模板实例化在编译期推导类型、数值或逻辑结果，而非泛化代码；它不生成运行时代码，只影响类型系统和常量表达式，所有计算必须在编译期确定。

模板元编程不是写模板，而是让类型做计算

模板元编程（TMP）的本质不是泛化函数或类，而是利用 C++ 模板的实例化机制，在编译期推导类型、数值或逻辑结果。它不运行，也不生成运行时代码，只影响类型系统和常量表达式。你写的是“类型指令”，不是“执行逻辑”。

常见误用：把 std::enable_if 当开关、把 typename T::value_type 当运行时属性查——这些失败往往是因为没满足 SFINAE 前提，或依赖了未定义行为的嵌套类型。

• 所有计算必须在编译期可确定：参数只能是字面量、constexpr 变量、类型、模板参数包
• 递归终止必须显式定义（比如特化 template struct factorial），否则编译器报错不是“栈溢出”，而是“找不到匹配特化”
• 别指望调试器看到 TMP 过程——错误信息里出现 20 层嵌套 std::integral_constant 是常态，要习惯读 static_assert 的失败消息定位位置

用 constexpr if 替代复杂特化，更直接

C++17 的 constexpr if 让很多原本需要全特化或偏特化的场景大幅简化。它不是宏替换，而是在模板实例化时真正丢弃不满足分支的代码，因此能安全调用仅对某类型存在的成员函数。

template 
auto get_size(const T& x) {
    if constexpr (std::is_integral_v) {
        return static_cast(x); // x 是整数，直接转
    } else if constexpr (has_size_method_v) {
        return x.size(); // 只有支持 .size() 的类型才进入此分支
    } else {
        return sizeof(T);
    }
}

注意：has_size_method_v 需用变量模板 + decltype + SFINAE 构造，不能用 std::is_member_function_pointer 直接判断——后者无法检测重载或模板成员函数。

• constexpr if 分支内代码必须语法正确（即使不执行），但不需要语义合法（如调用不存在的成员会静默跳过）
• 不能在函数外使用（比如命名空间作用域），也不能用于非模板函数
• 比起传统特化，它更易读、更易维护，但无法实现“类型列表折叠”这类纯类型操作——那还得靠 template struct type_list

静态多态靠 CRTP，不是虚函数

CRTP（Curiously Recurring Template Pattern）是静态多态的核心手法：派生类把自身作为模板参数传给基类，让基类在编译期“知道”最终类型。它避免虚表开销，也支持返回具体类型的链式调用。

template 
struct shape_base {
    double area() const { return static_cast(this)->do_area(); }
    void draw() const { static_cast(this)->do_draw(); }
};
struct circle : shape_base {
double r;
double do_area() const { return 3.14159  r  r; }
void do_draw() const { / ... / }
};

关键点：基类中所有对派生类的调用都通过 static_cast(this) 完成，这个转换在编译期验证类型安全。如果 circle 忘了实现 do_area，错误发生在 area() 被调用处，而不是链接期。

• CRTP 基类不能有虚析构函数（否则破坏静态绑定意图），若需多态销毁，得另加机制
• 派生类名必须在基类模板实参中完整可见——不能在类定义体内引用自身（如 struct X : base 在类体里写 base 是非法的，因为 X 尚未完成定义）
• 与接口类组合使用时，注意 ADL（参数依赖查找）可能失效：CRTP 基类中的自由函数调用不会自动找派生类的同名函数，除非显式限定或引入

编译期计算首选 constexpr 函数，TMP 是备选

从 C++14 开始，constexpr 函数已支持循环、局部变量、条件分支，绝大多数编译期数值计算（阶乘、斐波那契、字符串哈希）应优先用它，而非传统 TMP 递归模板。前者可调试、可复用、错误信息干净。

constexpr int factorial(int n) {
    return n <= 1 ? 1 : n * factorial(n - 1);
}
static_assert(factorial(5) == 120); // OK

只有两类情况仍需 TMP：一是操作类型本身（比如提取参数包中第 N 个类型），二是需要延迟实例化（例如根据条件决定是否定义某个嵌套类型）。此时才用 std::tuple_element_t、std::declval、void_t 等工具。

• constexpr 函数在 C++20 后支持更多运行时不可用的操作（如动态内存分配被禁止，但容器构造仍受限），不要假设它能完全替代模板元函数
• 模板参数包展开（...）仍是唯一能“遍历类型列表”的机制，constexpr 函数无法做到这点
• 混合使用时注意求值时机：一个 constexpr 函数内部调用模板元函数是允许的，但反过来不行——模板实例化不能依赖运行时值

最易忽略的细节：模板参数推导和 constexpr 求值共享同一套常量表达式规则，但错误路径不同。一个 static_assert 失败可能来自模板特化未匹配，也可能来自 constexpr 函数中途返回非法值——得看错误信息里带的是 “no type named” 还是 “not a constant expression”。