栈peek方法优雅实现：避免魔数与空值陷阱

本文探讨 Java 中数组栈 peek 方法的多种健壮实现方式，包括抛出异常、使用 Optional 和返回包装类型，帮助开发者规避 Integer.MIN_VALUE 魔数和 null 引用风险。

在实现基于数组的栈时，peek() 方法的核心职责是安全地查看栈顶元素而不移除它。原始实现通过捕获 ArrayIndexOutOfBoundsException 并返回 Integer.MIN_VALUE，这种做法存在明显缺陷——若压栈的值恰好是 -2147483648，调用方将无法区分栈空还是获取到该值，属于典型的“魔数滥用”问题。

下面介绍三种更专业、更符合 Java 实践的替代方案，可根据项目风格和需求灵活选择。

方案一：显式抛出异常（推荐用于契约式设计）

public int peek() {
    if (top == -1) {
        throw new IllegalStateException("Cannot peek from an empty stack");
    }
    return arr[top];
}

• 优势：语义清晰，强制调用方处理空栈场景；符合 JDK 集合类（如 Deque.peek()）的设计哲学——失败即异常。
• 用法示例：

  try {
      System.out.println("Top: " + st.peek());
  } catch (IllegalStateException e) {
      System.out.println(e.getMessage()); // 输出：Cannot peek from an empty stack
  }

方案二：返回 Optional（推荐用于函数式/防御性编程）

import java.util.Optional;
public Optional peek() {
    if (top == -1) {
        System.out.println("Stack is empty");
        return Optional.empty();
    }
    return Optional.of(arr[top]);
}

• 优势：零空指针风险，调用方可链式处理（.orElse()、.ifPresent() 等）；明确表达“可能无值”的语义。
• 安全调用示例：

  st.peek()
      .ifPresent(value -> System.out.println("Top: " + value))
      .orElseGet(() -> {
          System.out.println("No element to peek");
          return null;
      });

方案三：返回 Integer（谨慎使用）

public Integer peek() {
    if (top == -1) {
        System.out.println("Stack is empty");
        return null;
    }
    return arr[top];
}

• 风险提示：虽可编译运行，但 null 返回极易引发 NullPointerException（Tony Hoare 所称“十亿美元错误”）。仅当项目已严格约束调用方必须判空时才考虑。

关键注意事项

• 永远不要依赖 ArrayIndexOutOfBoundsException 进行流程控制：该异常属于运行时异常，本意是指示编程错误（如越界访问），而非业务逻辑分支。
• 提前检查比异常捕获更高效：if (top == -1) 判断开销远低于异常创建与栈展开。
• resize() 方法存在 bug：当前代码中 newArr.length / 2 应改为 arr.length，否则扩容后前半段数据可能未完整复制。

综合来看，方案一是最符合 Java 工程规范的做法——用异常明确定义契约，让错误在发生处暴露，而非掩盖成默认值；若需更高灵活性与安全性，则 Optional 是现代 Java 的标准解法。