Rust中Blanket implementations报错E0210的原因咨询

问题场景 #

我定义了如下自定义Trait：

pub trait DimenBasics {
    // --snip--
    fn get_value(&self) -> f64;

    fn get_unit(&self) -> String;

    fn verified_add(&self, other: &Self) -> Result<Self, String>
    where
        Self: Sized;
    // --snip--
}

随后尝试为所有实现该Trait的类型编写Blanket Implementation，实现标准库的UpperExp trait：

impl<D: DimenBasics> UpperExp for D {
    fn fmt(&self, f: &mut Formatter) -> fmt::Result {
        write(f, "{:E}{}", self.get_value(), self.get_unit())
    }
}

我认为这段代码应该可行，因为它和Rust文档中的示例结构类似：

impl<T: Display> ToString for T {
    // --snip--
}

但实际编译时触发了如下错误：

error[E0210]: type parameter `D` must be used as the type parameter for some local type (e.g., `MyStruct<D>`)
    --> dimension/src/lib.rs:1111:6
     |
1111 | impl<D: DimenBasics> UpperExp for D
     |      ^ type parameter `D` must be used as the type parameter for some local type
     |
     = note: implementing a foreign trait is only possible if at least one of the types for which it is implemented is local
     = note: only traits defined in the current crate can be implemented for a type parameter

错误成因 #

这个错误的核心原因是违反了Rust的孤儿规则（Orphan Rule），规则的核心逻辑是：在当前 crate 中实现一个 trait 时，要么这个 trait 是当前 crate 定义的，要么被实现的类型是当前 crate 定义的，目的是避免不同 crate 对同一类型+同一 trait 的实现产生冲突。

你的代码与文档示例的本质区别 #

• 文档中的impl<T: Display> ToString for T是标准库内部实现的：ToString是标准库定义的 trait，所以标准库拥有对它的实现权限，可以为任意满足Display约束的类型实现该 trait，不受孤儿规则限制。
• 你的代码中：UpperExp是标准库提供的外部 trait（不属于你的 crate），而D是任意实现了DimenBasics的类型（可能是你的 crate 定义的，也可能是其他 crate 的类型）。这种情况下，你试图在自己的 crate 中为所有符合约束的外部类型实现一个外部 trait，完全不符合孤儿规则的要求——既没有本地 trait，也没有本地类型作为实现主体，因此编译器报错。

规则的具体限制 #

错误提示里的两条注释已经明确了限制：

1. 实现外部 trait 时，必须至少有一个涉及的类型是本地的（比如你自己 crate 定义的结构体MyStruct<D>）。
2. 只有当前 crate 定义的 trait，才能为纯类型参数（比如你的D）实现 blanket impl。

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