Question

pub struct FooStruct<'a> {
  pub bars: Vec<&'a str>,
}

pub trait FooTrait<'a> {
  fn getBars(&self) -> &'a Vec<&'a str>;
}

impl<'a> FooTrait<'a> for FooStruct<'a> {
  fn getBars(&self) -> &'a Vec<&'a str> {
    &self.bars // cannot infer an appropriate lifetime for borrow expression due to conflicting requirements
  }
}

运行它：https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=3211c32dd5b9244ff91777f1820ffed5

我不明白需求冲突的来源。 Afaik没有冲突，因为只要FooStruct存在，一切都会生存。

Answer 1

让我们拆开它：

pub struct FooStruct<'a> {
  pub bars: Vec<&'a str>,
}

FooStruct包含一个容器，其中包含寿命为'a的字符串切片。容器的生存期对应于FooStruct的生存期。

pub trait FooTrait<'a> {
  fn getBars(&self) -> &'a Vec<&'a str>;
}

FooTrait希望getBars返回对包含生存期为'a的字符串切片的容器的引用。返回的引用的生存期也应为'a。

impl<'a> FooTrait<'a> for FooStruct<'a> {
  fn getBars(&self) -> &'a Vec<&'a str> {
    &self.bars
  }
}

此处，getBars返回对self.bars的引用，该引用是具有生存期'a的字符串切片的容器。到目前为止，一切都很好。

但是，&self.bars的生存期是多少？它对应于self（即相应的FooStruct）的生存期。
self的生存期是多少？现在是'self（隐式生命周期）。

但是，FooTrait要求返回的参考生存期为'a，因此与FooTrait的声明不匹配。

一种解决方案是将FooTrait中的生存期分开：

pub trait FooTrait<'a> {
  fn getBars<'s>(&'s self) -> &'s Vec<&'a str>;
}

impl<'a> FooTrait<'a> for FooStruct<'a> {
  fn getBars<'s>(&'s self) -> &'s Vec<&'a str> {
    &self.bars
  }
}

由于需求冲突，无法推断出合适的借阅期限

1 个答案: