Rust 为实现特征的所有类型实现显示

类型dyn Vehichle与性状Vehichle不同.具体地说，它是所谓的trait object，可以包含实现特征的任何类型的值.

因此，当您实现Display for dyn Vehichle时，您只为该特定类型实现它，而不是为实现特征的任何其他类型实现它.

如果您希望实现特征TraitA(例如Vehicle)的每个类型也实现特征TraitB(例如Display)，那么有两种方法可以实现这一点，每种方法都有一些警告.

第一个是全面实施.由于orphan rule，这只能在TraitB被定义在相同的 crate 中时才能完成，所以这不适用于在标准库中定义的Display.

impl<T: TraitA> TraitB for T {
    // ...
}

第二种方法是宣布TraitB为TraitA的超级性状.即使没有在同一箱中定义TraitB，这也会起作用，但是这将需要实现TraitA的任何特征也实现TraitB，这同样是由于孤立规则对于未在同一箱中定义的类型可能是不可能的.

trait TraitA: TraitB {
    // ...
}


impl TraitA for SomeType {}

// required by the above, else the compiler will complain
impl TraitB for SomeType {}

在任何一种情况下，您都不能在来自不同箱子的类型上实现来自不同箱子的特征，例如Display.第一种方法不适用于您的代码，但第二种方法可以使用，因为Car类型是在同一个箱子中定义的.

完全绕过这个问题的一种方法是拥有一个"可显示的包装器类型"，它可以包装实现Vehicle的任何类型.例如:

struct DisplayVehicle<'a, V: ?Sized + Vehicle>(&'a V);

impl<'a, V: ?Sized + Vehicle> std::fmt::Display for DisplayVehicle<'a, V> {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        write!(f, "Has {} wheels", self.0.get_num_wheels())
    }
}

fn main() {
    let car = Car {};
    println!("{}", DisplayVehicle(&car));
}

(Playground link)

虽然这确实变得有点冗长，但它完全避免了孤立规则，因此不存在与try 在每个Vehicle类型上直接实现Display相同的问题.此外，由于Display实现实际上并不与类型本身相关，而是与trait相关，因此通常这可能是解决此问题的一种更惯用的方法.