不同具体类型泛型的Vec重复]

Question

我有一个特征Foo，具体类型a和B都由特征Foo限定。我想返回一个向量

trait Foo { }

pub struct A {}
pub struct B {}

impl Foo for A {}
impl Foo for B {}


fn test() -> Vec<Foo> {
    let generic_vec: Vec<Foo> = Vec::new();
    generic_vec.push(A {});
    generic_vec.push(B {});
    return generic_vec;
}

目前的编译器正在抛出未为Foo实现大小trait的错误。我可以将Foo包装在一个Box中，但我不想返回trait对象的Vec，因为它们会带来运行时开销。

我想知道是否有一些Rust泛型特性允许我返回泛型类型的Vec，而不必使用trait对象。




Answer 1

这里的问题是，不能保证仅仅因为＜code＞A＜/code＞和＜code＞B＜/code＞都实现了＜code＞Foo＜/code＞它们将具有相同的大小。由于Rust的＜code＞Vec＜/code＞是同质的，我们需要静态地保证其中的所有元素都有大小。

因此，解决方案是将绑定到trait的类型装箱。

trait Foo { }

pub struct A {}
pub struct B {}

impl Foo for A {}
impl Foo for B {}

type FooT = Box<dyn Foo>;

fn test() -> Vec<FooT> {
    let mut generic_vec: Vec<FooT> = Vec::new();
    generic_vec.push(Box::new(A {}));
    generic_vec.push(Box::new(B {}));
    return generic_vec;
}

现在，这些类型可能没有相同的大小，但指针（Box）将具有相同的大小，因此我们完全避免了这个问题，尽管需要付出一些代价，因为我们必须取消引用才能访问元素。

请注意，在这里我定义了类型别名FooT只是为了可读性，但当然，你可以只使用Box。

Answer 2

向量是内存中密集排列的数组，它要求其所有元素占用相同的空间量。元素的大小需要在编译时已知。Trait对象没有已知的大小，因此您不能将它们存储在Vec中。

如果要存储a或B，最好的选择是使用枚举：

pub struct A;
pub struct B;

enum Either {
    A(A),
    B(B),
}

fn main() {
    let mut v = vec![];
    v.push(Either::A(A));
    v.push(Either::B(B));
}

枚举＜code＞或＜code＞的大小等于＜code＞a＜/code＞和＜code＞B＜/code＞大小中的最大值，可能还有一个空间用于表示当前变量是什么。这个大小在编译时是已知的，因此＜code＞或者＜code＞可以在向量中使用。

如果＜code＞A＜/code＞和＜code＞B＜/code＞实现了一个公共特性，并且您希望能够在向量的元素上调用该特性的方法，那么您也可以在＜code＞中的任一个＜/code＞上实现该特性，方法是将所有方法调用转发到正确的变量。