Go 程式設計面試：如何用 Go 1.26 reflect 迭代器建立低配置元資料掃描器？

題干與適用場景

一個序列化器需要掃描結構欄位、方法和函式簽名。舊實作先呼叫 NumField，再按索引取得 Field，並把結果收集到多個臨時切片。Go 1.26 為 reflect.Type 和 reflect.Value 增加了返回 iter.Seq2 的欄位與方法迭代器。請設計升級方案，兼顧舊版 Go、可定址性和未匯出欄位規則。

面試官考察點

• 是否準確區分 Type 迭代器返回的元資料與 Value 迭代器返回的值。
• 能否用 range 消費 iter.Seq2，避免把「惰性迭代」誤解成並行安全或零成本。
• 是否處理非 struct/無效 Value、未匯出欄位、CanInterface 和 CanSet。
• 能否設計 Go 版本建置策略、快取鍵、基準和回退實作。

回答前需要釐清的問題

1. 掃描器只讀元資料，還是需要讀取或寫入欄位值？
2. 目標模組最低支援 Go 版本是多少，是否允許 build tags？
3. 未匯出欄位要跳過、報錯，還是只記錄名稱和型別？
4. 反射結果是否跨請求快取，型別是否可能來自外掛程式或動態載入？
5. 優化目標是配置數、延遲、程式碼複雜度，還是三者的組合？

30 秒回答框架

Go 1.26 的 Type.Fields、Type.Methods、Type.Ins、Type.Outs 以及 Value.Fields、Value.Methods 返回 iter.Seq2，可以直接用 for a, b := range ... 消費。Type 適合建立不可變元資料快取，Value 適合同時取得欄位描述和值。入口先檢查 Kind 和 IsValid，存取介面值前檢查 CanInterface，寫入前檢查 CanSet。若仍支援舊版，用 build tags 保留索引回退，並用同一組基準比較配置與正確性。

分步驟深入解答

第一步：選擇 Type 還是 Value 迭代器

Type.Fields 和 Type.Methods 只遍歷型別描述；Type.Ins、Type.Outs 用於函式型別的參數和回傳參數。Value.Fields、Value.Methods 每次產生元資料和對應 Value。只做 schema 編譯時快取 Type 結果；需要讀取實例時再消費 Value，避免把實例狀態混入全域快取。

第二步：用 range 消費 Seq2

迭代器返回 iter.Seq2[A, B]，呼叫方不需要知道內部索引。典型掃描應保持區域狀態：

func fieldsOf(v reflect.Value) ([]string, error) {
    if !v.IsValid() || v.Kind() != reflect.Struct {
        return nil, errors.New("expected struct")
    }
    names := make([]string, 0, v.NumField())
    for sf, fv := range v.Fields() {
        if sf.PkgPath != "" || !fv.CanInterface() {
            continue
        }
        names = append(names, sf.Name)
    }
    return names, nil
}

迭代器減少呼叫方的索引樣板，但不保證業務邏輯本身沒有配置；切片、字串轉換和介面裝箱仍要測量。

第三步：定義 panic 與可定址邊界

Value.Fields 要求 Kind 是 Struct，錯誤輸入會 panic；零 Value 也必須先用 IsValid 攔截。讀取未匯出欄位的型別資訊通常可行，但 Interface 可能因不可匯出而 panic，寫入還要滿足 CanSet。函式庫層應選擇明確返回錯誤或在入口復原 panic，不要把反射 panic 洩漏給請求處理器。

第四步：設計元資料快取

快取鍵可使用 reflect.Type，值保存匯出欄位、標籤、索引和轉換函式。快取只保存不可變描述，不保存某次請求的 Value。遞迴型別要記錄建置中的鍵，防止循環型別導致無限遞迴。並行讀可使用唯讀快照或 sync.Map，發布新描述時一次性替換。

第五步：處理函式簽名迭代

對函式型別先檢查 Kind() == reflect.Func，再用 Ins 和 Outs 按宣告順序讀取參數型別。變參函式的最後一個輸入仍是 slice 型別，不能把它誤當成任意數量參數。方法迭代器返回方法描述和值時，要明確是否需要保留接收者和方法值，避免快取帶有實例繫結的 Value。

第六步：規劃舊版相容

如果模組最低版本低於 Go 1.26，可把新實作和索引實作放在不同檔案，用 //go:build go1.26 與反向標籤選擇。兩條路徑輸出相同的欄位順序、標籤和錯誤。不要在執行時猜測 API 是否存在；Go 編譯器會在舊版直接拒絕引用新方法。

第七步：用基準證明收益

基準至少覆蓋小結構、巢狀結構、未匯出欄位、函式簽名和快取命中/未命中。分別記錄 allocs/op、B/op、ns/op 與輸出一致性。若新迭代器只減少樣板程式碼而沒有減少配置，應如實保留舊路徑或優化周邊切片和介面轉換，不要聲稱「天然零配置」。

高品質示範回答

我會把 Type 迭代器用於建立可快取的欄位、方法和函式簽名元資料，把 Value 迭代器限定在實例讀取場景。入口先檢查 IsValid 與 Kind；欄位進入介面或寫入前分別檢查 CanInterface 和 CanSet，並跳過或明確報告未匯出欄位。Go 1.26 用 range 消費 iter.Seq2，舊版用 build tags 保留索引回退。最後用相同順序和錯誤契約的基準比較配置、延遲和快取命中效果。

常見錯誤

• 把 Type.Fields 當成會返回欄位值的 API。
• 未檢查 Kind 或 IsValid，導致 Value.Fields panic。
• 對未匯出欄位直接呼叫 Interface，忽略 CanInterface。
• 把迭代器等同於零配置、執行緒安全或可重用的結果切片。
• 在舊版 Go 執行時探測新方法，而不是用建置標籤隔離原始碼。

追問及應對

追問一：為什麼不用 VisibleFields？

VisibleFields 返回扁平切片，適合一次取得嵌入欄位集合；Value 迭代器同時提供實例值，且不要求呼叫方先建立結果切片。應按使用場景和測量結果選擇。

追問二：迭代器是否可以跨執行緒共用？

不要假設共享安全。每次消費應繫結明確的 Type 或 Value 生命週期；快取不可變元資料，而不是重用帶實例狀態的 Value 或未完成的迭代狀態。

追問三：如何處理嵌入欄位和欄位遮蔽？

保留 StructField.Index 和匿名標記，按 Go 的可見性規則產生唯一存取路徑。若業務需要扁平欄位，應在元資料編譯階段明確衝突策略，並測試遮蔽順序。

追問四：如何證明沒有破壞舊版支援？

在 CI 中分別用最低支援版本和 Go 1.26 建置帶標籤的兩條實作，執行同一組 golden 輸出與基準。任何新 API 出現在舊版編譯單元都會立即失敗。

追問五：反射掃描器什麼時候應改成程式碼產生？

當型別集合穩定、請求路徑對延遲敏感且產生流程可控時，程式碼產生通常比執行時反射更可預測。迭代器適合先降低樣板和維護成本，但應以基準和部署約束決定是否繼續反射。