C++多操作模式基类继承重构的设计方案咨询

针对两个核心问题，采用非虚接口（NVI）模式+强类型枚举的设计即可完全满足要求，不需要引入复杂的状态模式类层级，代码简洁、类型安全、隔离性好，同时预留未来扩展空间。 #

方案核心逻辑 #

1. 类型安全的模式表示 #

• 在BasicAxis内部定义强枚举BasicMode，仅包含所有基础模式，基类对外仅暴露接受BasicMode类型的模式设置接口，编译期直接杜绝给基础轴实例设置扩展模式的可能。
• 派生类（如ExtendedAxis）内部独立定义自己的扩展模式强枚举，对外重载set_mode接口同时支持基础模式和自有扩展模式，不需要修改基类的枚举定义。
• 派生类内部用std::optional存储当前扩展模式，空值代表当前处于基础模式，有值则对应具体扩展模式，从结构上保证任意时刻实例仅能处于一种模式，不可能出现状态冲突。

2. run_step()逻辑拆分 #

• 基类BasicAxis将run_step()定义为对外公有的非虚函数，固定执行流程：先调用保护级虚钩子判断是否处于扩展模式，若不是则执行基础模式的switch分支逻辑；若是则调用另一个保护级虚钩子交给派生类处理扩展逻辑。
• 基类对两个虚钩子提供默认实现：is_in_ext_mode()永远返回false，handle_ext_mode_step()内置断言兜底（基类实例永远不可能走到该分支）。基类完全不需要感知扩展模式的具体定义、存在形式，所有基础模式逻辑完全内聚在基类内部。
• 派生类仅需重写两个虚钩子：is_in_ext_mode()返回当前扩展模式存储是否有值，handle_ext_mode_step()内实现自有扩展模式的switch处理逻辑；同时重写基础模式的set_mode接口，切回基础模式时清空自身的扩展模式标记即可。基础模式的处理逻辑完全复用基类代码，不需要重复编写。

可直接复用的代码实现 #

BasicAxis 基类实现 #

#include <cassert>
#include <optional>

class BasicAxis {
public:
    // 强类型枚举，仅包含基础模式，无隐式转换风险
    enum class BasicMode {
        MODE_1,
        MODE_2
    };

    virtual ~BasicAxis() = default;

    // 周期执行入口，对外统一暴露，不允许派生类重写
    void run_step() {
        if (is_in_ext_mode()) {
            handle_ext_mode_step();
            return;
        }
        // 基础模式处理逻辑，完全不涉及任何扩展模式相关内容
        switch (mode_) {
            case BasicMode::MODE_1:
                // 写入基础模式1的控制逻辑
                break;
            case BasicMode::MODE_2:
                // 写入基础模式2的控制逻辑
                break;
        }
    }

    // 基类仅支持设置基础模式，编译期拦截非法传参
    virtual void set_mode(BasicMode m) {
        mode_ = m;
    }

    // 只读获取当前基础模式
    BasicMode current_basic_mode() const {
        return mode_;
    }

protected:
    // 扩展判断钩子，基类默认永远处于基础模式
    virtual bool is_in_ext_mode() const {
        return false;
    }

    // 扩展逻辑处理钩子，基类实例永远不会调用，断言做错误兜底
    virtual void handle_ext_mode_step() {
        assert(false && "BasicAxis instance cannot enter extended mode");
    }

private:
    BasicMode mode_ = BasicMode::MODE_1; // 初始默认模式
};

ExtendedAxis 派生类实现 #

class ExtendedAxis : public BasicAxis {
public:
    // 扩展模式强枚举，和基础模式完全隔离，基类无感知
    enum class ExtMode {
        EXT_1,
        EXT_2
    };

    // 重写基础模式设置接口，切回基础模式时清空扩展状态
    void set_mode(BasicMode m) override {
        BasicAxis::set_mode(m);
        ext_mode_.reset();
    }

    // 扩展模式设置接口，仅扩展类对外暴露
    void set_mode(ExtMode m) {
        ext_mode_ = m;
    }

    // 只读获取当前扩展模式，基础模式下返回空
    std::optional<ExtMode> current_ext_mode() const {
        return ext_mode_;
    }

protected:
    // 重写判断钩子：存在扩展模式值时判定为扩展状态
    bool is_in_ext_mode() const override {
        return ext_mode_.has_value();
    }

    // 重写处理钩子：仅在这里编写扩展模式的控制逻辑
    void handle_ext_mode_step() override {
        switch (ext_mode_.value()) {
            case ExtMode::EXT_1:
                // 写入扩展模式1的控制逻辑
                break;
            case ExtMode::EXT_2:
                // 写入扩展模式2的控制逻辑
                break;
        }
    }

private:
    // 空值表示当前处于基础模式，非空对应具体扩展模式
    std::optional<ExtMode> ext_mode_;
};

方案优势 #

• 类型安全：所有模式参数均为强类型，编译期即可拦截非法模式赋值，不存在裸枚举隐式转换、值越界的风险。
• 隔离彻底：基类除了两个默认无逻辑的虚钩子外，完全不感知任何扩展模式的存在，符合单一职责要求。
• 代码复用：基础模式逻辑仅需编写一次，所有派生类直接复用，不会出现多份重复switch分支的维护问题。
• 扩展性强：未来新增AdvancedAxis等其他派生类时，仅需独立定义自有扩展模式、重写两个虚钩子即可，完全不需要修改基类代码，不会影响现有基础轴的功能稳定性。
• 状态可靠：模式状态的修改全部封装在set_mode接口内，任意时刻仅能处于基础模式或某一个扩展模式，不会出现非法状态。

如果是控制周期在10微秒以内的超高速场景，对虚函数调用开销敏感，可以将虚钩子替换为CRTP静态多态实现，整体逻辑结构不变，即可完全消除虚函数开销；绝大多数工业运动控制场景下，虚函数的纳秒级开销完全可以忽略，不需要额外引入模板复杂度。 #

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