如何使用通用参数包装函数，这些参数在 Rust 中强制命名生命周期为“静态生命周期”

问题描述

我正在处理一个更大的私人项目，并引入了类似函数注册表之类的东西，以便使用钩子。到目前为止效果很好，直到我被迫使用具有命名生命周期的类型在我的情况下它是 rusqlite::Transaction<'c>。因此，所有依赖结构也必须引入命名生命周期，对吗？

最后我遇到了一些编译器生命周期错误，我不知道如何解决。

为了缩小问题的范围，我编写了此示例代码。请注意，您不能更改事务结构，因此这只是任何需要命名生命周期参数的结构的示例。

use std::error::Error;

struct Holder<T> {
    item: fn(T) -> (),}

impl <T> Holder<T> {
    fn new(f: fn(T) -> ()) -> Holder<T>{
        Holder{item: f}
    }

    fn exe(&self,i: T){
        let f = self.item;
        f(i);
    }
}

struct Transaction<'c> {
    connection: &'c str,}

impl <'c> Transaction<'c> {
    fn new(c: &'c str) -> Transaction {
        Transaction{connection: c}
    }
}

fn doSomething(t: &Transaction) {
    println!("I have done Something with {}",&t.connection);
}

pub fn main() -> Result<(),Box<dyn Error>> {

    let h: Holder<&Transaction> = Holder::new(doSomething) ;
    {
        let connection = "c1";
        let tran = Transaction::new(&connection);
        h.exe(&tran);
        h.exe(&tran);
        doSomething(&tran);
        doSomething(&tran);
    }
    {
        let connection = "c2";
        let tran = Transaction::new(&connection);
        h.exe(&tran);
        h.exe(&tran);
        doSomething(&tran);
        doSomething(&tran);
    }

    Ok(())
}

如果我使用 doSomething 那么它可以工作，但是如果我将 doSomething 放在我的通用持有人中，我会遇到这样的终身错误：

error[E0597]: `tran` does not live long enough
  --> src\t.rs:39:15
   |
   |               ^^^^^ borrowed value does not live long enough
40 |         h.exe(&tran);
41 |     }
   |     - `tran` dropped here while still borrowed
...
45 |         h.exe(&tran);
   |         - borrow later used here

最后，我可以理解问题出现了，因此交易的生命周期与持有人绑定。但是如何告诉 Rust，这个生命周期是一个函数参数，不必绑定到 Holder-Struct，从而使示例可以安全地工作？

解决方法

如果可行，一个简单的选择是让 Holder<T> 但 f: fn(&T)（和 exe: fn(&self,&T)：

struct Holder<T> {
    item: fn(&T) -> (),}

impl <T> Holder<T> {
    fn new(f: fn(&T)) -> Holder<T>{
        Holder{item: f}
    }

    fn exe(&self,i: &T){
        let f = self.item;
        f(i);
    }
}

这样，i 的生命周期与 T 的生命周期（如果有）是分开的。 h 然后变成 Holder<Transaction>。当然，前提是你的钩子总是可以处理引用，这就足够了。

rust rust-lifetimes