为何Rust中字符串字面量传入longest函数无生命周期错误？

先看你提到的两种场景代码：

报错的场景（String转&str） #

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

fn main() {
    let result;
    {
        let str2 = String::from("hello");
        result = longest("rust", &str2);
    }
    println!("{}", result); // 编译报错：str2已被销毁，result悬垂
}

能正常运行的场景（字符串字面量） #

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

fn main() {
    let result;
    {
        let str2 = "hello";
        result = longest("rust", str2);
    }
    println!("{}", result); // 正常输出
}

核心原因：生命周期本质不同 #

1. 字符串字面量的'static生命周期 #

字符串字面量（比如"rust"、"hello"）是直接嵌入在程序二进制文件里的常量数据，它们的生命周期是静态生命周期'static——从程序启动到退出全程有效，不受局部代码块的限制。哪怕你在内部代码块里定义let str2 = "hello"，这个变量只是持有了一个指向二进制中常量字符串的引用，当代码块结束，变量str2被销毁，但底层的常量字符串根本不会消失。

2. String转&str的生命周期绑定 #

String是在堆上动态分配的字符串，你通过&str引用它时，这个引用的生命周期严格绑定到String变量本身。比如报错场景里的str2是局部String，它的生命周期只限于内部代码块，当代码块结束，str2被销毁，堆上的字符串内存也会被释放，此时result如果持有&str2的引用，就成了悬垂引用——Rust编译器会直接阻止这种不安全的行为。

为什么字面量场景下编译器不报错？ #

在字面量场景中，longest函数的两个输入引用都是'static生命周期，Rust会推断泛型生命周期'a就是'static。返回的result引用的生命周期也是'static，哪怕内部代码块结束，底层的常量字符串依然存在，所以result在外部使用完全安全，编译器自然允许。

总结一下：字符串字面量是程序自带的“永久”数据，而String是临时分配的动态数据，两者的生命周期天差地别，这就是你看到两种不同结果的根本原因。

内容的提问来源于stack exchange，提问作者Prinson Fernandes