生命周期子类型和泛型：“生命周期参数不允许”错误

Question

我试图遵循本书 （和编译器） 中所述的策略 ，但是遇到以下错误：

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>,
}