意译解构 Object Safety for trait
💡
原文中文，约6800字，阅读约需17分钟。
📝
内容提要
本文讨论了Rust编程语言中的对象安全性概念，介绍了多态的不同类型和Rust的多态方式。还解释了动态大小类型和固定大小类型的区别，以及泛型类型参数的限定条件。最后，提到了对象安全的动态分派trait方法和静态分派trait方法的区别，以及非成员方法关联函数的限定条件。
🎯
关键要点
- Rust编程语言通过虚表实现对象安全性，支持专用多态特性。
- 多态可以细分为子类多态、专用多态和行多态，Rust仅支持专用多态。
- 对象安全性要求trait以动态大小类型呈现给调用端，允许运行时确定大小。
- 泛型类型参数默认是固定大小类型，但可以选择动态大小类型。
- 判断trait是否对象安全的标准包括返回值类型和泛型函数的限制。
- 对象安全的trait可以包含静态分派的成员方法，但必须满足基本规则。
- trait的隐式类型参数Self必须是动态大小类型，supertrait也需满足此条件。
- 非成员方法关联函数的隐式类型参数Self必须显式限定为Sized。
- 动态分派trait方法不应依赖于trait实现类的类型信息，确保对象安全。
- 非成员方法关联函数要么不包含，要么显式限定为Sized以保持对象安全。
➡️
