为何返回引用的Rust函数需要添加生命周期标注？

先来看你的代码和触发的错误：

你的代码 #

const DIGIT_SPELLING: [&str; 10] = [ "", "one", "two", "three", "four", "five", "six", "seven", "eight", "nine" ];
fn to_spelling_1(d: u8) -> &str { DIGIT_SPELLING[d as usize] }
fn main() { let d = 1; let s = to_spelling_1(d); println!("{}", s); }

编译器错误 #

error[E0106]: missing lifetime specifier
--> src/main.rs:5:28
|
5 | fn to_spelling_1(d: u8) -> &str {
| ^ expected lifetime parameter
| = help: this function's return type contains a borrowed value, but the signature does not say whether it is borrowed from d or from some other source

这个错误的核心和Rust的内存安全规则直接挂钩：Rust要求所有引用必须始终指向有效的内存，生命周期标注就是用来告诉编译器「这个引用能活多久」，彻底避免悬垂引用（引用指向已经被释放的内存）的问题。

对于返回引用的函数，编译器必须明确知道这个引用的生命周期来源：

• 是来自函数的某个引用参数？
• 还是来自程序的静态内存（比如字符串字面量）？
• 或者是其他外部来源？

Rust确实有一套生命周期省略规则，能自动处理一些常见场景：

• 如果函数只有一个引用参数，返回的引用默认和这个参数同生命周期（比如fn trim(s: &str) -> &str）
• 如果是方法，返回的引用默认和&self/&mut self同生命周期

但你的情况不在省略规则的覆盖范围内：你的函数to_spelling_1没有任何引用参数，返回的引用来自静态常量DIGIT_SPELLING里的字符串字面量——这类字符串的生命周期是'static，因为它们被硬编码到程序的二进制文件中，整个程序运行期间都存在。

编译器没办法自动推断出这个返回引用是'static的（毕竟理论上函数也可能返回指向内部临时变量的引用，这会直接导致悬垂引用，是Rust严格禁止的），所以必须由你显式标注生命周期。

修复后的代码 #

只需要给返回类型加上'static生命周期标注即可：

const DIGIT_SPELLING: [&str; 10] = [ "", "one", "two", "three", "four", "five", "six", "seven", "eight", "nine" ];
// 显式告诉编译器返回的引用是静态生命周期
fn to_spelling_1(d: u8) -> &'static str { 
    DIGIT_SPELLING[d as usize] 
}
fn main() { 
    let d = 1; 
    let s = to_spelling_1(d); 
    println!("{}", s); 
}

这样编译器就清楚知道返回的引用会一直有效，不会出现内存安全问题，错误也就消失了。

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