为什么装箱变量需要显式类型才能传递给函数？ [复制]

Question

为什么编译需要显式类型？我希望编译器能够理解Box<STest> 在第一个测试用例中等于Box<(dyn TTest + 'static)>，因为STest 实现了TTest 特征。是什么让编译器能够在第二种情况下将其隐式转换为 BoxedTTest，而在第一种情况下却不能这样做？

我在rustc 1.40.0（稳定）上使用rustc --edition 2018 mwe.rs 编译它，但--edition 2015 和rustc 1.42.0-nightly 上发生同样的错误。

trait TTest {}

struct STest {}
impl TTest for STest {}

type BoxedTTest = Box<dyn TTest>;

fn foo(_test: &BoxedTTest) {}

pub fn main() {
    // expected trait TTest, found struct `STest`
    let test1 = Box::new(STest {});
    foo(&test1);

    // OK
    let test2: BoxedTTest = Box::new(STest {});
    foo(&test2);
}

完整的错误如下：

error[E0308]: mismatched types
  --> mwe.rs:13:9
   |
13 |     foo(&test1);
   |         ^^^^^^ expected trait TTest, found struct `STest`
   |
   = note: expected type `&std::boxed::Box<(dyn TTest + 'static)>`
              found type `&std::boxed::Box<STest>`

Answer 1

在这种情况下，答案是不要像这样使用Box。正如 Stargateur 在 cmets 中所建议的，以下是要走的路：

trait TTest {}

struct STest {}
impl TTest for STest {}

fn foo(_test: &dyn TTest) {}

pub fn main() {
    // OK
    let test1 = STest {};
    foo(&test1);
}

如果您仍需要使用Box 将其存储在例如向量中，则应仅在严格需要时使用它：

fn add_test(test: Box<dyn TTest>) {
    let mut vec = vec!{};
    vec.push(test);
}
// ...
add_test(Box::new(test1));