是否允许多态变量？

Question

我有各种结构都实现相同的特征。我想在某种条件下分支，在运行时确定要实例化哪些结构。然后，无论我跟随哪个分支，我都希望从该特征调用方法。

在Rust中这可能吗？我希望实现类似以下的内容（无法编译）：

trait Barks {

    fn bark(&self);

}

struct Dog;

impl Barks for Dog {

    fn bark(&self) {

        println!("Yip.");

    }

}

struct Wolf;

impl Barks for Wolf {

    fn bark(&self) {

        println!("WOOF!");

    }

}

fn main() {

    let animal: Barks;

    if 1 == 2 {

        animal = Dog;

    } else {

        animal = Wolf;

    }

    animal.bark();

}

Answer 1

DK有一个很好的解释，我将举一个例子，在该例子中我们在堆栈上分配Dogor Wolf，避免堆分配：fn main() {    let dog;    let wolf;    let animal: &Barks;    if 1 == 2 {        dog = Dog;        animal = &dog;    } else {        wolf = Wolf;        animal = &wolf;    }    animal.bark();}这有点丑陋，但是引用实现的间接寻址与相同，而Box开销却很少。

Answer 2

定义自定义枚举是最有效的方法。这将允许您在堆栈上精确分配所需的空间量，即最大选项的大小，再加上1个额外的字节以跟踪存储哪个选项。与使用a Box或trait引用的解决方案不同，它还允许直接访问而无需间接级别。不幸的是，它确实需要更多样板：enum WolfOrDog {    IsDog(Dog),    IsWolf(Wolf)}use WolfOrDog::*;impl Barks for WolfOrDog {    fn bark(&self) {        match *self {            IsDog(ref d) => d.bark(),            IsWolf(ref w) => w.bark()        }    }}fn main() {    let animal: WolfOrDog;    if 1 == 2 {        animal = IsDog(Dog);    } else {        animal = IsWolf(Wolf);    }    animal.bark();}在这里，main我们只使用一个堆栈分配的变量，其中包含我们自定义枚举的一个实例。