CRTP替代静态多态实现的命名、优势及劣势咨询

CRTP静态多态的背景 #

我此前学习了CRTP，了解到使用非虚函数实现静态多态十分实用，其典型实现代码如下：

template <class Derived>
struct Base { void name() { (static_cast<Derived*>(this))->impl(); } };
struct D1 : public Base<D1> { void impl() { std::puts("D1::impl()"); } };
struct D2 : public Base<D2> { void impl() { std::puts("D2::impl()"); } };

// Base<D1> b1; b1.name(); //undefined behavior
// Base<D2> b2; b2.name(); //undefined behavior
D1 d1; d1.name();
D2 d2; d2.name();

微软官方文档指出static_cast存在安全性问题：

然而，static_cast完全依赖于转换语句中提供的信息，因此可能不安全。

因此我设计了如下另一种静态多态接口实现方案：

template <typename T>
struct Base 
{ 
private: 
 T t;
public:
void name() { t.nameImpl(); } 
};
struct D1 { void nameImpl() { std::puts("D1::impl()"); } };
struct D2 { };

对象创建与使用方式如下：

Base<D1> obj;
obj.name();

Base<D2> obj2; //error

方案分析 #

1. 方案名称 #

这种实现方式属于组合式静态多态，也可被看作是静态策略模式——通过模板参数将具体行为类注入到接口类中，利用编译器的模板实例化机制完成接口约束。

2. 优势 #

• 类型安全更可靠：彻底规避了CRTP中static_cast向下转换的风险，也避免了直接实例化CRTP基类导致的未定义行为。编译器会在模板实例化阶段直接检查参数类是否提供了约定的方法（如nameImpl()），错误提示更直接明确。
• 低耦合设计：具体类（如D1、D2）无需继承自Base，采用组合关系替代继承，遵循"组合优于继承"的设计原则，类的独立性更强，复用性更高。
• 实现逻辑简洁：无需处理继承体系中的this指针转换，代码结构直观，理解和维护成本更低。

3. 劣势 #

• 额外内存开销：Base类持有T类型的成员变量，若T是非空类，会带来额外的内存占用；而CRTP可借助空基类优化（EBO）实现零额外内存开销。
• 缺乏统一调用能力：Base<D1>和Base<D2>是完全独立的类型，无法像动态多态那样用同一个基类指针/引用统一调用不同实例的方法，也难以通过简单的类型擦除实现统一处理。
• 接口约定灵活性不足：具体类必须严格遵循Base类约定的方法名称（如nameImpl()），无法像CRTP那样通过模板特化、SFINAE等手段适配不同命名的方法。

内容的提问来源于stack exchange，提问作者gDator