为什么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
}
}
正如我从Rust 书中得到的那样
'a将得到的混凝土的寿命等于该较小的寿命的x和y
那么为什么strB现在在其范围之外可见?
回答
那是因为所有字符串文字都有'static生命周期。从锈书:
我们需要讨论的一个特殊生命周期是“静态”,这意味着该引用可以在程序的整个持续时间内存活。所有字符串文字都有 'static 生命周期,我们可以注释如下:
let s: &'static str = "I have a static lifetime.";该字符串的文本直接存储在程序的二进制文件中,该二进制文件始终可用。因此,所有字符串文字的生命周期都是 'static