Rust 为什么泛型生命周期不符合嵌套范围的较小生命周期

发布于03月15日

由于作用域总是嵌套的，所以另一种说法是，通用生命周期 'a将获得等于x和y生命周期中较小者的具体生命周期 .

fn main() {
    let x = "abcd";
    let result;
    {
        let y = "qwerty";
        result = longest(x, y);
    }
    println!("The longest string is {}  ", result);

}

fn longest<'a>(x: &'a str, y: &'a str) -> &'a str {
    if x.len() > y.len() {
        x
    } else {
        y
    }
}

在主函数中，"x和y的生命周期中较小者"是嵌套范围.这也应该是result中值的生存期，但结果包含该嵌套范围之外的正确值.

为什么这段代码工作正常？

推荐答案

这只适用于从borrow 局部变量导出的生命周期.在本例中，相关的生存期是字符串数据的生存期，对于字符串文本，它是'static.换句话说，&strs指向存储在其他地方的数据(特别是静态数据段中的数据)，因此它们根本不与堆栈生命周期交互.

如果我们稍微改变一下这个例子，我们就可以诱导你预期的行为:

fn main() {
    let x = "abcd";
    let result;
    {
        let y = "qwerty";
        result = longest(&x, &y);
    }
    println!("The longest string is {}  ", result);

}

fn longest<'a>(x: &'a &'static str, y: &'a &'static str) -> &'a &'static str {
    if x.len() > y.len() {
        x
    } else {
        y
    }
}

无法通过以下方式编译:

error[E0597]: `y` does not live long enough
  --> src/main.rs:6:35
   |
6  |             result = longest(&x, &y);
   |                                   ^ borrowed value does not live long enough
7  |         }
   |         - `y` dropped here while still borrowed
...
10 |     }
   |     - borrowed value needs to live until here

这是失败的，因为我们所说的now个借来的数据被放入堆栈中.