rust - Rust 如何结合它的多个生命周期？

Question

代码如下:

fn inner<'a:'b, 'b>(x:&'a i32, _y:&'b i32) -> &'b i32 {
    x
}

fn main() {
  let a = 1;
  {
      let b = 2;
      inner(&b, &a);
      inner(&a, &b);
  }
}

界 'a:'b在函数中 inner意味着生命周期 'a持续时间超过 'b .在上面的例子中，变量 b 的生命周期短于 a .当遇到 inner(&b, &a) 时，借用检查器应该会失败.但是，代码可以编译。有人可以提供一些解释吗？

Answer 1

生命周期注释描述借用的生命周期，而不是借用变量的生命周期。在两次拨打 inner() 的电话中，所有借用持续到调用结束，因此编译器可以为它们推断相同的生命周期，因此边界 'a: 'b在这两种情况下都满足。