Rust 泛型/trait…

在 Rust 中遇到 E0277/E0308/E0599/E0038 等泛型与 trait 错误，或需要为泛型、trait 对象、enum 选择分发方式时，按抽象层级和分发时机做出可落地的设计选择。

适用场景

解决思路

1. 添加 trait bound 前先判断需要何种抽象：同行为不同类型 → trait；同类型不同行为 → enum；不需要抽象 → 具体类型。
2. 判断类型何时已知：编译期已知 → 泛型（静态分发）；运行期确定 → trait object（动态分发）。
3. 明确取舍优先级：性能优先 → 泛型；编译时间优先 → trait object；灵活性优先 → 视情况而定。
4. 遇到 E0277 不要只说“加 trait bound”，先问抽象层级是否正确，并追溯到 m09-domain 检查被抽象的行为是什么。
5. 遇到 E0308 不要只说“修类型”，先问类型应当统一还是保持区分。
6. 遇到 E0599 不要只说“导入 trait”，先问该 trait 是否是正确的抽象。
7. 遇到 E0038 不要只说“改成 object-safe”，先问是否真的需要动态分发。
8. 按错误码修复：E0277 → 添加 impl 或修改 bound；E0308 → 检查泛型参数；E0599 → 用 use 导入 trait；E0038 → 改用泛型或重新设计。
9. 类型系统持续报错时向上追溯：复杂 trait bound → m09-domain（抽象是否正确）；object safety 问题 → m05-type-driven（能否用 typestate）；类型爆炸 → m10-performance（能否接受 dyn 开销）。
10. 从设计落到实现：需对同行为类型抽象且编译期已知 → impl Trait 或泛型；类型运行期才确定 → dyn Trait。
11. 需要存放不同类型：封闭集合 → enum；开放集合 → Vec<Box<dyn Trait>>。
12. 需要返回不同类型：返回同一类型 → impl Trait；返回不同类型 → Box<dyn Trait>。
13. 按场景选型：性能关键 → 泛型；异构集合 → dyn Trait；插件架构 → dyn Trait；减少编译时间 → dyn Trait；小规模已知类型集 → enum。
14. 书写语法：静态分发用 fn process(x: impl Display)、fn process<T: Display>(x: T)、fn get() -> impl Display；动态分发用 fn process(x: &dyn Display)、fn process(x: Box<dyn Display>)。
15. 权衡分发方式开销：fn foo<T: Trait>() → 静态分发、代码膨胀、零运行时开销；fn foo(x: &dyn Trait) → 动态分发、代码量小、vtable 查找；impl Trait 返回 → 静态分发、代码膨胀、零开销；Box<dyn Trait> → 动态分发、代码量小、分配 + vtable。
16. 保证 trait 是 object-safe：不含 Self: Sized bound、不返回 Self、不含泛型方法、对非 object-safe 方法使用 where Self: Sized。
17. 避免反模式：不过度泛化（尽量用具体类型）；不对已知类型使用 dyn；不构建复杂的 trait 层级；不忽视 object safety（若可能用到 dyn 需提前规划）。

适用边界 · 注意事项

• 当类型具体、不需要在编译期或运行期做多态抽象时，不应强行引入泛型或 trait 对象。