避免空指針異常的現代 Java 最佳實踐：Optional、Objects.requireNonNull、斷言與註解方案

避免空指針異常的現代 Java 最佳實踐：Optional、Objects.requireNonNull、斷言與註解方案

空指針異常 (NPE) 是 Java 開發中最常見的運行時錯誤。Tony Hoare 稱其為「十億美元錯誤」。本文系統總結從傳統判空到現代語言特性的多層次防禦體系。

一、傳統判空模式（不推薦）

if (obj != null) { obj.doSomething(); } // 代碼冗長、易漏判、語義不清

二、現代核心方案對比

三、Optional 核心用法

// 創建
Optional opt = Optional.ofNullable(getName()); // 允許 null
Optional opt2 = Optional.of("value"); // 非 null，否則 NPE
Optional empty = Optional.empty();

// 消費
opt.ifPresent(System.out::println); // 有值才執行
String result = opt.orElse("default"); // 取值或默認
String result2 = opt.orElseGet(() -> expensiveDefault()); // 延遲默認
opt.orElseThrow(() -> new IllegalStateException("缺失")); // 異常

// 轉換
Optional len = opt.map(String::length); // 函數式映射
Optional filtered = opt.filter(s -> s.length() > 5); // 過濾

為何優於 if-null？

• API 簽名明確表達「可能為空」意圖，調用者無法忽略
• 避免「檢查後使用」間隙的併發竄改（雖非線程安全，但減少邏輯錯誤）
• 支持流式鏈式操作，代碼更聲明式

四、Objects.requireNonNull 實戰

public void setName(String name) {
    this.name = Objects.requireNonNull(name, "姓名不能為空"); // 拋 NPE 含訊息
}

// 靜態導入更簡潔
import static java.util.Objects.requireNonNull;
requireNonNull(user, "用戶對象必須非空");

優勢：堆疊跟蹤直接定位到 requireNonNull 行，比手動 if-null-throw 更快定位。

五、斷言與註解輔助

// 斷言：啟用 -ea 運行
assert connection != null : "數據庫連接未初始化";

// 註解（需 SpotBugs/Error Prone/IDE 支援）
@NonNull public String getName() { return name; }
@Nullable public String getNickname() { return nickname; }

六、分層防禦策略建議

1. 邊界層（Controller/Service 入口）：@NonNull 註解 + Objects.requireNonNull 參數檢查
2. 業務層：返回 Optional 表達可選結果，避免 null 語義模糊
3. 核心層：斷言驗證內部不變量（如集合非空、狀態機合法轉換）
4. 持久層：數據庫 NOT NULL 約束 + 實體類 @NotNull (Bean Validation)

七、參考資源

• 《Effective Java》條目 55：選擇性地返回 Optional
• Google Error Prone、SpotBugs 靜態分析工具
• JSR 305 / JSR 308 類型註解規範