函数指针的生命周期

Question

为什么下面的程序不能编译：

pub struct Textbox<'a,VM> {
    get_element: Box<dyn Fn(VM)+'a>,
}

// Works
pub fn new<'a,VM,G:Fn(VM)+'a>(
    get_element: G,
) -> Textbox<'a,VM> {
    Textbox {
        get_element: Box::new(get_element),
    }
}

// Does not work. Compiler complains that we need
// a lifetime bound on VM.
// To the naive programmer writing this, it is unclear why,
// since the above function is accepted.
pub fn new_broken<'a,VM>(
    get_element: fn(VM),
) -> Textbox<'a,VM> {
    Textbox {
        get_element: Box::new(get_element),
    }
}

为什么 'new' 函数可以编译，但 'new_broken' 没有？是什么原因导致需要在“new_broken”中指定 VM 上的生命周期而不是在“new”中？

Answer 1

由于您在函数路径的某处返回具有通用生命周期的对象，因此您必须声明VM 的生命周期至少与对象的通用生命周期一样长。

通过声明G: Fn(VM) + 'a，您本质上是在说VM: 'a，因为函数的寿命不能超过其参数的类型。在您的 new_broken 函数中，您永远不会对 VM 的生命周期施加限制，因此 VM 的生命周期可能不会与返回的 Textbox 一样长。