如何创建异构对象集合？

Question

我想在 Vec 中使用 trait 对象。在C中，我可以制作一个基类Thing，从中派生出Monster1和Monster2。然后我可以创建一个std：：vector

目前我有这样的东西

struct Level {
    // some stuff here
    pub things: Vec<Box<ThingTrait + 'static>>,
}

struct ThingRecord {
    x: i32,
    y: i32,
}

struct Monster1 {
    thing_record: ThingRecord,
    num_arrows: i32,
}

struct Monster2 {
    thing_record: ThingRecord,
    num_fireballs: i32,
}

我定义了一个ThingTrait，其中包含get_thing_record（）方法、攻击（）、make_noise（）方法，并为怪物1和怪兽2实现了它们。




Answer 1

实现异构对象集合(在本例中为vector)的最具可扩展性的方式正是您所拥有的:

Vec<Box<dyn ThingTrait + 'static>>

尽管有时您可能希望一生不是'静态，但您需要这样的东西：

Vec<Box<dyn ThingTrait + 'a>>

您还可以有一组对trait的引用，而不是装箱的trait：

Vec<&dyn ThingTrait>

一个例子:

trait ThingTrait {
    fn attack(&self);
}

impl ThingTrait for Monster1 {
    fn attack(&self) {
        println!("monster 1 attacks")
    }
}

impl ThingTrait for Monster2 {
    fn attack(&self) {
        println!("monster 2 attacks")
    }
}

fn main() {
    let m1 = Monster1 {
        thing_record: ThingRecord { x: 42, y: 32 },
        num_arrows: 2,
    };

    let m2 = Monster2 {
        thing_record: ThingRecord { x: 42, y: 32 },
        num_fireballs: 65,
    };

    let things: Vec<Box<dyn ThingTrait>> = vec![Box::new(m1), Box::new(m2)];
}

<代码>框

另请参阅：

< li >什么使某物成为“特征对象”？ < Li > type中的“dyn”是什么意思？

如评论中所述，如果您有固定数量的已知备选方案，则使用枚举是一种不太开放的解决方案。这并不要求将值设置为＜code＞Box＜/code＞ed，但仍需要少量的动态调度，以确定运行时存在哪个具体的枚举变量：

enum Monster {
    One(Monster1),
    Two(Monster2),
}

impl Monster {
    fn attack(&self) {
        match *self {
            Monster::One(_) => println!("monster 1 attacks"),
            Monster::Two(_) => println!("monster 2 attacks"),
        }
    }
}

fn main() {
    let m1 = Monster1 {
        thing_record: ThingRecord { x: 42, y: 32 },
        num_arrows: 2,
    };

    let m2 = Monster2 {
        thing_record: ThingRecord { x: 42, y: 32 },
        num_fireballs: 65,
    };

    let things = vec![Monster::One(m1), Monster::Two(m2)];
}

另请参阅：

• 为什么枚举需要额外的内存大小？