generics - 生命周期子类型和泛型 : "lifetime parameter not allowed" error

Question

我试图跟随 strategy described in the book (和编译器)，但我遇到了以下错误:

lifetime parameters are not allowed on this type: lifetime parameter not allowed

这是代码片段:

struct FooRef<'a, F: 'a>(&'a F);

struct Bar<'a, 'f: 'a, F: Foo<'f>> {
    filter: &'a FooRef<'f, F<'f>>,
}

Answer 1

F 是类型变量，而不是类型，因此不能有自己的类型或生命周期参数。如果您需要将类型变量限制为仅保存受生命周期限制的引用，则可以使用生命周期作为界限:

struct Bar<'a, 'f: 'a, F: Foo<'f> + 'f> {
    filter: &'a FooRef<'f, F>,
}