编译时多态通过模板在编译期确定类型行为，避免运行时开销，如Calculator::compute()直接绑定对应实现；编译期计算利用模板递归或constexpr函数（如factorial(5)）在编译阶段完成数值计算，提升性能。二者共同支撑零成本抽象与类型安全，广泛应用于类型萃取、表达式模板等高性能库中，是现代C++模板编程的核心技术。
在C++中，编译时多态和编译期计算是模板元编程（Template Metaprogramming, TMP）的核心应用。它们不依赖运行时的虚函数机制，而是在代码编译阶段完成类型选择和数值计算，从而提升性能并增强类型安全。
编译时多态：通过模板实现
传统的多态依赖继承和虚函数表，在运行时决定调用哪个函数。而编译时多态利用模板和泛型编程，在编译阶段根据类型确定行为，避免了运行时开销。
最典型的实现方式是通过函数模板或类模板的特化：
立即学习“C++免费学习笔记（深入）”；
templatestruct Calculator { static void compute() { T::do_compute(); } }; struct TypeA { static void do_compute() { / A的实现 / } };
struct TypeB { static void do_compute() { / B的实现 / } };
调用 Calculator
这种基于模板参数的分发机制称为“静态多态”，常见于策略模式、表达式模板等高性能库中。
编译期计算：利用模板递归与 constexpr
C++允许在编译阶段执行某些计算，比如计算阶乘、斐波那契数列等。这可以通过模板特化和递归实现，也可以使用现代C++的 constexpr 函数。
方法一：模板元编程实现编译期阶乘
立即学习“C++免费学习笔记（深入）”；
templatestruct Factorial { static constexpr int value = N * Factorial ::value; }; template<> struct Factorial<0> { static constexpr int value = 1; };
// 使用 constexpr int result = Factorial<5>::value; // 编译期计算为 120
这段代码在编译时展开模板，生成常量值，不产生任何运行时计算。
方法二：使用 constexpr 函数（推荐）
立即学习“C++免费学习笔记（深入）”；
constexpr int factorial(int n) {
return (n <= 1) ? 1 : n * factorial(n - 1);
}
constexpr int result = factorial(5); // 同样在编译期完成
从C++14开始，constexpr 函数可以包含循环、局部变量等更复杂的逻辑，写法更自然，可读性更强。
模板元编程的实际用途
虽然编译期计算看起来像玩具示例，但在实际开发中有重要价值：
- 类型萃取：STL中的 std::is_integral、std::enable_if 都基于模板特化判断类型属性。
- 零成本抽象：如Eigen、xtensor等数学库利用表达式模板在编译期优化计算图。
- 配置驱动代码生成：根据模板参数生成不同结构的类，避免运行时分支。
- 编译期断言：使用 static_assert 结合模板条件检查类型约束。
注意事项与建议
模板元编程强大但容易导致编译时间变长、错误信息晦涩。建议：
- 优先使用 constexpr 而非复杂的模板递归。
- 合理使用 type traits 和标准库工具，避免重复造轮子。
- 注意模板实例化深度限制（通常可调，但默认有限）。
- 调试时可用 static_assert(false) 触发编译错误来查看类型推导结果。
基本上就这些。掌握编译时多态和编译期计算，是深入理解现代C++模板系统的关键一步。不复杂但容易忽略的是，很多高性能库正是靠这些技术做到“运行时零开销”。
