WIT 让两个组件约定“传一个浮点列表”，不再靠双方口头猜结构。读到这里，很容易再多走一步：既然类型统一，列表应该也不用复制了吧？
这一步没有依据。类型契约相容，与数据是否搬运，是两件事。Canonical ABI 规定值怎样降到二进制表示、怎样恢复为接口类型；具体路径的分配、复制和适配仍要看生成绑定与运行时。
Bytecode Alliance 的 Canonical ABI 说明解释了标量展平、线性内存指针和异步缓冲区。这不是对任意跨组件字符串、列表作“零开销”承诺。页面没有给可确认的首发日期。
先把函数的合同写完整
用图像预处理举例，接口至少要回答这些问题：
| 项目 | 本文选择 |
|---|---|
| 输入布局 | RGB8，逐像素三个通道 |
| 长度 | 严格等于 width × height × 3 |
| 计算 | 每个通道除以255，输出同长度f32列表 |
| 零尺寸与超限 | 返回错误 |
| 缩放、裁剪、均值方差归一化 | 不在这个函数的合同里 |
最后一行不能省。把字节遍历一遍，再用resize截断或补零，并没有完成图像重采样。接口名叫 normalize_and_resize，也不能替实现补上不存在的算法。
以下是这个函数的 Rust 参考实现。它只验证业务输入输出合同，不代表已经构建出 Wasm 组件：
fn normalize_rgb(bytes: &[u8], width: usize, height: usize) -> Result<Vec<f32>, &'static str> { let expected = width.checked_mul(height) .and_then(|n| n.checked_mul(3)).ok_or("size overflow")?; if width == 0 || height == 0 || expected > 3_000_000 { return Err("size outside demo limit"); } if bytes.len() != expected { return Err("RGB length mismatch"); } Ok(bytes.iter().map(|&v| f32::from(v) / 255.0).collect()) } fn main() { assert_eq!(normalize_rgb(&[0, 127, 255], 1, 1).unwrap().len(), 3); assert_eq!(normalize_rgb(&[0, 0], 1, 1), Err("RGB length mismatch")); assert_eq!(normalize_rgb(&[], usize::MAX, 2), Err("size overflow")); assert_eq!(normalize_rgb(&[], 0, 1), Err("size outside demo limit")); let v = normalize_rgb(&[0, 127, 255], 1, 1).unwrap(); assert_eq!(v[0], 0.0); assert_eq!(v[2], 1.0); assert!((v[1] - 127.0 / 255.0).abs() < f32::EPSILON); println!("RGB contract: 4 boundary cases passed"); }保存为main.rs后运行：
rustc --edition=2024 main.rs -o rgb-contract ./rgb-contract本地以 macOS aarch64、rustc 1.98.0 编译运行成功，输出RGB contract: 4 boundary cases passed。断言覆盖正常RGB值、长度不符、乘法溢出和零尺寸。这个结果证明参考函数遵守这里选定的合同，没有证明任何 ABI 性能。
checked_mul处理长度计算溢出，业务上限在分配输出之前检查。生产接口还应把上限放进明确配置，并考虑宿主已有输入缓冲的成本，不能只数输出 Vec。
组件化以后，哪些证据还缺着
下一步才是把相同合同写进 WIT，生成绑定，构建组件，再由宿主调用。可运行的 Rust 函数与可实例化的组件之间，还隔着 target、world、WIT 包版本、生成器和运行时几个具体对象。
官方 Rust 组件教程区分 command 与 reactor，也提醒接口版本必须匹配。教程中部分 RC 兼容提示带有历史工具链条件，不能照抄成所有当前版本的结论。
本机没有可用的 Wasmtime 与组件工具链，因此这一步未运行。没有 WIT 编译日志、组件 imports/exports 和宿主执行记录，就应把组件组合标为未验证，而不是用一段 trait 模拟后宣布成功。
要继续判断复制成本，需要沿真实生成代码追踪：
- 输入列表在哪一侧分配，谁负责释放；
- 字节到浮点转换是否另建输出；
- 跨组件 lowering/lifting 是否复制，是否能借用；
- 运行时、优化和调用形态改变后，原结论是否仍成立。
不应用一个“纳秒级调用”数字概括所有列表大小。即使分配被消掉，RGB8转f32也改变了表示，不能把这段转换说成只是搬一个指针。
Wasmtime 50.0.0于2026-10-20发布，是可以固定的复现候选；发布存在不等于本文已安装或测过该版本。实际发稿前还应核对 tag、生成绑定与示例接口是否一致。
