特征对象的 Rust 向量的类型推断不正确

Question

我无法理解以下错误：

// test.rs

struct A {
    a: u32
}

trait B { }

impl B for A { }

struct C {
    c: Vec<Box<dyn B>>,
}

fn test() {
    let a = A {a: 1};
    let a_vec = vec![Box::new(a)];
    let c = C {
        c: a_vec,
        // c: vec![Box::new(a)],
    };
}

编译错误：

mismatched types

expected trait object `dyn test::B`, found struct `test::A`

错误发生在我尝试创建 C 的那一行。有趣的是，如果我按以下方式创建 C，那么它可以正常编译。

let c = C {
        c: vec![Box::new(a)],
    };

另一种可行的方法是

let a_vec: Vec<Box<dyn B>> = vec![Box::new(a)];
let c = C {
        c: a_vec,
    };

我做的另一个实验是将 C.c 的类型更改为 Box 而不是 Vec，然后无论我如何启动它都会编译。

在我看来，这可能是 Rust 关于特征对象向量的类型推断的一些缺失功能/错误？我对 Rust 还是很陌生，所以对此的任何想法都非常感谢！

Answer 1

这是所有预期的行为。 Box<A> 可以强制转换为Box<dyn B>——这称为unsized coercion，只要编译器知道目标类型是Box<dyn B>，它就会隐式发生。但是，刚写的时候

let a_vec = vec![Box::new(a)];

编译器不知道向量的项类型，因此它从右侧的表达式推断它，这意味着a_vec 以Vec<Box<A>> 的类型结束。

从Vec<Box<A>> 到Vec<Box<dyn B>> 没有大小不一的强制转换。将Box<A> 转换为Box<dyn B> 仅意味着将指针转换为堆栈上的胖指针，这是一种廉价的操作。转换这些元素的向量是非常不同的——它需要重新分配整个向量并取消每个元素的大小，这是一个相当昂贵的操作，所以它不应该隐式发生。

在所有实际编译的版本中，向量从一开始就被创建为Vec<Box<dyn B>>，因为你告诉编译器这是你想要的类型。