如何使用数组填充特征对象向量？

Question

为什么下面的代码是错误的？< code >[T；N]转换为< code>Vec

trait Foo {}

struct Fooable {}

impl Foo for Fooable {}

pub fn main() {
    let bar: Vec<Box<dyn Foo>> = [
        Box::new(Fooable {}),
    ].into();
}

错误：

error[E0277]: the trait bound `Vec<Box<dyn Foo>>: From<[Box<Fooable>; 1]>` is not satisfied
  --> src/main.rs:10:7
   |
10 |     ].into();
   |       ^^^^ the trait `From<[Box<Fooable>; 1]>` is not implemented for `Vec<Box<dyn Foo>>`
   |
   = help: the following other types implement trait `From<T>`:
             <Vec<T, A> as From<Box<[T], A>>>
             <Vec<T, A> as From<VecDeque<T, A>>>
             <Vec<T> as From<&[T]>>
             <Vec<T> as From<&mut [T]>>
             <Vec<T> as From<BinaryHeap<T>>>
             <Vec<T> as From<Cow<'a, [T]>>>
             <Vec<T> as From<[T; N]>>
             <Vec<u8> as From<&str>>
           and 2 others
   = note: required because of the requirements on the impl of `Into<Vec<Box<dyn Foo>>>` for `[Box<Fooable>; 1]`

游戏场

Answer 1

匿名用户

您可以通过如下方式手动转换框来修复错误：

trait Foo {}

struct Fooable {}

impl Foo for Fooable {}

pub fn main() {
    let bar: Vec<Box<dyn Foo>> = [
        // Turn a Box<Fooable> into a Box<dyn Foo>
        Box::new(Fooable {}) as Box<dyn Foo>,
    ].into();
}

请记住，默认情况下，Rust builds直接用对实现（如果存在）的调用替换trait方法调用。对象的“类型”仅在编译时存在，在运行时没有类型dyn类型不同。它们存储一些额外的数据，允许查找要在运行时调用的方法的实际变体。

当您定义这样的整数数组时：

// this works
let k:[i8;3] = [1,2,3]

这里没有发生转换。尽管默认情况下数字是< code>i32，但数组中的数字将被解释为< code>i8值。

在这种情况下也是一样的：

let k:Box<dyn T> = Box::new(V{});

从V{}转换为Box

这也适用于数组，但如果存在间接寻址级别，则不适用：

// works
let k:[Box<dyn T>;1] = [Box::new(V{})]
// does not work
let b = [Box::new(Fooable {})];
let e:[Box<dyn Foo>;1] = b;

这也是有效的原因：

let bar: Vec<Box<dyn Foo>> = [
    Box::new(Fooable {}) as Box<dyn Foo>,
    Box::new(Fooable {}),
    Box::new(Fooable {}),
].into()

尽管我们只有＜code＞as框

Answer 2

你是对的。From 有一个全面的实现

更具体地说，这意味着您可以转换[Box

使用显式强制转换来获得您想要的行为。你只需要让Rust相信数组的类型是< code>[Box

let bar: Vec<Box<dyn Foo>> = [
    Box::new(Fooable {}) as Box<dyn Foo>,
].into();