使参数为泛型时出现生存期错误

Question

我已将问题简化为以下代码：

struct Struct<'a, 'b, T> {
    a: &'a T,
    b: &'b T,
}

trait Trait<'a, 'b, T> {
    fn a(&self) -> &'a T;
    fn b(&self) -> &'b T;
}

impl<'a, 'b, T> Trait<'a, 'b, T> for Struct<'a, 'b, T> {
    fn a(&self) -> &'a T {
        self.a
    }
    fn b(&self) -> &'b T {
        self.b
    }
}

struct Confused<T> {
    field: T,
}

impl<T> Confused<T> {
    fn foo<'a, 'b>(&'a self, param: &Struct<'a, 'b, T>) -> &'a T {
        param.b();
        param.a()
    }

    fn bar<'a, 'b, U: Trait<'a, 'b, T>>(&'a self, param: &U) -> &'a T {
        param.b();
        param.a()
    }
}

函数foo还可以，但是当我替换具体类型Struct时

error[E0309]: the parameter type `T` may not live long enough
  --> src/lib.rs:31:15
   |
24 | impl<T> Confused<T> {
   |      - help: consider adding an explicit lifetime bound `T: 'b`...
...
31 |         param.b();
   |               ^
   |
note: ...so that the reference type `&'b T` does not outlive the data it points at
  --> src/lib.rs:31:15
   |
31 |         param.b();
   |               ^

添加绑定的T:'b的建议对我来说没有意义，因为'b是bar（）的一个参数。如何修复bar（）以接受任何Trait的实现




Answer 1

编写泛型类型时，例如：

struct Foo<'a, T> {
    a: &'a T,
}

Rust会自动添加类型为T:'a的隐式限制，因为对T的引用不能比T本身的寿命长。这是自动的，因为没有它，您的类型将无法工作。

但是当你做一些事情，比如：

impl<T> Foo {
    fn bar<'a, 'b>() -> &'a T {/*...*/}
}

有一个自动的T:'a，但没有一个T:'b，因为没有

解决方法是自己添加这些约束。在您的代码中，它将是这样的：

impl<T> Confused<T> {
    fn bar<'a, 'b, U: Trait<'a, 'b, T>>(&'a self, param: &U) -> &'a T
    where
        T: 'b, //<--- here!
    {
        param.b();
        param.a()
    }
}