可以裁定“只有在当前板条箱中定义的特征可以针对任意类型实施”扩展到工作区？

Question

在同一工作空间中定义的板条

MyWorkSpace-|
            |-MyCrateA--> pub MyTrait {}
            |
            |-MyCrateB--> pub MyStruct;
            |
            |-MyCrateC--> impl MyTrait for MyStruct {}

特征可以针对任意类型实现”

我测试了规则“在当前板条箱中仅定义的 该规则避免了有关依赖关系的碰撞。

但是，在工作空间的情况下，所有者可以控制其中的板条箱。那么，为什么不可能拥有一个规则“仅在当前工作空间中定义的特征才能针对任意类型实现” ？

Answer 1

工作区是一个货物概念。 Rustc对他们一无所知。

同样，对此功能的需求非常低。如果板条箱仅出于性能原因而分开，则可以随时在需要时统一它们。如果由于API的疑虑而分开，那么孤儿规则可能仍然存在。

我认为是否曾经建议使用此功能（您可以尝试，尽管我怀疑它会被接受），但是它没有接受/实施。

板条箱应该是API边界。如果您需要在工作区内打破孤儿规则，则可能会滥用工作空间。