'implTrait for T where T： Trait2'和'impl Trait for dyn Trait2'之间有什么区别？

Question

当扩展在其他板条箱中定义的特性时，似乎有两种默认实现新特性的方法。

性状的原始定义是

pub trait Trait1 {
    fn f1(&self);
}

为了扩展该特征的功能，我们定义了一个特征Trait2，

pub trait Trait2 {
    fn f2(&self);
}

现在，由于我们希望该功能在默认情况下可用，我们可以实现以下功能

impl<T> Trait2 for T
where
    T: Trait1,
{
    pub fn f2(&self) {
        self.f1()
    }
}

impl Trait2 for dyn Trait1 {
    pub fn f2(&self) {
        self.f1()
    }
}

我所观察到的是，当与trait对象混合时，这两种实现都是必需的。

我理解的含义是




Answer 1

如果我正确理解了你的问题，只需添加未调整大小的（？大小）绑定到T：

impl<T> Trait2 for T where T: Trait1 + ?Sized

这实现了Trait2为未调整大小的类型（如dyn Trait1）实现Trait1以及。默认情况下，所有类型参数都设置了大小，因此与未设置大小的类型不匹配。

游戏场