题干与适用场景
一个平台要加载由不同语言编译的插件，并在多个运行时中组合它们。请说明如何用 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 描述接口、世界、资源和错误结果，工具再为 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 演进优先新增可选能力或新接口，保留旧世界的兼容测试；适配器只负责版本转换，不掩盖语义变化。
高质量示范回答
我会以 WIT 定义最小、语言无关的世界接口，让工具生成各语言绑定。组件通过 Component Model 组合，Canonical ABI 负责字符串、列表、结果和资源在边界上的表示；core module 的线性内存和导出函数只是实现细节。资源使用借用和明确关闭语义，宿主控制取消、超时、能力授权和回收。错误用可区分的结果类型表达，能力按最小权限授予。每次 WIT 变更都运行跨语言兼容矩阵，并用适配器处理版本转换，避免把旧组件绑定到新语义上。
常见错误
- 直接共享 core module 的线性内存或语言结构体，绕过组件接口。
- 把 WIT 当成某一种语言的头文件，忽略生成绑定和类型语义。
- 把资源句柄当作裸指针，未定义借用、关闭、取消和回收。
- 只测 happy path，不测试错误结果、背压、超时和能力拒绝。
- 给插件授予整个文件系统或网络，缺少最小权限边界。
- 修改 WIT 后只编译宿主，未运行旧组件与新宿主的兼容矩阵。
追问及应对
什么时候用流而不是字节列表？
当数据可能很大、需要增量处理或必须限制峰值内存时，使用流式接口并定义背压、结束和取消语义。小而有界的配置或结果可以使用列表，先以数据量和生命周期验证选择。
如何阻止恶意插件消耗资源？
在运行时限制能力、内存、执行时间、并发和输出大小；为宿主提供取消和隔离机制。监控调用耗时、错误率和资源配额，超限时终止组件并回收资源。
WIT 变更怎样保持兼容？
优先新增可选接口或字段，避免改变既有类型含义。保留旧世界版本和跨语言测试，必要时用适配器转换；删除或改变语义时发布新版本并设置迁移期限。