锈蚀寿命误差预期混凝土寿命但发现约束寿命

Question

我有一个问题与生命周期参数的结构。我不能100%确定如何描述这个问题，但是我创建了一个显示编译时错误的简单案例。

struct Ref;

struct Container<'a> {
  r : &'a Ref
}

struct ContainerB<'a> {
  c : Container<'a>
}

trait ToC {
  fn to_c<'a>(&self, r : &'a Ref) -> Container<'a>;
}

impl<'a> ToC for ContainerB<'a> {
  fn to_c(&self, r : &'a Ref) -> Container<'a> {
    self.c
  }
}

我得到的错误是

test.rs:16:3: 18:4 error: method `to_c` has an incompatible type for trait: expected concrete lifetime, but found bound lifetime parameter 'a
test.rs:16   fn to_c(&self, r : &'a Ref) -> Container<'a> {
test.rs:17     self.c
test.rs:18   }
test.rs:16:48: 18:4 note: expected concrete lifetime is the lifetime 'a as defined on the block at 16:47
test.rs:16   fn to_c(&self, r : &'a Ref) -> Container<'a> {
test.rs:17     self.c
test.rs:18   }
error: aborting due to previous error

我尝试了很多变体，只是无法编译这个东西。我在这里找到了另一个帖子（如何修复：预期的具体寿命，但找到了绑定的寿命参数），但似乎绕过了问题，而不是解决它。我真的不明白为什么这个问题会出现。该

有什么想法吗？谢谢你的帮助。

Answer 1

让我们比较一下这两个定义。首先，特质方法：

fn to_c<'a>(&self, r: &'a Ref) -> Container<'a>;

和实施：

fn to_c(&self, r: &'a Ref) -> Container<'a>;

看出区别了吗？后者没有

在功能上，trait定义表示返回的容器将在其中引用来自r的内容，但没有来自Self的内容。它可以在方法内部使用Self，但是它不能在返回的值中存储对它的任何引用。

然而，您的方法定义使用的是一个'a，它将r和返回的Container的生命周期与自己联系起来（也就是说，与对象本身联系起来，而不是引用-<代码>

通过插入

impl<'b> ToC for ContainerB<'b> {
    fn to_c<'a>(&self, r: &'a Ref) -> Container<'a> {
        self.c
    }
}

但是现在您当然有一个问题：返回值的类型是Container

解决此问题的一种方法是指定

当你不熟悉这些事情时，你很难去思考它们；但随着时间的推移，它们变得相当自然。