如何理解Rust中trait对象与blanket实现的两种语法？

首先明确两种写法的本质区别：

1. impl<T: Cookie> cmp::Ord for T {}：无效的Blanket实现 #

这是试图写一个blanket实现，意图是「为所有实现了Cookie trait的具体类型T，自动实现Ord trait」。但这种写法违反了Rust的孤儿规则：

• 孤儿规则要求，当你为类型实现外部trait时，类型或trait必须有一个是当前crate定义的。
• 这里Ord是标准库（外部）的trait，若Cookie不是你当前crate定义的，或者你不是Ord的定义者，就不能为所有满足T: Cookie的类型实现Ord——否则不同crate可能会为同一类型重复实现Ord，引发编译冲突。

2. impl Ord for dyn Cookie {}：为Trait对象实现Trait #

这是为**dyn Cookie trait对象**实现Ord trait：

• dyn Cookie代表「任何实现了Cookie的类型的动态分发实例」（比如Box<dyn Cookie>或&dyn Cookie），这种实现只作用于trait对象本身，而非所有实现Cookie的具体类型。
• 要让这个实现合法，你需要满足两个条件：
  • Cookie trait必须是对象安全的（比如没有泛型方法、所有方法的签名符合对象安全要求）；
  • 你必须在这个impl块中提供Ord所需方法的具体实现（比如cmp方法），因为trait对象无法直接复用具体类型的Ord实现。

混淆点解析 #

两种写法看起来都和Cookie类型的Ord实现相关，但作用范围完全不同：前者试图覆盖所有实现Cookie的具体类型，后者只针对动态分发的trait对象。Rust的孤儿规则直接禁止了第一种写法（除非你拥有Cookie或Ord的定义权），而第二种写法是合法的trait对象扩展方式。

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