通用特征对象的向量

Question

（这是我第二次尝试追踪我的确切问题。查看编辑历史记录）

我有一个简单的通用特性和两种不同的实现：

pub trait MyTrait<T=Self> where T: MyTrait {
}

struct Impl1;
impl MyTrait for Impl1 {
}

struct Impl2;
impl MyTrait for Impl2 {
}

我现在想要一个包含两个实现元素的向量。正如我在这里学到的，我做:

fn foo() {
    let mut traits: Vec<Box<MyTrait>> = Vec::new();
    traits.push(Box::new(Impl1{}));
    traits.push(Box::new(Impl2{}));
}

但是编译器不同意：

error[E0393]: the type parameter `T` must be explicitly specified
  --> src/main.rs:25
   |
25 |     let mut traits: Vec<Box<MyTrait>> = Vec::new();
   |                             ^^^^^^^ missing reference to `T`
   |
   = note: because of the default `Self` reference, type parameters must be specified on object types

一方面，这是有道理的。另一方面，我应该为T写什么？我希望它是通用的，所以我不能简单地在那里放IMP1或IMP2。我可以做Vec

编辑

上面的代码是最小的失败代码，下面是一个稍微少一点的实现：

enum MyEnum<T: MyTrait> {
    A(T),
    B
}

pub trait MyTrait<T=Self> where T: MyTrait {
    fn do_stuff(self) -> MyEnum<T>;
}

struct Impl1;
impl MyTrait for Impl1 {
    fn do_stuff(self) -> MyEnum<Impl1> {
        MyEnum::A(self)
    }
}

struct Impl2;
impl MyTrait for Impl2 {
    fn do_stuff(self) -> MyEnum<Impl2> {
        MyEnum::B
    }
}

每个MyTrait对象都会消耗自身，并可能导致一个MyEnum:：a，其中包含另一个MyTrait对象，或者导致一个MyEnum:：B。




Answer 1

泛型的东西不管特征、类型或函数是否不是可以处理的代码，而仅仅是替换它们时生成的代码模板。因此它们不是“对象安全的”，也就是说，您不能将它们用于动态引用和智能指针的类型。您只能使用它们的特定实例。

MyTrait是通用的，所以你不能有

您确实有该参数的默认值，但Self是特殊的，因为Self是实现trait的类型，因此仅在impl定义中有意义。但不是在您尝试声明Vec的自由函数中

同样由于自我是多么特别，Impl1的MyTrait被解压以impel MyTrait

你需要一个具体的，这是非通用的，动态多态性的特征。