C语言数组实现栈的最小值计算函数异常问题求助

代码中的核心问题 #

• 基准条件无返回值：空栈时return ;未指定返回值，C语言会返回栈上的随机垃圾值，这就是你得到错误结果（比如1）的直接原因。
• push语句永远无法执行：return语句后的push(S, x);不会被运行，导致递归过程中弹出的元素无法放回栈，最终栈被清空，同时递归比较的栈状态被破坏。
• 递归逻辑缺陷：当前逻辑仅返回单次比较的较小值，未保留中间结果，也未恢复栈的原始状态。

修复后的findMin函数 #

#include <limits.h> // 需要包含这个头文件来使用INT_MAX

int findMin(int S[]) {
    if (emptyStack(S)) {
        // 空栈返回极大值作为递归基准，确保任何栈元素都比它小
        return INT_MAX;
    }
    
    int x = pop(S);
    // 递归获取剩余栈的最小值
    int min_rest = findMin(S);
    // 将弹出的元素放回栈，恢复栈的原始状态
    push(S, x);
    // 比较当前元素与剩余栈最小值，返回较小值
    return x < min_rest ? x : min_rest;
}

修复关键点说明 #

1. 修正基准条件：空栈时返回INT_MAX，为递归比较提供合理的基准值，避免随机垃圾值干扰结果。
2. 调整代码顺序：先完成递归获取剩余栈最小值，再将弹出的元素放回栈，确保函数调用前后栈的状态完全一致。
3. 完善比较逻辑：保存递归结果后再进行比较，保证每次递归都能正确计算当前栈的最小值。

额外注意事项 #

• 若栈可能为空，建议在调用findMin前做非空判断，或者在函数内添加错误提示逻辑。
• 原push函数无返回值，可补充返回值（比如成功返回1、失败返回0）增强健壮性，但不影响当前最小值计算功能。

内容的提问来源于stack exchange，提问作者Luigi V.