将实现特征的数据存储在向量中

Question

我对 Rust 和系统语言非常陌生。我目前正在与 Rust 一起探索这门语言。我有一个我自己无法解决的问题。我想我已经理解了问题所在。

我不想在vector中存储实现< code>trait BaseStuff的对象。在Rust对我来说不是一个简单的任务:-)。

这是我的示例代码，不会编译。

trait BaseStuff {}

struct MyStuff {
    value: i32,
}

struct AwesomeStuff {
    value: f32,
    text: String,
}

impl BaseStuff for MyStuff {}

impl BaseStuff for AwesomeStuff {}

struct Holder {
    stuff: Vec<BaseStuff>,
}

impl Holder {
    fn register(&mut self, data: impl BaseStuff) {
        self.stuff.push(data);
    }
}

fn main() {
    let my_stuff = MyStuff { value: 100 };

    let awesome_stuff = AwesomeStuff {
        value: 100.0,
        text: String::from("I'm so awesome!"),
    };

    let mut holder = Holder { stuff: vec![] };

    holder.register(my_stuff);
}

错误[E0277]：类型（dyn BaseStuff'静态）的值的大小在编译时无法知道-

错误：由于以前的错误而中止

有关此错误的详细信息，请尝试rustc--解释E0277。错误：无法编译playground。

编译器的信息是清楚的，我理解这个信息。我可以在任何我想要的结构中实现trait BaseStuff，所以不清楚它的大小。顺便说一句，这个链接没有帮助，因为它指向了过时的网站...

字符串的大小也是未知的，但是字符串实现了trait＜code＞std：：marker：：Sized＜/code＞这就是为什么＜code＞Vec

在我读过的rust书中，对于大小未知的数据类型，我必须将这些数据存储在堆中，而不是堆栈中。我将代码修改如下。

struct Holder {
    stuff: Vec<Box<BaseStuff>>,
}

impl Holder {
    fn register(&mut self, data: impl BaseStuff) {
        self.stuff.push(Box::new(data));
    }
}

现在我遇到了一个新的编译器问题:

错误[E0310]：参数类型impl-BaseStuff可能寿命不够长--

错误：由于以前的错误而中止

有关此错误的更多信息，请尝试rustc--explain E0310。错误：无法编译游戏场。

而且知道我出去了...我在书中读到了关于生命的文章，并用“a here”和“a”在任何组合中更改了我的代码，但没有运气......我不想写下我尝试过的任何生命周期定义组合。我不明白为什么我需要终身定义。所有权在任何步骤中移动，因此为了我的理解，可以清楚地看到Holder结构是所有数据的所有者。是吗？

如何更正我的代码以进行编译？

谢谢你的帮助。

Answer 1

你几乎明白了-这里的问题是实现BaseStuff的类型可能是引用（例如impl BaseStuff for

解决此问题的方法是添加一个约束，使对象具有'静态生命周期，这意味着它将是值类型或静态引用。您可以将此约束应用于trait或接受trait的方法，具体取决于您的用例。

将约束应用于特征：

trait BaseStuff: 'static {}

将约束应用于方法:

impl Holder {
    fn register(&mut self, data: impl BaseStuff + 'static) {
        self.stuff.push(Box::new(data));
    }
}

如果您将'静态约束添加到方法中，我建议还将其添加到Vec以避免丢失类型信息，如下所示：

struct Holder {
    stuff: Vec<Box<dyn BaseStuff + 'static>>,
}