Rust返回&str时传入未使用引用可通过编译的原因疑问

核心规则背景 #

Rust 对函数/方法签名上的引用生命周期，不会做任意跨代码块的发散推断，只会严格遵循3条固定的生命周期省略规则自动补全生命周期标注，不满足规则的场景必须手动显式标注生命周期，否则直接报编译错误。
3条固定省略规则如下：

• 每一个引用类型的输入参数，会被自动分配一个独立的生命周期参数
• 如果输入参数里仅存在1个引用生命周期，该生命周期会被自动分配给所有返回值里的引用类型
• 如果是带&self/&mut self的方法，self自身的生命周期会被自动分配给所有返回值里的引用类型

两个场景的编译结果原因拆解 #

1. 无参数版本编译报错的原因 #

无参数版本的函数签名是fn return_ref() -> &str：

• 输入参数列表里没有任何引用类型，3条省略规则没有任何一条能为返回值的&str匹配到合法的生命周期，因此直接触发E0106缺失生命周期标注错误。
• 编译器检测到函数体内返回的是字符串字面量切片（字符串字面量本身自带'static生命周期，存活于整个程序运行周期），因此给出了加&'static str的修复建议。

2. 加了未使用的&str参数后编译通过的原因 #

加参数后的函数签名是fn return_ref(passed_ref: &str) -> &str：

• 输入参数里刚好存在1个引用类型，直接触发第二条省略规则：编译器自动为入参分配生命周期'a，并将返回值自动标注为&'a str，脱糖后的完整签名等价于fn return_ref<'a>(passed_ref: &'a str) -> &'a str，签名层面的生命周期校验直接通过。
• 生命周期省略规则仅校验函数签名结构，完全不检查函数体内部是否真的使用了该入参，因此未使用入参只会触发警告级别的lint，不会阻断编译。
• 函数体内返回的local_ref是指向字符串字面量"world"的切片，属于'static生命周期。Rust 生命周期支持协变：更长的生命周期可以安全转换为更短的生命周期，因此'static的引用完全满足返回值要求的'a生命周期约束，不会触发函数体内的借用检查错误。

额外说明 #

这种写法虽然可以编译通过，但存在语义误导：函数签名会让调用方误以为返回的引用是从入参passed_ref派生而来，借用检查器也会按照「返回值和入参生命周期绑定」的规则做校验，但实际返回的是全局'static引用，和入参没有任何关联，实际开发中不建议这么写，应当显式给返回值标注'static生命周期来匹配真实语义。

可以通过以下代码验证实际生命周期逻辑：

fn return_ref(passed_ref: &str) -> &str {
    let local_ref = &"world"[..];
    local_ref
}

fn main() {
    let s = String::from("hello");
    let res = return_ref(&s);
    drop(s); // 手动释放入参对应的字符串
    println!("{}", res); // 正常打印world，证明res根本不依赖s的生命周期
}

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