如何指定一个带引用的闭包，并返回实现与引用具有相同生命周期的特征的任何类型？

Question

我需要告诉编译器F返回实现SomeTrait的生命周期'a ：

trait SomeTrait {}

fn foo<P, Q, F>(func: F)
where
    Q: SomeTrait,
    F: for<'a> Fn(&'a P) -> Q + 'a,
{}

但我得到这个错误：

error[E0261]: use of undeclared lifetime name `'a`
 --> src/main.rs:6:33
  |
6 |     F: for<'a> Fn(&'a P) -> Q + 'a,
  |                                 ^^ undeclared lifetime

这就像它不理解Q + 'a 。

Answer 1

Q不是特征，它是一种类型; 像T: Q + 'a类的东西没有意义。

如果你尝试F: for<'a> Fn(&'a P) -> (Q + 'a)你会得到：

error[E0404]: expected trait, found type parameter `Q`

你的例子实际上像F: (for<'a> Fn(&'a P) -> Q) + 'a一样解析F: (for<'a> Fn(&'a P) -> Q) + 'a - 并且很明显为什么这不起作用。

现在：

我需要告诉编译器F返回实现具有生命周期'a SomeTrait东西。

除了将这些生命周期用于引用或通用生命周期参数之外，您的函数不能返回不同类型，具体取决于（传递）生命周期。 您可以编写一个完全忽略生命周期的Rust编译器，如果原始程序有效，它仍然可以执行相同的操作。

对于生命周期或类型，无法指定采用泛型参数的类型参数。

如果有，它可能看起来像这样：

trait SomeTrait {}

fn foo<P, for<'a> Q<'a>, F>(func: F)
where
    for<'a> Q<'a>: SomeTrait,
    for<'a> F: Fn(&'a P) -> Q<'a>,
{
}

Answer 2

生命期只能用于参考 。 将行更改为此作品：

F: for<'a> Fn(&'a P) -> &'a Q

一个对象本身没有“生命周期” - 它一直存在直到被丢弃。 但是，借用检查器必须被告知参考对象相对于其他引用对象指向生命的时间长度。 这就是生命进入的地方。