Rust函数返回&str的场景解析：三类案例为何表现不同？

场景1：局部String返回&str编译失败 #

代码示例：

fn bad() -> &str {
    let s = String::from("hello");
    &s
}

原因：String::from("hello")创建的是函数局部拥有的堆内存数据，函数执行结束后，这个String会被自动销毁，内存被释放。返回的&str指向的是已经被释放的内存，属于悬空引用。Rust的所有权系统会直接拦截这种不安全行为，所以编译报错。

场景2：Path::new静态字面量返回&'static str可编译 #

代码示例：

fn good_static() -> &'static str {
    let path = std::path::Path::new("thing");
    path.to_str().unwrap()
}

原因：字符串字面量"thing"是编译时嵌入程序二进制的静态数据，它的生命周期是'static（从程序启动到退出一直存在）。Path::new并没有复制或创建新数据，只是对这个静态字符串做了类型包装，to_str()返回的引用直接指向原静态字符串。标注'static生命周期后，编译器确认这个引用不会随函数结束失效，因此允许返回。

场景3：输入&str处理parent后返回&str无需'static #

代码示例：

fn good_parent(s: &str) -> &str {
    let path = std::path::Path::new(s);
    path.parent().unwrap().to_str().unwrap()
}

原因：这里的关键是生命周期绑定。输入的&str有一个隐式生命周期（假设为'a），Path::new(s)创建的Path引用依赖于'a；parent()返回的Path引用继承了原Path的生命周期'a；最终to_str()返回的&str自然也和输入的'a绑定。编译器会自动推断出返回值的生命周期与输入一致，只要输入的&str在调用者处有效，返回的引用就有效，因此不需要显式标注'static。

内容的提问来源于stack exchange，提问作者tk-noodle