rust - 为什么盒装变量需要显式类型才能传递给函数？

Question

这个问题在这里已经有了答案:





Why is it discouraged to accept a reference to a String (&String), Vec (&Vec), or Box (&Box) as a function argument?

(2 个回答)


1年前关闭。




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

我正在用 rustc --edition 2018 mwe.rs 编译它在 rustc 1.40.0 (稳定)，但同样的错误发生在 --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 在评论中所建议的，以下是要走的路:

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));