性状相关类型的多态结构载体

Question

我试图理解多态性在使用具有关联类型的特征时是如何工作的。请考虑以下特征：

trait Animal {
    fn talk (&self);
}

此特征由以下结构使用：

struct Dog;
struct Cow;

impl Animal for Dog {
    fn talk (&self) {
        println!("Woof");
    }
}

impl Animal for Cow {
    fn talk (&self) {
        println!("Moo");
    }
}

然后我在一个向量上循环

fn main() {
    let animals: Vec<&Animal> = vec![&Dog, &Cow];
    for animal in &animals {
        animal.talk();
    }
}
// output:
// Woof
// Moo

到目前为止还不错。现在，我将关联的类型Food添加到trait（该类型未使用，但仅用于最小的重现）。

struct Meat;
struct Herb;

trait Animal {
    type Food;
    ...
}
impl Animal for Dog {
    type Food = Meat;
    ...
}
impl Animal for Cow {
    type Food = Herb;
    ...
}

现在我得到错误：

error[E0191]: the value of the associated type `Food` (from trait `Animal`) must be specified
   --> src/main.rs:188:23
163 |     type Food;
    |     ---------- `Food` defined here
...
188 |     let animals: Vec<&Animal> = vec![&Dog, &Cow];
    |                       ^^^^^^ help: specify the associated type: `Animal<Food = Type>`

但在这种情况下，我不能只关注错误消息，因为实现trait动物的结构的数量不应该是静态的。

解决这个问题的最好方法是什么？预先感谢




Answer 1

这是运行时多态性（特征对象）的固有限制：您不知道具体类型，因此无法知道其关联类型。

如果你想创建一个可以调用.talk（）的东西的向量，那么很容易为这个（playground）创建一个特征：

trait Talk {
    fn talk(&self);
}

impl<A: Animal> Talk for A {
    fn talk(&self) {
        Animal::talk(self);
    }
}

let animals: Vec<&dyn Talk> = vec![&Dog, &Cow];

您将无法编写任何通过

• 为什么trait中的泛型方法需要trait对象的大小？
• 什么使某物成为“特征对象”？
• 无法创建多态类型，因为trait无法制成对象

您可以创建一个具有相同关联类型的trait对象，比如< code>dyn Animal

²使用编译时多态性（泛型），您可以编写泛型的代码，而不是任何Food类型的动物。但是您不能将不同编译时类型的东西放在Vec中，所以这也没有帮助。