題目與範圍
Python 3.14 增加了用於讀取延遲註解的 annotationlib。載入器需要支援前向引用，避免發現階段執行任意註解表達式，並為舊 Python 保留相容路徑。核心能力是執行時內省與副作用控制，因此分類為 coding。
面試官考察點
應區分讀取註解與求值註解，依消費者選擇 VALUE、FORWARDREF 或 STRING，並明確可信程式碼何時可以求值。還要討論快取失效、模組重載、巢狀型別別名和版本化回退，不能依賴直譯器私有屬性。
先釐清的問題
- 載入的是可信應用程式碼還是第三方外掛？
- Schema 產生器需要執行時物件、字串還是未解析引用？
- 需要支援哪些 Python 版本？
- 註解表達式是否允許匯入模組或呼叫函式？
- 外掛重載後如何報告、快取和重試失敗？
- 註解資料是否屬於公開相容契約？
30 秒答題框架
「先停止呼叫總是求值註解的輔助函式。Python 3.14 上對不可信發現使用 annotationlib.get_annotations() 的 Format.FORWARDREF 或 Format.STRING，只在明確可信階段使用 Format.VALUE。將結果正規化為內部 Schema，按物件隔離失敗，並對舊版本保留版本判斷的回退。測試涵蓋前向引用、可選匯入、巢狀別名、重載和確定性錯誤。」
分步作答
步驟 1：分離發現與求值
定義兩個階段：發現階段記錄名稱或 ForwardRef，不解析；解析階段只處理批准的模組和符號。這樣 Schema 發現不會因註解存在而匯入可選依賴或執行表達式。
步驟 2：選擇註解格式
Schema 需要來源文字時用 Format.STRING，需要結構化未解析名稱時用 Format.FORWARDREF，只有確實需要執行時物件且程式碼可信時才用 Format.VALUE。把格式選擇作為載入器 API 契約的一部分。
步驟 3：隔離失敗與副作用
按函式或類別捕獲解析錯誤，診斷中附帶物件路徑和格式，同時繼續發現獨立外掛。不要把未解析引用靜默轉為 Any，否則相容缺陷會被隱藏。匯入和符號求值前執行允許列表檢查。
步驟 4：加入版本相容
Python 3.14 及以上使用文件化的 annotationlib API。舊版本使用專案已有相容層並記錄較弱保證。不要把私有 annotate 或直譯器內部結構當成長期介面。
步驟 5：測試確定性和生命週期
測試引用後定義、缺失模組、巢狀泛型別名、字串和模組重載。斷言發現階段不會匯入被阻止的模組，重複讀取產生相同正規化 Schema，且外掛身分或原始碼變化時快取失效。
參考答案
「問題是階段混用：發現階段求值了本應只描述 Schema 的資料。我會使用 Python 3.14 的文件化 annotationlib，對不可信內省選擇 STRING 或 FORWARDREF，只在明確可信解析器中使用 VALUE。每個物件隔離診斷，保留未解析引用，並用允許列表控制求值。版本適配器保持舊 Python 行為，測試涵蓋前向引用、缺失可選模組、別名、重載、副作用匯入和穩定輸出。」
常見錯誤
- 總是求值註解 → 發現階段執行可選匯入和表達式 → 分離格式與階段。
- 把失敗轉成
Any→ Schema 漂移被靜默掩蓋 → 保留未解析引用和診斷。 - 使用直譯器私有欄位 → 升級破壞載入器 → 依賴文件化
annotationlib。 - 共用全域快取 → 重載後回傳舊 Schema → 按外掛身分和原始碼建立失效規則。
- 給所有外掛完整求值權限 → 不可信程式碼產生副作用 → 使用允許列表和可信階段。
- 只測簡單內建型別 → 前向引用在生產失敗 → 涵蓋缺失名稱和巢狀別名。
追問
追問 1：何時適合使用 VALUE？
消費者需要執行時型別物件，且模組和註解表達式可信時。它應屬於明確解析階段，不應成為預設發現行為。
追問 2：為什麼保留 FORWARDREF 而不是字串？
它以結構化值保留未解析引用，讓後續解析器區分缺失名稱與普通字串註解。
追問 3：Python 3.14 改變了什麼？
註解預設延遲求值，並由 annotationlib 提供文件化讀取格式。依賴立即求值的程式碼必須明確目標格式。
追問 4：如何支援舊版本？
透過版本判斷適配專案已有回退，記錄差異，並在所有支援的直譯器上執行相同契約測試。