C++状态模式实现触发段错误及栈溢出问题求助

核心问题：无限递归调用导致栈溢出 #

从代码逻辑看，状态切换过程存在无限递归调用链，这是栈内存持续增长直至崩溃的根本原因：

• RunningT1::handle中调用controller->setState(new Intermediate())切换状态
• setState方法在完成状态切换后，立即调用新状态的handle(this)
• 若Intermediate::handle又会触发切回RunningT1（或形成其他循环切换逻辑），就会不断递归调用handle方法，每次调用都会在栈上生成新的函数帧，最终耗尽栈空间触发段错误。

替换std::unique_ptr仅能解决裸指针的内存管理问题，无法修复递归栈溢出的核心bug。

具体修复步骤 #

1. 重构setState方法，剥离自动触发状态处理的逻辑 #

setState的职责应仅为切换状态，不要在方法内自动调用handle。使用std::unique_ptr管理状态对象，避免手动内存泄漏：

// 修改ControllerT1的成员变量为智能指针
private:
    std::unique_ptr<IControllerStateT1> currentState;

// 修改setState实现
void ControllerT1::setState(std::unique_ptr<IControllerStateT1> newState) {
    currentState = std::move(newState);
    // 移除 currentState->handle(this); 这一行
}

2. 由外部循环驱动状态处理 #

在业务主逻辑中，通过循环持续调用ControllerT1::run()来触发状态处理，而非依赖状态切换时的自动调用：

// 示例主线程逻辑
int main() {
    std::vector<int> input, output;
    ControllerT1 ctrl(input, output);
    ctrl.initialize();
    
    // 按需添加退出条件，比如监听终止信号
    while (true) {
        ctrl.run();
        std::this_thread::sleep_for(std::chrono::milliseconds(30));
    }
}

3. 调整状态类的handle逻辑 #

状态类的handle仅负责执行当前状态的业务操作，仅在满足明确条件时触发状态切换，避免无条件循环切换：

void RunningT1::handle(ControllerT1* controller) {
    std::cout << "Bettery api 1 running" << std::endl;
    try {
        std::lock_guard<std::mutex> lock(DataMutex);
        for (auto& element : ControllerOutputs) {
            element += 1;
        }
    } catch (const std::exception& e) {
        std::cerr << e.what() << std::endl;
    }

    // 仅在满足业务条件时切换状态，避免无意义循环
    if (checkNeedSwitchToIntermediate()) {
        controller->setState(std::make_unique<Intermediate>());
    }
}

4. 排查所有状态切换逻辑 #

逐一检查所有状态类的handle方法，确保不存在A→B→A→B...的无限循环切换，必要时添加状态切换的前置判断条件。

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