为什么 Rust 忽略 &str 的生命周期检查？

fn main() {
    let strA = "a";
    let result;

    {
        let strB = "abc";
        result = longest(strA, strB); // Will return strB
    }

    println!("The longest string is {}", result); // result now point to strB!!
}

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

正如我从铁锈书

'a将得到等于的具体寿命smaller的生命周期中x and y

So why strB现在在其范围之外可见？

那是因为所有字符串文字都有'static寿命。出自《锈书》:

我们需要讨论的一个特殊生命周期是“静态”，这意味着该引用可以在程序的整个持续时间内生存。所有字符串文字都有 'static 生命周期，我们可以将其注释如下：

let s: &'static str = "I have a static lifetime.";

该字符串的文本直接存储在程序的二进制文件中，该二进制文件始终可用。因此，所有字符串文字的生命周期都是“静态的”