如何将大小特征插入到集合中

Question

Playground

#[derive(Default)]
struct Bar;

#[derive(Default)]
struct Baz;

fn main() {
    let mut vec = Vec::<Box<dyn Default>>::new();
//                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `std::default::Default` cannot be made into an object
    vec.push(Box::new(Bar));
    vec.push(Box::new(Baz));
}

Default 是一个 sized Trait，表示你是 cannot convert it to a trait object。

对于上面的示例，是否有解决方法，以便我可以将大小特征存储在 Vec（或任何其他集合）中？

Answer 1

由于对象安全规则，您不能这样做。该规则说，方法返回具体类型本身的特征不能成为特征对象。原因是 trait 对象会知道具体类型。

此外，这个 trait 没有方法（一个接受 self 的函数），因此没有必要从中创建一个 trait 对象。

在here、there 和blog article 中查看有关此规则的更多信息。

另见this question。

---

这条规则非常直观：您希望您的代码做什么？

#[derive(Default)]
struct Bar;

#[derive(Default)]
struct Baz;

fn main() {
    let mut vec = Vec::<Box<dyn Default>>::new();
    vec.push(Box::new(Bar));
    vec.push(Box::new(Baz));

    vec.first().unwrap()::new();
    // Whatever the syntax should be, what do you expect this to return?
    // This type cannot be know at compile time.
}