预期的具体生命周期，在结构中存储 fn 时找到绑定的生命周期参数

Question

我正在尝试将函数存储在结构中：

trait T<'a> {}

struct A {}

struct B<'a> {
    a: &'a A
}

impl<'a> T<'a> for B<'a> {}

fn f1<'a, E: T<'a>>(a: &'a A) {}

struct D {
    f: fn(&A)
}

fn main() {
    let d = D { f: f1::<B> };
}

编译器抱怨：

error[E0308]: mismatched types
  --> src/main.rs:18:20
   |
18 |     let d = D { f: f1::<B> };
   |                    ^^^^^^^ expected concrete lifetime, found bound lifetime parameter 
   |
   = note: expected type `fn(&A)`
   = note:    found type `fn(&A) {f1::<'_, B<'_>>}`

Answer 1

当您编写f1::<B> 时，编译器将其解释为f1::<B<'_>>，其中'_ 是编译器推断的生命周期，因为B 在生命周期内是泛型的，您只能将具体类型作为类型参数传递.

但是，在D 中，f 字段应该是一个函数，它接受对 A 的引用，并且具有任何生命周期。 f1::<B> 不满足该要求，因为该函数已被实例化，具有特定的生命周期。

不幸的是，目前还没有办法使这项工作正常进行。 Rust 必须支持 higher kinded types 或 associated type constructors。然后，您可以将 f1 中的 E 定义为类型构造函数参数，而不是类型参数（尽管我想知道编译器将如何处理 'a 生命周期参数）。