栈（数组索引越界）问题：多次调用POP方法报错如何解决？

嘿，这个问题很常见——咱们先拆解下原因，再给你具体的修复方案～

问题根源 #

你已经给push操作加了栈满的判断，所以超过容量时会提示“栈已满”；但POP操作前没有检查栈是否为空！当你连续弹出10次后，栈的top值会回到初始的-1，这时候再执行pop，程序会尝试访问stack[-1]，直接触发数组索引越界错误。

修复方案 #

和push操作的思路一致，在执行pop前先判断栈是否为空。我们可以通过isEmpty()方法来做这个检查，然后根据需求返回提示、特殊值或者抛出异常。

完整修正后的代码示例 #

class Stack {
    final int MAX_SIZE = 10;
    int top;
    int[] stack;

    public Stack() {
        top = -1;
        stack = new int[MAX_SIZE]; // 补全数组初始化逻辑
    }

    // 保留你已实现的入栈逻辑
    public void push(int value) {
        if (top == MAX_SIZE - 1) {
            System.out.println("栈已满");
            return;
        }
        stack[++top] = value;
    }

    // 修复后的出栈方法
    public int pop() {
        // 先判断栈是否为空
        if (isEmpty()) {
            System.out.println("栈已空，无法弹出元素");
            // 方案1：抛出明确异常，让调用者感知错误（更严谨）
            throw new IllegalStateException("栈为空，无法执行弹出操作");
            // 方案2：返回特殊标记值（注意：如果栈内本身可能有-1，会造成混淆）
            // return -1;
        }
        return stack[top--];
    }

    // 正确实现isEmpty方法
    public boolean isEmpty() {
        return top == -1;
    }

    // 可选：新增查看栈顶元素的方法，同样需检查空栈
    public int peek() {
        if (isEmpty()) {
            throw new IllegalStateException("栈为空，无栈顶元素");
        }
        return stack[top];
    }
}

关键说明 #

• isEmpty()方法通过top == -1判断空栈：初始化时top为-1，每push一个元素top自增1，每pop一个元素top自减1，当top回到-1时就说明栈内无元素。
• 在pop()里先调用isEmpty()做前置检查，从根源避免访问负数索引的数组位置。
• 错误处理建议用抛出异常的方式：相比返回特殊值，异常能让调用者明确知道操作失败的原因，不会和栈内正常元素混淆。

这样修改后，当你尝试对空栈执行pop操作时，程序会给出清晰的提示或抛出明确的异常，再也不会出现数组越界错误啦～

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