rust - Rust 中闭包参数的生命周期问题

Question

我在尝试使用与下面的 print 函数(ln.9 中)完全相同的闭包时遇到错误

错误是通常的借用的值不够长。我试图在 playground 中复制它，但我做不到。我敢肯定，这主要是因为我不太了解这里发生了什么，因此非常感谢任何帮助。

我不明白的是调用print 函数和调用check 闭包有什么区别。它们具有完全相同的签名，甚至是相同的主体。

创建它们的上下文如何影响借用检查器？有什么解决方案？

extern crate typed_arena;
use typed_arena::Arena;

#[derive(Debug)]
struct AstNode<'a> {
    name: &'a str,
}

fn get_ast<'a>(path: &str, arena: &'a Arena<AstNode<'a>>) -> &'a AstNode<'a> {
   // ...
}

type CheckFn<'a> = dyn Fn(&'a AstNode<'a>);

fn print<'a>(root: &'a AstNode<'a>) {
    println!("{:?}", root);
}

fn it_does_not_have_details_if_all_ok<'a>(file: &str, check: Box<CheckFn<'a>>) {
    let arena = Arena::new();
    let a = &arena;
    let root = get_ast(file, a);
    println!("{:?}", root);
    // Works
    print(root);
    // Produces an error
    check(root);
}   

错误是:

error[E0597]: `arena` does not live long enough
  --> src/main.rs:21:14
   |
21 |     let a = &arena;
   |              ^^^^^ borrowed value does not live long enough
...
28 | }   
   | - borrowed value only lives until here
   |
note: borrowed value must be valid for the lifetime 'a as defined on the function body at 19:1...
  --> src/main.rs:19:1
   |
19 | fn it_does_not_have_details_if_all_ok<'a>(file: &str, check: Box<CheckFn<'a>>) {
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Answer 1

They have exactly the same signature and even the same body.

正文不相关，因为类型检查器将函数视为黑盒，并且只查看类型。但是，虽然签名可能看起来 相同，但它们并非如此。区别在于生命周期参数的绑定(bind)方式。

生命周期参数'a的 print<'a>绑定(bind)在您调用它的位置。由于您正在通过 root作为参数，root是一个引用，您正在隐式实例化 'a成为该引用的生命周期。这正是您想要的，因为 root生命周期比调用 print 长.

但是生命周期参数'a的 check<'a> 在您调用它之前被绑定(bind)。相反，您已将其绑定(bind)到函数的生命周期参数 it_does_not_have_details_if_all_ok<'a> , 由 it_does_not_have_details_if_all_ok 的调用者决定，因此可以是比此函数调用长的任何生命周期。这绝对不是您想要的，因为:

1. 引用文献 root不会活那么久(因为它持有对函数本地的 arena 的引用)。
2. 函数check甚至不需要它的参数就能活那么久。

这和为什么you can't return a reference to a variable created in a function的原因完全一样.区别在于您实际上什至不需要此生命周期限制。

我无法轻松地对此进行测试，因为您只发布了代码的图像，并且没有提供一些定义。但快速解决方法是使用 higher-ranked trait bound (HRTB) CheckFn :

type CheckFn = dyn for<'a> Fn(&'a AstNode<'a>);

这摆脱了绑定(bind) 'a 的需要每当你提到 CheckFn .相反，生命周期在调用内部函数时被绑定(bind)，就像 print 一样。 .

正如评论中所指出的，您可以完全省略这些生命周期:

type CheckFn = dyn Fn(&AstNode);

这将导致类型检查器比上面更普遍地推断生命周期:

type CheckFn = dyn for<'a, 'b> Fn(&'a AstNode<'b>);