Rust 中 lambda 表达式的生存期

Question

如果我有一个返回函数的函数：

fn<'r, T> ( p : T ) -> (&'r fn(&'r str) -> ~[(T,int)]) {
     return |s| ~[(p, 0)]
}

但是，这似乎不起作用，我收到以下(有点同义重复(错误：

playground.rs:10:8: 10:29 error: cannot infer an appropriate lifetime due to conflicting requirements
playground.rs:10         return |s| ~[(p, 0i)]
                         ^~~~~~~~~~~~~~~~~~~~~
playground.rs:9:70: 11:5 note: first, the lifetime cannot outlive the block at 9:70...
playground.rs:9     pub fn result<'r, T>( p : T ) -> (&'r fn(&'r str) -> ~[(T, int)] ){
playground.rs:10         return |s| ~[(p, 0i)]
playground.rs:11     }
playground.rs:10:8: 10:29 note: ...due to the following expression
playground.rs:10         return |s| ~[(p, 0i)]
                         ^~~~~~~~~~~~~~~~~~~~~
playground.rs:9:70: 11:5 note: but, the lifetime must be valid for the lifetime &'r  as defined on the block at 9:70...
playground.rs:9     pub fn result<'r, T>( p : T ) -> (&'r fn(&'r str) -> ~[(T, int)] ){
playground.rs:10         return |s| ~[(p, 0i)]
playground.rs:11     }
playground.rs:10:8: 10:29 note: ...due to the following expression
playground.rs:10         return |s| ~[(p, 0i)]
                         ^~~~~~~~~~~~~~~~~~~~~
error: aborting due to previous error

我相信这是在说函数签名返回的生存期和返回值不匹配。 但是，我不确定如何用一生来注释 lambda 以完成这项工作。

Answer 1

所以这是 rust 中常见的错误，认为生命周期参数实际上会影响生命周期。

它们

不会，它们只允许编译器知道从函数返回的引用持续一定时间。无论如何，这是正确的，但现在编译器也知道这一点，并且可以允许更多的代码安全。这是 Rust 只做局部分析(一次查看一个函数(的结果。

在本例中，您将创建堆栈闭包。顾名思义，在堆栈上创建一个堆栈闭包，然后将其返回到堆栈中。这类似于以下 C 代码：

int *foo() { int a = 5; return &a; }

显然，指向a的指针(或"引用"(在您返回的那一刻无效。这就是 Rust 阻止的。

在这种情况下，堆栈闭包的生存期在函数的持续时间内持续，但 lifetime 参数要求它的持续时间比该时间更长(尽管没有什么可以说确切的时间(，因此存在不匹配错误。

一个基本的经验法则是，如果函数上有生存期参数，则需要每个参数位于参数列表和返回类型中的某个位置，否则您可能做错了什么。

如果你真的想返回一个闭包，那么你必须使用堆闭包，~fn (&str) -> ~[(T, int)]，因为它是在堆上分配的，可以更自由地传递(尽管仍然没有复制(。