使参数泛型时的生命周期错误

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<'a, 'b, T> 替换为泛型类型U: Trait<'a, 'b, T> 时，出现以下错误：

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<'a, 'b, T> 的任何实现作为参数？

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，因为在任何地方都没有&'b T。

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

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()
    }
}