第 5 章 —— Trait 与泛型

Auto 里 trait 这个词叫 spec。声明它，用 type T as Spec { ... } 在类型上实现它，再通过 spec 类型的参数分发——a2r 产出 Rust 的 trait / impl / Box<dyn>。

Dev→Ship

Auto 源码

Rust（a2r 输出）

点击「转译 Rust」查看转译产物。

VM 输出

暂无输出

一个 spec 带两个实现，动态分发