您可以运行代码段 here。我删除了结构体的一堆不相关的函数和字段,以便于分析。
#[derive(Debug)]
pub struct Turtle<'a>{
children: Vec<&'a Turtle<'a>>,
}
impl Turtle<'_>{
pub fn new() -> Turtle<'static> {
Turtle {children: Vec::new()}
}
pub fn add_child<'a>(&self, t: &'a Turtle<'a>) {
&self.children.push(t);
}
}
错误是
|
11 | &self.children.push(t);
| ^ lifetime mismatch
|
= note: expected reference `&Turtle<'_>`
found reference `&Turtle<'a>`
note: the lifetime `'a` as defined on the method body at 10:22...
--> src/lib.rs:10:22
|
10 | pub fn add_child<'a>(&self, t: &'a Turtle<'a>) {
| ^^
note: ...does not necessarily outlive the lifetime `'_` as defined on the impl at 6:13
--> src/lib.rs:6:13
|
6 | impl Turtle<'_>{
| ^^
问题似乎是因为 impl 具有匿名生命周期,&self 具有类型 Turtle<'_>,所以 self.children 具有匿名生命周期,这意味着 push 需要一个 Turtle<'_>。我想出了 2 个想法来解决这个问题,即将 impl 更改为 <'a> 或将参数 t 的生命周期更改为 <'_>,但都没有奏效。我了解如何确保单个函数的生命周期是正确的,但是当涉及到所有连接在一起的各种函数、结构和实现时,事情开始变得不清楚。
答案 0 :(得分:1)
您的结构需要一个生命周期,您选择将其称为“a”。然后,那个生命被“给予”或“与”self.children“共享”。稍后,您为匿名生命周期实现您的结构,这是结构定义声明 self.children 也必须共享的生命周期。但是,您的“新”函数意味着创建具有“静态”生命周期的 self.children(并且“静态!=”_ 因为“_ 可能比“静态”短)。此外,您的 add child 方法需要一个(可能)完全独立的生命周期,您也将其称为“a”(仅仅因为您将其称为“a”并不会使其与您在结构定义中命名的“a”相同)。尝试创建一个采用类型而不是生命周期的新结构(例如 T 或 V)?如果两者都没有界限,那么它们将本质上相等。这同样适用于生命周期。
实际的解决方案在于匹配您的一生。由于结构的自引用性质,您不能使用匿名生命周期,因为编译器在添加子项时需要知道生命周期匹配。下面是什么现在编译。请注意使用 Self 来推断创建时的生命周期 <'a>。您也可以使用 Turtle<'a> 但我个人认为使用 Self 更容易,因为它避免了额外的生命周期引用。此外,为了让您的 add_child 方法工作,对“self”的引用需要是可变的(参见 &mut self)。这是因为您正在修改 self.children 的内容,从而改变了结构。
请注意,这将适用于“任何”生命周期,无论您将其称为 'a 或 'z 还是其他任何名称。关键是编译器可以推断出所涉及的所有东西的生命周期都是匹配的。
#[derive(Debug)]
pub struct Turtle<'a> {
children: Vec<&'a Turtle<'a>>,
}
impl<'a> Turtle<'a> {
pub fn new() -> Self {
Self { children: Vec::new() }
}
pub fn add_child(&mut self, t: &'a Turtle<'a>) {
self.children.push(t);
}
}