題幹與適用場景
平台要載入由不同語言編譯的外掛，並在多個執行時組合它們。請說明如何用 WIT 定義介面、用 Component Model 組合元件、處理字串和資源等高層型別，以及如何測試 Canonical ABI、錯誤和版本演進。
面試官考察點
- 是否區分 WebAssembly core module 與 Component Model 的介面層。
- 是否理解 WIT 是語言無關的介面描述，Canonical ABI 負責跨元件表示高層型別。
- 是否能說明資源所有權、借用、錯誤結果和非同步介面的生命週期。
- 是否考慮元件版本、能力隔離、適配器、執行時差異和相容測試。
回答前需要釐清的問題
- 外掛需要傳遞哪些型別，是否包含大檔案、串流、控制代碼或長生命週期資源？
- 元件執行時提供哪些 WASI 能力，外掛之間是否必須隔離檔案、網路和金鑰？
- 介面是同步呼叫還是非同步呼叫，錯誤應復原、重試還是終止元件？
- 如何發布 WIT 版本，舊元件能否與新宿主組合，相容矩陣由誰維護？
30 秒回答框架
我會先把跨語言契約寫成最小的 WIT 介面，再由工具產生各語言繫結。元件透過 Component Model 的介面和 Canonical ABI 交換字串、列表、結果和資源，不直接暴露某個語言的記憶體布局。執行時按能力授予檔案、網路等權限，宿主負責取消、逾時、錯誤映射和資源回收。版本演進採用可擴充欄位和相容測試，核心模組只作為實作細節，不當作穩定 ABI。
分步驟深入解答
1. 先劃分核心模組和元件介面
Core module 面向線性記憶體、函式和數值型別；Component Model 在其上提供更高層的介面、相依和組合。跨語言 API 應以元件介面為邊界，避免把某個編譯器的記憶體位址、結構布局或匯出函式名當成公共契約。
2. 用 WIT 表達語言無關型別
WIT 描述介面、world、資源和錯誤結果，工具再為 Rust、Go 或其他語言產生繫結。以下範例表達一個帶資源控制代碼的介面，實際語法需由目標工具鏈驗證：
package example:plugin;
interface store {
resource session;
open: func(name: string) -> result<session, string>;
read: func(s: borrow<session>) -> result<list<u8>, string>;
}介面只暴露業務語義，具體儲存、執行緒模型和記憶體分配留在實作側。
3. 理解 Canonical ABI 與資源生命週期
Canonical ABI 規定字串、列表、結果等高層值如何在元件邊界轉換為 core WebAssembly 可表示的形式。資源控制代碼由元件模型管理所有權與借用關係；宿主必須定義何時關閉、取消和回收，不能把數字控制代碼當成永不過期的指標。大資料應評估複製、串流介面和背壓成本。
4. 設計錯誤、能力和版本
把預期業務失敗建模成 result 或明確錯誤列舉，區分可重試錯誤與權限拒絕。執行時只授予外掛所需的 WASI 能力，並對元件執行設定時間、記憶體和並發上限。WIT 演進優先新增可選能力或新介面，保留舊 world 的相容測試；適配器只負責版本轉換，不掩蓋語義變化。
高品質示範回答
我會以 WIT 定義最小、語言無關的 world 介面，讓工具產生各語言繫結。元件透過 Component Model 組合，Canonical ABI 負責字串、列表、結果和資源在邊界上的表示；core module 的線性記憶體和匯出函式只是實作細節。資源使用借用和明確關閉語義，宿主控制取消、逾時、能力授權和回收。錯誤用可區分的結果型別表達，能力按最小權限授予。每次 WIT 變更都執行跨語言相容矩陣，並用適配器處理版本轉換，避免把舊元件綁定到新語義。
常見錯誤
- 直接共享 core module 的線性記憶體或語言結構體，繞過元件介面。
- 把 WIT 當成某一種語言的標頭檔，忽略產生繫結和型別語義。
- 把資源控制代碼當作裸指標，未定義借用、關閉、取消和回收。
- 只測試 happy path，不測試錯誤結果、背壓、逾時和能力拒絕。
- 給外掛授予整個檔案系統或網路，缺少最小權限邊界。
- 修改 WIT 後只編譯宿主，未執行舊元件與新宿主的相容矩陣。
追問及應對
什麼時候用串流而不是位元組列表？
當資料可能很大、需要增量處理或必須限制峰值記憶體時，使用串流介面並定義背壓、結束和取消語義。小而有界的設定或結果可以使用列表，先以資料量和生命週期驗證選擇。
如何阻止惡意外掛消耗資源？
在執行時限制能力、記憶體、執行時間、並發和輸出大小；為宿主提供取消和隔離機制。監控呼叫耗時、錯誤率和資源配額，超限時終止元件並回收資源。
WIT 變更怎樣保持相容？
優先新增可選介面或欄位，避免改變既有型別含義。保留舊 world 版本和跨語言測試，必要時用適配器轉換；刪除或改變語義時發布新版本並設定遷移期限。