如何通过CRTP实现编译期多态，实战案例详解？

本文共计1163个文字，预计阅读时间需要5分钟。

CRTP是利用C++模板的编译时多态，允许在零虚函数、零对象尺寸、零调用速度损失下，让基类调用派生类的逻辑。它不是写对模板参数就完事，而是编译期契约——漏掉一个字符，编译器会立即报错，错误信息能指示你漏掉的位置。

class Derived : public Base 这行必须手写，不能省略也不能推导

Base 本身是模板，Base 不是类型，Base<void></void> 或 Base<auto></auto> 都非法。只有 Base<derived></derived> 这种显式特化，才能让编译器在实例化时确认 Derived 的完整布局和成员签名。

• 漏写模板参数：class Circle : public Base → 编译失败：“Base is not a type”
• 传错类型：class Circle : public Base<square></square> → static_cast<square>(this)</square> 在运行时可能读越界，Clang/GCC 开 -Wall 通常会提前警告
• 派生类是模板时，必须传入完整特化名：class Vec3f : public Base<vec3>></vec3>，不能写 Base<vec3></vec3>

static_cast(this)->func() 调用前，Derived::func 必须存在且签名严格匹配

CRTP 没有重载解析、不走 ADL、不隐式转换。基类里一句 static_cast<derived>(this)->draw_impl()</derived>，就要求 Derived 精确提供 void draw_impl()（含 const/volatile 限定、参数类型、返回值）。

• 拼错名：draw_impl vs drawImpl → 编译错误指向基类那行 static_cast，而非派生类缺失定义处
• const 不一致：基类调非 const 版，派生类只实现 void draw_impl() const → 编译失败，“no matching member function”
• 建议在基类关键接口中加 static_assert 校验，例如：static_assert(std::is_same_v<decltype>().getValue()), int>)</decltype>

if constexpr 是唯一安全的编译期分支手段，别在构造函数里写 runtime 判断

想让 Circle 和 Rect 在同一个 render() 接口中走不同路径？不能用 typeid 或 dynamic_cast，它们依赖虚函数，也违背 CRTP 原则。必须用 if constexpr 在模板函数内做编译期裁剪。

立即学习“C++免费学习笔记（深入）”；

• 错误写法：if (Derived::has_optimization) { ... } → Derived::has_optimization 可能未定义，或只是运行时值
• 正确写法：把分支封装进模板成员函数，用 if constexpr (std::is_same_v<derived circle>)</derived> 或自定义 trait 如 has_member_v<derived value_type></derived>
• 注意：未选中的分支仍需语法合法——哪怕只出现在 if constexpr 里，调用的函数也得在对应派生类中真实存在

Base 和 Base 类型完全无关，别试图塞进同一 vector

每个 Base<t></t> 是独立类型，没有公共基类，std::vector<base>> 语法非法。这不是限制，而是设计前提：CRTP 解决的是单类型高性能调度，不是运行时异构集合管理。

• 想统一持有多个派生对象？只能用 std::variant<circle rect triangle></circle> + std::visit
• 想外层桥接动态多态？让 Circle 同时继承 Base<circle></circle> 和虚基类 Drawable，由 CRTP 实现核心逻辑，虚函数仅作出口适配
• 模板膨胀真实存在：Base<circle>::validate()</circle> 和 Base<rect>::validate()</rect> 是两份独立符号；用 nm -C your_binary | grep Base 可定位膨胀点，通用逻辑应抽成 inline 工具函数

最易被忽略的点：CRTP 要求所有相关定义在同一个翻译单元可见。把 Derived 定义放在单独 .cpp 里？不行。要么全放头文件，要么在 .cpp 中加 template class Base<concrete>;</concrete> 显式实例化——否则 Base<concrete></concrete> 实例化时看不到 Concrete 的完整定义，直接报 incomplete type。