rust-course/basic/lifetime

[giscus[bot]]

rust-course/basic/lifetime

Documentation for 认识生命周期

https://beatai.org/rust-course/basic/lifetime

[zeinsshiri1984]

紧随其后

[yangzhide9]

有意思，对于方法中的生命周期 的几个示例还是不太理解，有点难;
不停下脚步，继续前行

[yangzhide9]

"有一点很容易推理出来：由于 &'a self 是被引用的一方，因此引用它的 &'b str 必须要活得比它短，否则会出现悬垂引用。因此说明生命周期 'b 必须要比 'a 小，只要满足了这一点，编译器就不会再报错：" 文中这段话不理解，为什么'b 要比'a小？？

[yangzhide9]

按消除规则3 来说，&self 就是输出的生命周期， 那么'a 和 'b 的中生命周期小的应该是'a, 所以文中为什么说 'b必须要比'a小呢？

[shallowwang]

如果没有显式标注生命周期，由于&self的存在，编译器知道输出生命周期是'a，此时'a可以与 'b没有任何关系。

[SaladBlender]

消除规则3的原文是If the receiver has type &Self or &mut Self, then the lifetime of that reference to Self is assigned to all elided output lifetime parameters.。
只会把 &self 的生命周期赋给省略了生命周期标注的输出，不会覆盖显式写出的生命周期。
文中该部分的代码简化一下是（忽略一下更改）

struct ImportantExcerpt<'a> {
    part: &'a str,
}
impl<'a> ImportantExcerpt<'a> {
    fn func<'b>(&'a self, para: &'b str) -> &'b str {
        self.part
    }
}

这里输出已经显式标注为 'b，因此不会根据消除规则3自动变成'a。
此时'a和'b没有规定关系，编译器无法保证字符串在整个'b范围内有效。'b可能超出'a，如果保持签名的生命周期标注不更改，返回引用就可能失效。
因此需要约束'a:'b，表示'a 至少覆盖'b，也就是'b可以更短，也可以相等。
对于“&self 就是输出的生命周期”，考虑以下情况

struct ImportantExcerpt<'a> {
    part: &'a str,
}

impl<'a> ImportantExcerpt<'a> {
    fn func<'b>(&self, para: &'b str) -> &'b str
    where
        'a: 'b,
    {
        println!("参数：{para}");
        self.part
    }
}

fn main() {
    let text = String::from("hello，来自 self.part");
    let para = String::from("外层参数");
    let result; // result 声明在外层

    {
        let excerpt = ImportantExcerpt { part: &text };
        result = excerpt.func(&para); // 给外层的 result 赋值
    } // excerpt 销毁
    // result = excerpt.func(&para);
    println!("参数仍然存在：{para}");
    println!("结构体销毁后的返回值：{result}");
}

这里输出在结构体摧毁后依然存在，显然返回引用的生命周期范围是超出&self的，但是给self加上'a或者删除'a:'b的约束都将编译失败。

[yangzhide9]

感谢@SaladBlender 的解惑，理解了消除规则的接入时机， 以及显示标识生命周期时与各参数生命周期的限制