Rust孤儿规则能否扩展至工作空间支持跨crate实现trait？

你测试的是Rust的核心编译规则孤儿规则（Orphan Rule）：要为类型T实现traitTr，T和Tr两者至少有一个是在当前impl块所在的crate内本地定义的。你构造的三crate工作空间场景中，MyCrateC既没有定义MyTrait也没有定义MyStruct，impl块编译失败是完全符合预期的结果。

很多人碰到这个场景都会有和你一样的疑问：既然工作空间里所有crate都归自己管，为什么不能把规则放宽到同工作空间内允许跨crate写impl？实际上这个设计有非常实际的考量，不是单纯的规则死板：

• 首先，工作空间只是Cargo提供的项目组织功能，Rust编译器rustc本身完全感知不到“工作空间”这个概念。对编译器来说每个crate都是独立的编译单元，几个crate放在同一个目录下用workspace联调，和拆分到不同代码仓库、单独发布到公共包仓库没有本质区别。如果要按工作空间放宽规则，就必须把上层构建工具的逻辑硬塞进语言核心规则里，会大幅提升编译器实现和规则维护的复杂度。
• 其次，放宽后规则没法保证全局一致性。假设你真的在MyCrateC里成功写了impl MyTrait for MyStruct，后续MyCrateA、MyCrateB作为独立库发布给下游用户时，下游用户完全可以在自己的crate里写一份一模一样的trait实现。这时候两份impl分属不同crate，编译器没有任何合理依据判断该优先使用哪一份，直接破坏了Rust“任意trait+类型组合的实现全局唯一”的核心保证，现在孤儿规则从根源上避免的依赖冲突问题会重新出现。
• 最后，你遇到的场景根本不需要修改语言规则，有非常成熟的低成本合规写法：
  • 直接把impl块移动到定义MyTrait的MyCrateA，或者定义MyStruct的MyCrateB里即可，作为工作空间所有者你对这两个crate有完全修改权限，没有任何阻碍；
  • 如果不想改动前两个crate的代码，就在MyCrateC里用newtype模式包一层：pub struct MyStructWrapper(pub MyStruct);，再为MyStructWrapper实现MyTrait就行，这种写法是零运行时开销的，也完全符合现有规则要求。

你测试使用的工作空间结构参考：

MyWorkSpace-|
            |-MyCrateA--> pub trait MyTrait {}
            |
            |-MyCrateB--> pub struct MyStruct;
            |
            |-MyCrateC--> impl MyTrait for MyStruct {} // 无法通过编译

本质上孤儿规则的设计目标是覆盖整个Rust生态的所有依赖场景，保证不管依赖树嵌套多深、引入多少第三方crate，都不会出现隐式的impl冲突、版本差异导致的逻辑歧义。这种全局一致性带来的稳定性收益，远大于多crate联合开发时调整代码组织方式的少量成本。

内容的提问来源于stack exchange，提问作者FreD