再次尝试绕过孤儿规则：命名实现草案
💡
原文英文，约400词，阅读约需2分钟。
📝
内容提要
Rust 的命名实现草案旨在绕过孤儿规则，提供更灵活的 trait 实现。允许在任意 crate 中定义，支持多种类型转换和泛型使用，同时禁止某些 trait 的命名实现以确保安全性。
🎯
关键要点
-
Rust 的命名实现草案旨在绕过孤儿规则，提供更灵活的 trait 实现。
-
允许在任意 crate 中定义命名实现，支持多种类型转换和泛型使用。
-
禁止某些 trait 的命名实现，如 Copy、Drop、Send、Sync 和 Unpin，以确保安全性。
-
Hash 和 PartialOrd 等 trait 在有默认实现时也禁止命名实现。
-
命名实现的使用示例包括 UFCS、泛型函数和泛型类型的实现。
❓
延伸问答
Rust 的命名实现草案的主要目的是什么？
主要目的是绕过 Rust 的孤儿规则，提供更灵活的 trait 实现。
命名实现草案允许在哪些地方定义 trait 实现？
允许在任意 crate 中定义命名实现。
哪些 trait 的命名实现被禁止以确保安全性？
禁止的 trait 包括 Copy、Drop、Send、Sync 和 Unpin。
命名实现草案中如何处理类型转换？
支持多种类型转换，允许显式和隐式的类型转换。
命名实现草案中有哪些使用示例？
使用示例包括 UFCS、泛型函数和泛型类型的实现。
命名实现草案对 Hash 和 PartialOrd trait 有什么限制？
在有默认实现时，禁止对 Hash 和 PartialOrd 的命名实现。
➡️
