C++编译期可配置类实现困境及可行方案咨询

核心思路：模板Mixin特性封装 + 编译期条件剔除冗余代码 #

针对你的需求，推荐结合模板Mixin模块化特性和编译期类型检测的方案，既能实现特性的按需启用，又能保证Debug/Release模式下都无冗余代码和变量。

1. 特性的模块化封装 #

把每个可配置特性（如下溢回调、溢出回调）做成独立的Mixin类，仅包含自身特性所需的成员和逻辑，同时提供空特性作为默认选项：

// 空特性基类（无任何成员，触发空基类优化）
struct NoUnderflowFeature {};
struct NoOverflowFeature {};

// 下溢回调特性Mixin
template<typename Derived>
struct UnderflowCallbackMixin {
    using Callback = void(*)();
    Callback underflow_cb = nullptr;

    void set_underflow_callback(Callback cb) {
        underflow_cb = cb;
    }

    void invoke_underflow() {
        if (underflow_cb) underflow_cb();
    }
};

// 溢出回调特性Mixin
template<typename Derived>
struct OverflowCallbackMixin {
    using Callback = void(*)();
    Callback overflow_cb = nullptr;

    void set_overflow_callback(Callback cb) {
        overflow_cb = cb;
    }

    void invoke_overflow() {
        if (overflow_cb) overflow_cb();
    }
};

2. 编译期检测+条件调用的计数器基类 #

使用CRTP结合std::is_base_of做编译期类型检测，通过if constexpr分支完全剔除未启用特性的代码，同时利用空基类优化（EBO）避免冗余成员变量：

#include <type_traits>

template<typename Impl, typename UnderflowF = NoUnderflowFeature, typename OverflowF = NoOverflowFeature>
class Counter : public UnderflowF, public OverflowF {
public:
    void decrement() {
        if (value_ == 0) {
            // 编译期判断是否启用下溢特性，不满足则分支直接被剔除
            if constexpr (std::is_base_of_v<UnderflowCallbackMixin<Counter>, UnderflowF>) {
                static_cast<UnderflowF*>(this)->invoke_underflow();
            }
            return;
        }
        --value_;
    }

    void increment() {
        if (value_ == max_value_) {
            // 编译期判断是否启用溢出特性
            if constexpr (std::is_base_of_v<OverflowCallbackMixin<Counter>, OverflowF>) {
                static_cast<OverflowF*>(this)->invoke_overflow();
            }
            return;
        }
        ++value_;
    }

private:
    int value_ = 0;
    const int max_value_ = 100;
};

3. 按需组合特性 #

使用时通过模板参数指定需要启用的特性，未指定的特性会自动使用空基类，完全不占用内存和代码空间：

// 嵌入式场景：无额外特性的基础计数器
using BasicCounter = Counter<int>;

// 仅启用下溢回调的计数器
using UnderflowOnlyCounter = Counter<int, UnderflowCallbackMixin<Counter<int>>>;

// 启用全部特性的计数器
using FullFeatureCounter = Counter<int, UnderflowCallbackMixin<Counter<int>>, OverflowCallbackMixin<Counter<int>>>;

4. 满足Debug Build精简性的关键 #

• 空基类优化（EBO）：未启用特性的空基类不会占用任何实例内存，避免冗余变量。
• if constexpr编译期分支：不满足条件的代码分支会在编译阶段直接被移除，和优化等级无关，Debug模式下也不会生成无效代码。

补充方案：政策类（Policy-Based Design）实现 #

和Mixin思路类似，但把特性定义为政策类，空政策类对应无特性，同样能达到精简效果：

struct NoUnderflowPolicy {
    void on_underflow() {}
};

struct UnderflowCallbackPolicy {
    using Callback = void(*)();
    Callback cb = nullptr;

    void set_callback(Callback c) { cb = c; }
    void on_underflow() { if (cb) cb(); }
};

template<typename UnderflowP = NoUnderflowPolicy, typename OverflowP = NoUnderflowPolicy>
class Counter : private UnderflowP, private OverflowP {
public:
    void decrement() {
        if (value_ == 0) {
            UnderflowP::on_underflow();
            return;
        }
        --value_;
    }

    // 仅当政策类支持时，才暴露配置接口（编译期移除无效接口）
    template<typename T = UnderflowP>
    std::enable_if_t<std::is_same_v<T, UnderflowCallbackPolicy>>
    set_underflow_callback(typename T::Callback cb) {
        static_cast<UnderflowP*>(this)->set_callback(cb);
    }

private:
    int value_ = 0;
    const int max_value_ = 100;
};

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