C++装饰类函数时避免代码重复的高效实现方案咨询

你提到的几种方案的问题 #

• 成员变量分支判断：固定判断值下CPU分支预测命中率接近100%，但仍存在理论上的冗余检查，不符合仅在main做一次判断的要求
• 复制类实现：代码冗余度100%，后续迭代需要同时维护两份逻辑，维护成本极高，不推荐
• 虚函数重写：存在虚表寻址的运行时开销，在高频调用、bar本身计算逻辑较轻的场景下，开销占比会被放大，不适合计算密集型场景

最优方案：CRTP静态装饰 #

该方案属于编译期静态绑定，零运行时额外开销，无代码重复，开关逻辑仅在main中执行一次，完全匹配你的需求。

实现步骤 #

1. 原有类A完全不需要修改，保留所有原有逻辑

class A {
protected:
    // 你的类成员变量
    int mid_result;
public:
    void foo() {
        // 原有计算逻辑，可随意调用bar()
        bar();
    }
    void bar() {
        // 原有bar的全部计算逻辑
        mid_result = 456; // 示例中间结果
        return;
    }
};

2. 实现模板装饰类，仅扩展bar的打印逻辑

template<typename BaseClass>
class AWithPrint : public BaseClass {
public:
    // 复用基类所有构造函数
    using BaseClass::BaseClass;
    // 重写bar逻辑：先执行原有逻辑，再加打印
    void bar() {
        BaseClass::bar();
        // 你的打印逻辑，按需修改
        printf("当前中间结果：%d\n", BaseClass::mid_result);
    }
};

3. main中仅做一次判断，决定使用哪个版本的实现

// 抽离通用执行逻辑
template<typename T>
void execute_calc() {
    T calc_obj;
    calc_obj.foo();
}

int main() {
    // 仅执行一次判断，你可以替换为自己的判断条件
    const bool enable_mid_print = false;
    if (enable_mid_print) {
        execute_calc<AWithPrint<A>>();
    } else {
        execute_calc<A>();
    }
    return 0;
}

方案优势 #

• 无任何运行时额外开销：所有函数调用静态绑定，编译器可完全内联，没有虚表开销、没有分支检查开销
• 无代码冗余：原有类A完全独立，后续迭代仅需修改A即可，不需要同步修改装饰类
• 开关逻辑仅执行一次，完全符合要求

备选轻量方案（可接受极微开销场景） #

如果你的bar本身计算逻辑很重，调用开销占比极低，也可以直接用const成员变量做分支判断：
将判断开关设为const bool类型，初始化后不可修改，CPU分支预测会100%命中该分支，实际运行时几乎感受不到开销，实现成本最低。

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