rust - 如何在结构上存储回调列表？

Question

这是我在 how to create & use a list of callbacks 上的问题的后续行动.

我正在尝试创建(并在事件循环附近存储)回调函数列表，这些回调函数将在未来某个不确定的时间点调用。

struct ComplexThing {
    calls: Vec<Box<FnMut()>>,
}


impl ComplexThing {
    fn call<'a, T: FnMut() + 'a>(&'a mut self, func: T) {
        self.calls.push(Box::new(func));
    }
}

错误:

calls.rs:30:25: 30:39 error: the parameter type `T` may not live long enough [E0310]
calls.rs:30         self.calls.push(Box::new(func));
                                    ^~~~~~~~~~~~~~
calls.rs:30:39: 30:39 help: consider adding an explicit lifetime bound `T: 'static`...
calls.rs:30:25: 30:39 note: ...so that the type `T` will meet its required lifetime bounds
calls.rs:30         self.calls.push(Box::new(func));
                                    ^~~~~~~~~~~~~~

我尝试将其添加到 struct ，修复了调用 push 时有关生命周期的错误,

struct ComplexThing<'a> {
    calls: Vec<Box<FnMut() + 'a>>,
}


impl ComplexThing {
    fn call<'a, T: FnMut() + 'a>(&'a mut self, func: T) {
        self.calls.push(Box::new(func));
    }
}

……但让我明白了:

calls.rs:28:6: 28:18 error: wrong number of lifetime parameters: expected 1, found 0 [E0107]
calls.rs:28 impl ComplexThing {
                 ^~~~~~~~~~~~

是的，我想这个结构有一个 <'a> ，我没有指定它。如果我添加它，

impl ComplexThing<'a> {

我明白了，

calls.rs:28:19: 28:21 error: use of undeclared lifetime name `'a` [E0261]
calls.rs:28 impl ComplexThing<'a> {

我不知道我是否应该在 struct ComplexThing 上指定它或不。如果我将其关闭(我认为我非常愿意这样做)，

我认为 Rust 标记生命周期的方式有一些至关重要的地方，我在这里没有说到。 FnMut那ComplexThing正在(目前)尝试存储在 Box 中由 ComplexThing 的实例拥有(在我脑海中的设计中) ;它的生命周期应该小于 .ComplexThing 的生命周期— 即，会发生以下两种情况之一:

1. ComplexThing 的私有(private)函数是什么？最终将删除 Box<FnMut>来自 Vec (因此，取得它的所有权)，运行 FnMut ，然后退出，从而释放 FnMut .
2. ComplexThing被释放，在这种情况下 Vec和任何 Box<FnMut>的被释放。

问题"How do I store a closure in Rust?"的回答让我想到一个Box<FnMut>不需要生命周期注释，但我在 how to create & use a list of callbacks 上得到的答案让我觉得我做到了。

我最好的猜测是 Box只是存储指向我并不真正拥有的对象的指针，我需要创建 FnMut 的副本在堆上，或在那里移动构造一个，然后那个副本就是我可以拥有的那个。 (否则，如果它类似于堆栈上的闭包，我需要确保闭包不会在我的 Box 超出范围之前超出范围，这就是 Rust 让我注释生命周期的原因。)

Answer 1

'a在 ComplexThing是一个泛型生命周期参数，需要像泛型类型参数一样定义。如果你有一个 struct Foo<T> , 你就不能写 impl Foo<T>因为没有具体类型T在适用范围;如果你希望它是通用的，你需要定义它，impl<T> Foo<T> .这也允许您编写约束，例如 impl<T: Clone> Foo<T>在 Foo<T> 上实现方法只有哪里 T是一个实现 Clone 的类型.

那么，答案就是您需要定义生命周期 'a作为通用的:

impl<'a> ComplexThing<'a> { … }