CRTP模式下重写基类成员函数并小幅修改的实现方案咨询

核心需求是在基类工具函数中支持可选的预处理/后处理逻辑，同时保证对外暴露的基类接口被调用时，自动执行最派生类的自定义逻辑，以下两种成熟方案可以解决你之前提到的冗余、通用性差问题：

通用场景首选：非虚接口（NVI）模式 + 默认空钩子 #

这是C++实现模板方法模式的标准工业实践，基于普通虚多态实现，无额外约束，兼容性最好。

• 基类将对外暴露的func()设为非虚公开方法，作为唯一调用入口，内部固定执行「前置处理→核心逻辑→后置处理」的流程
• 前后置处理、核心逻辑都设为protected虚函数，基类提供默认空实现，派生类按需重写即可，不需要的逻辑完全不用额外写代码
• 基类必须提供虚析构函数，保证派生类资源正确释放

基类示例代码：

class Base {
public:
    // 对外唯一入口，固定执行流程，不允许派生类重写
    void func() {
        func_pre();
        run_core_logic();
        func_post();
    }

    virtual ~Base() = default;

protected:
    // 前后置钩子：默认空实现，派生类不需要可以不重写
    virtual void func_pre() {}
    virtual void func_post() {}

    // 核心逻辑：基类提供默认实现，派生类有需要也可以重写
    virtual void run_core_logic() {
        // 基类内置的核心业务逻辑
    }
};

派生类使用示例：

// 不需要自定义前后置逻辑的派生类：零额外代码，直接复用基类全部逻辑
class SimpleProcess : public Base {
    // 不需要写任何和pre/post相关的代码，调用func()直接走基类默认流程
};

// 需要自定义逻辑的派生类：只重写自己需要的钩子即可
class CustomProcess : public Base {
protected:
    void func_pre() override {
        // 自定义预处理逻辑，比如参数校验、日志打点
    }
    // 不需要后置处理就完全不用实现func_post，不会产生编译错误
};

这个方案完全规避了你之前提到的两个方案的缺陷：

• 对比强制派生类实现pre/post的方案：没有冗余代码要求，默认空实现保证不需要自定义逻辑的派生类可以直接使用
• 对比CRTP递归调用的方案：不需要依赖CRTP特性，不管有没有派生类都可以正常实例化基类使用，支持运行时多态，可以通过基类指针/引用统一管理所有派生类实例，调用func()时自动匹配最派生类的重写逻辑。

零虚函数开销可选方案：CRTP + 编译期钩子检测 #

如果你的场景对运行时开销极度敏感，不需要运行时多态能力，可以用CRTP静态多态实现，通过C++20的requires关键字在编译期检测派生类是否实现了对应的pre/post方法，存在则调用，不存在则直接跳过，同样不需要派生类强制实现冗余方法。

基类示例代码：

template <typename Derived>
class StaticBase {
public:
    void func() {
        // 编译期检测派生类是否实现func_pre，有则调用，无则跳过
        if constexpr (requires { static_cast<Derived*>(this)->func_pre(); }) {
            static_cast<Derived*>(this)->func_pre();
        }

        run_core_logic();

        // 编译期检测func_post
        if constexpr (requires { static_cast<Derived*>(this)->func_post(); }) {
            static_cast<Derived*>(this)->func_post();
        }
    }

    void run_core_logic() {
        // 基类核心逻辑
    }
};

派生类使用示例：

// 无自定义逻辑的派生类
class SimpleStaticProcess : public StaticBase<SimpleStaticProcess> {};

// 仅需要预处理的派生类
class CustomStaticProcess : public StaticBase<CustomStaticProcess> {
public:
    void func_pre() {
        // 自定义预处理逻辑
    }
};

方案选择建议 #

• 90%以上的常规业务场景优先选NVI方案，可读性高、维护成本低、支持运行时多态，是行业通用的标准实现
• 仅在极致性能要求、且不需要运行时多态的场景下，选择CRTP编译期检测方案

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