CRTP是一种模板编程惯用法,通过基类模板参数为派生类自身实现编译期静态绑定与派生类成员访问;Mixin是一种设计模式,强调功能片段化与组合复用,CRTP仅是其实现方式之一。

CRTP(Curiously Recurring Template Pattern)和 Mixins 都是 C++ 中实现静态多态与代码复用的重要技术,但它们的意图、实现机制和适用场景有本质区别:CRTP 是一种模板编程惯用法,核心是“编译期静态绑定 + 基类访问派生类成员”;而 Mixin 是一种设计模式(可由多种方式实现),核心是“功能片段化 + 组合复用”,CRTP 只是实现 Mixin 的一种常见手段,而非 Mixin 本身。
CRTP 是一种具体的模板技巧
它要求基类是一个类模板,且模板参数正是派生类自身,从而让基类在编译期“知道”派生类的完整类型:
- 基类可通过
static_cast安全调用派生类的静态接口(无虚函数开销)(this) - 典型用途包括:实现通用计数器、可比较性注入(
operator)、静态多态日志/序列化钩子等 - 它不关心“功能语义”,只提供一种让基类操作派生类的机制
Mixin 是一种关注职责分离的设计思想
Mixin 指将某个内聚的功能(如可序列化、可观察、可缓存)封装为可插拔的组件,再通过继承(或组合)叠加到目标类上。C++ 中常用以下方式实现:
-
基于 CRTP 的 Mixin:例如
SerializableMixin,利用 CRTP 获取MyClass的私有/公有成员,自动生成序列化逻辑 -
普通模板基类 Mixin:不依赖 CRTP,仅提供公共接口和默认实现(如
EnableSharedFromThis),靠派生类配合实现约定函数 - 策略类组合:通过成员变量 + 模板参数传入行为(更偏向 Strategy 模式,但也算 Mixin 思想的变体)
关键区别一目了然
目的不同:CRTP 解决“如何让基类安全调用派生类”的技术问题;Mixin 解决“如何把横切功能模块化、避免重复编写”的设计问题。
耦合程度不同:CRTP 要求派生类必须严格按模板参数形式继承,耦合强;Mixin 实现可以松耦合(比如靠 ADL 或概念约束替代强制继承)。
是否必须模板:CRTP 必须是模板;Mixin 不一定——Python 的 Mixin 是动态的,C++ 里也有非模板的简单 Mixin(如纯虚接口 + 手动实现)。
实际选型建议
- 需要零成本抽象、编译期确定行为 → 优先考虑 CRTP 式 Mixin
- 功能较轻量、无需访问派生类内部细节 → 普通模板基类或策略组合更简洁
- 多个 Mixin 要共存 → 注意菱形继承、构造顺序、
using声明冲突,CRTP 类常需加protected构造防止误实例化 - 未来可能迁移到概念(Concepts)或反射 → 避免过度依赖 CRTP 的“强模板绑定”,保留扩展余地
基本上就这些。CRTP 是刀,Mixin 是切菜的方法——刀好用,但别忘了为什么切、怎么切才不伤手。
立即学习“C++免费学习笔记(深入)”;











