C++ 如何实现不带虚函数的编译期多态设计方案实战案例精讲之 CRTP 模式【进阶】-C++-PHP中文网

crtp要求基类必须是接收派生类类型的模板，class circle : public shapebase编译失败，因shapebase是模板名而非具体类型，无法实例化；必须写成shapebase才能闭环推导类型、验证成员函数签名及static_cast合法性。

c++ 如何实现不带虚函数的编译期多态设计方案实战案例精讲之 crtp 模式【进阶】

CRTP 不是“去掉虚函数就能用”的替代品，而是必须显式闭环、签名字面匹配、编译期即报错的强契约——写错一个模板实参或漏一个 const 限定，static_cast<derived>(this)</derived> 那一行就直接炸，但错误根源往往在派生类定义处。

为什么 `class Circle : public ShapeBase` 一定编译失败

因为 ShapeBase 是模板名，不是类型；编译器根本不知道你要实例化哪个特化版本。它需要完整闭环的 ShapeBase<circle></circle> 才能生成可调用的成员函数体，进而验证 static_cast<circle>(this)->draw_impl()</circle> 是否合法。

class Circle : public ShapeBase<void></void> → static_cast<void>(this)</void> 后无法调用任何成员，后续所有 ->draw_impl() 都失败
class Circle : public ShapeBase<shape></shape>（Shape 是中间基类）→ static_cast<shape>(this)</shape> 可能越界，ABI 不保证偏移安全
class Vec3f : public ShapeBase<vec3></vec3> → 错误：必须写全特化名 Vec3<float></float>，否则 Derived 类型不完整，触发 incomplete type

`static_cast<derived>(this)</derived>` 调用失败的真正原因

这不是转型本身出问题，而是编译器在实例化 ShapeBase<derived></derived> 时，发现 Derived 根本没有公有、非模板、签名完全一致的 draw_impl() 函数。

基类调 draw_impl() const，派生类只写 void draw_impl() → 编译失败，错误指向 static_cast 行，实际缺的是 const
基类调 process(int)，派生类写 process(long) 或 process(int, int = 0) → “no member named 'process'”，因签名不匹配，不参与重载解析
返回类型不协变：基类期望 int，派生类返回 long 且未显式转换 → 模板实例化冲突

建议在基类关键调用点加 static_assert 主动校验，例如：static_assert(std::is_same_v<decltype>().get_value()), int>)</decltype>。

C++ 算法竞赛自动化测试数据生成与校验框架

根据原题生成新题面、验证器及完整测试数据，自动套用 testlib 模板，用于用户要求生成测试数据时。

下载

为什么 `std::vector<shapebase>></shapebase>` 语法非法

ShapeBase<circle></circle> 和 ShapeBase<square></square> 是两个完全无关的类型，没有公共基类，也不满足任何隐式转换关系。C++ 没有“模板通配符”或“类型擦除语法糖”。

std::vector<shapebase></shapebase> → 语法错误，? 不是合法模板实参
std::vector<:unique_ptr>>></:unique_ptr> 无法容纳 ShapeBase<square></square> 对象
若真需运行时混合操作，只能组合方案：CRTP 实现核心逻辑（如向量运算），外层再继承一个虚基类（如 Drawable { virtual void draw() = 0; }），由 CRTP 派生类同时继承它