大話 Java 基礎：為什麼 main 方法必須是 public static void？

面試經典題：public static void main(String[] args) 每個關鍵字的含義與必要性。本文從 JVM 啟動流程、類加載機制、訪問控制、靜態綁定、返回值約定五個維度深度拆解，助你從「背誦語法」進階到「理解本質」。

完整簽名拆解

public static void main(String[] args)
│      │       │    │       │
│      │       │    │       └─ 參數：命令行引數數組
│      │       │    └─ 方法名：JVM 硬編碼識別的入口
│      │       └─ 返回類型：無返回值
│      └─ 修飾符：靜態方法，無需實例
└─ 修飾符：公開訪問，JVM 可跨類調用

一、public：JVM 必須可見的入口

• JVM 啟動時由啟動類加載器加載主類，然後反射調用 main 方法。
• 若非 public，JVM（在不同包/模塊）無法訪問 → NoSuchMethodError 或 IllegalAccessError。
• 一個 .java 文件僅允許一個 public class，且文件名必須與之同名，保證入口類唯一性。

二、static：無需實例化即可調用

• static 方法屬於類，類加載完成即在方法區就緒，無需 new MainClass()。
• JVM 啟動時刻還未創建任何用戶對象，只能調用靜態方法。
• static 方法中不可用 this/super，不可直接訪問實例字段/方法，符合入口方法「靜態上下文」語義。

三、void：棧底無返回值接收者

• main 是主線程棧幀的最底層方法，調用者是 JVM 內部 C++ 代碼（JavaMain），不存在 Java 層面的返回值接收者。
• 若返回非 void，返回值將被丟棄，且違反 JVM 規範（JVM Spec §5.2）。
• 語義上：main 是「過程」而非「函數」，通過副作用（啟動業務線程、初始化容器）完成工作。

四、main：硬編碼的方法名

• JVM 規範強制要求入口方法名為 main（區分大小寫），非關鍵字但受規範約束。
• 同一類可重載多個 main（參數列表不同），但 JVM 僅識別 String[] 簽名的那個。
• 常見錯誤：mian、Main、main(String) 均無法啟動。

五、String[] args：命令行參數傳遞契約

• Java 命令行參數以空格分隔，統一作為字串傳入：java MyClass arg1 arg2 → args = {"arg1", "arg2"}。
• 基本類型值在命令行也是字串形式（"123"），需自行解析轉換。
• args 參數名可自定（String[] argv），但習慣用 args。

JVM 啟動到 main 執行的完整鏈路

1. java 命令解析參數，創建 JVM 實例 (JNI_CreateJavaVM)
2. 啟動類加載器加載主類 (Bootstrap ClassLoader)
3. 驗證、準備、解析、初始化類 ( 靜態塊/靜態字段賦值)
4. 查找 public static void main(String[]) 方法
5. 創建主線程棧幀，壓入 args 參數
6. 執行 main 方法字節碼
7. main 返回 → 主線程結束 → JVM 檢查非守護線程 → 退出

常見變體與誤區

面試追問：能否在 main 中拋出異常？

簽名可加 throws Exception，JVM 會捕獲並打印堆棧後以非零碼退出。但生產代碼建議 try-catch 妥善處理，避免棧跡洩露敏感信息。

總結

public static void main(String[] args) 不是任意約定，而是 JVM 規範、類加載機制、靜態綁定、棧幀模型、命令行契約 共同決定的必然形式。理解每個關鍵字背後的「為什麼」，才是真正掌握 Java 基礎的標誌。