blanket trait实现与常规trait实现规则是否不同？是否违反孤儿规则？

1. “任意类型”与孤儿规则并不矛盾 #

你提到的示例代码是标准库中对ToString的blanket实现：

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

这里的核心是这个impl块是在标准库内部定义的——而ToString正是标准库自身定义的trait，完全符合孤儿规则的要求（impl所在crate必须定义该trait或该类型）。

所谓的“任意类型”，是指所有实现了Display trait的类型，但这个泛型实现的合法性建立在“我们拥有被实现的trait（ToString）”这个前提上。如果换个场景：你在自己的crate里，想给任意类型实现标准库的Display，那肯定不行——因为你既没定义Display，也没定义那些“任意类型”，违反了孤儿规则。但如果你在自己的crate里定义了一个自定义traitMyPrint，然后写impl<T: Display> MyPrint for T，这就完全合法，因为你拥有MyPrint这个trait。

2. Blanket实现与常规trait实现的规则差异 #

两者核心都必须遵守孤儿规则，但存在以下关键区别：

• 适用范围：常规实现是针对具体类型（比如impl ToString for MyStruct），而blanket实现是针对满足约束条件的所有类型，一次实现覆盖所有符合要求的类型。
• 泛型约束的作用：blanket实现依赖泛型约束来限定适用类型，而常规实现通常不需要（除非是针对泛型类型的具体实例）。
• 优先级处理：当存在多个可能的impl（比如一个blanket实现和一个针对具体类型的实现）时，Rust会优先选择更具体的实现。比如你为MyStruct手动实现了ToString，那调用MyStruct的to_string时，会优先用你手动写的impl，而不是blanket实现。
• 自动实现的便利性：blanket实现可以让符合约束的类型自动获得trait能力，无需逐个手动编写impl，这也是标准库广泛使用它的原因（比如所有Display类型自动拥有ToString）。

内容的提问来源于stack exchange，提问作者Natalya M.