编译时多态通过模板、CRTP和constexpr在编译期确定调用关系，避免虚函数开销，提升性能。
在C++中，编译时多态（也称为静态多态）是通过模板和
等机制实现的，与运行时多态（基于虚函数）不同，它不依赖虚函数表，而是在编译阶段确定调用关系，性能更高、无运行时开销。
模板实现静态多态（CRTP模式）
最常见的编译时多态实现方式是使用“奇异递归模板模式”（Curiously Recurring Template Pattern, CRTP）。该模式通过将派生类作为模板参数传给基类，在编译期完成多态绑定。
示例代码：
这种方式避免了虚函数的开销，所有调用都在编译期展开为直接函数调用，适用于性能敏感场景。
立即学习
“
C++免费学习笔记（深入）
”；
函数模板与重载解析实现多态
利用函数模板和参数类型推导，也可以实现编译时行为选择。模板根据传入类型选择合适的特化版本或重载函数。
示例：
这种泛型编程方式本质上是静态多态的一种体现：相同接口名，不同实现，由类型决定行为，且在编译期确定。
C知道
CSDN推出的一款AI技术问答工具
下载
constexpr与编译期计算结合多态逻辑
允许在编译期执行函数和构造对象，可以配合模板实现更复杂的编译时决策逻辑。
示例：编译期类型判断并选择行为
这里的
在编译期求值，只保留匹配分支，生成的代码中没有条件跳转，实现零成本抽象。
优势与适用场景
静态多态的核心优势在于：
无虚函数调用开销，提升性能
支持内联优化，函数调用可被完全展开
可在编译期进行类型安全检查
适用于泛型库、数值计算、嵌入式系统等对效率要求高的领域
需要注意的是，静态多态要求所有类型在编译期可见，不能像运行时多态那样通过接口指针处理未知派生类。因此更适合类型集合固定的场景。
基本上就这些。模板 + CRTP +
构成了C++实现编译时多态的三大支柱，合理使用能写出高效且灵活的代码。
constexpr
template
class Shape {
public:
void draw() {
static_cast(this)->draw();
}
};
class Circle : public Shape {
public:
void draw() {
// 绘制圆形
}
};
class Square : public Shape {
public:
void draw() {
// 绘制方形
}
};
// 使用
void render(Shape& auto shape) {
shape.draw(); // 调用具体类型的draw，编译期解析
}
template
void process(const T& obj) {
obj.doWork(); // 根据T的具体类型调用对应方法
}
struct TaskA { void doWork(); };
struct TaskB { void doWork(); };
// 编译器会为TaskA和TaskB分别生成独立的process实例
constexpr
template
constexpr auto get_policy() {
if constexpr (std::is_same_v)
return []{ return "integer policy"; };
else if constexpr (std::is_same_v)
return []{ return "string policy"; };
else
return []{ return "default policy"; };
}
if constexprconstexpr