Rust借用规则疑问：test1编译失败test5正常的原因及困惑

问题背景 #

正在阅读《The Book》的slices章节，测试借用规则时遇到以下困惑：

1. 为什么test1编译失败，而test5可以正常运行？
2. 我的理解存在哪些误区？
3. 《The Book》中哪部分内容覆盖了我所困惑的点？

通用代码 #

fn tmp() {
    let mut s = String::from("hello world");

    let thing = testX(&s);

    s.clear(); // error!

    let tmp = thing.len();
    println!("the first word is: {tmp}");
}

测试案例 #

Test 1（编译失败）：

fn test1(s: &String) -> &str {
    "Slice"
}

传入可变String的不可变引用，函数未使用该引用，返回无关slice，但编译报错，提示仍持有对s的不可变借用。

Test 2（编译失败）：

fn test2(s: &String) -> Vec<&str> {
    let mut vec = Vec::new();
    vec.push(s.as_str());
    vec
}

返回包含传入参数slice的Vec，编译失败。

Test 3（编译失败）：

fn test3(s: &String) -> Vec<&str> {
    let mut vec = Vec::new();
    vec.push("Slice");
    vec
}

逻辑与test1类似，返回包含无关slice的Vec，仍编译失败。

Test 4（编译失败）：

fn test4(s: &String) -> Vec<&usize> {
    let mut vec = Vec::new();
    vec.push(&1);
    vec
}

返回包含无关引用的Vec，仍编译失败。

Test 5（正常运行）：

fn test5(s: &String) -> Vec<String> {
    let mut vec = Vec::new();
    vec.push(String::from("something new"));
    vec
}

未使用输入引用，返回拥有所有权的Vec，代码正常编译运行。

解答 #

1. test1编译失败、test5正常的原因 #

核心在于Rust借用检查器基于函数签名进行静态生命周期推断，而非函数内部的实际代码：

• 对于test1、test2、test3、test4这类返回引用（或包含引用的复合类型，如Vec<&str>、Vec<&usize>）的函数，编译器会自动应用生命周期省略规则：将返回值的生命周期与第一个输入引用参数的生命周期绑定。以test1为例，签名会被补全为：

  fn test1<'a>(s: &'a String) -> &'a str
  

  这意味着返回的引用必须和输入的&s存活时间一致，因此&s的不可变借用会持续到thing变量被销毁，后续调用s.clear()需要获取可变借用，触发“不可变借用与可变借用冲突”的编译错误。
• test5返回的Vec<String>是完全拥有所有权的类型，不包含任何引用，编译器无需将其生命周期与输入的&s绑定。调用test5(&s)后，&s的不可变借用在函数调用结束后立即释放，后续的s.clear()可以正常获取可变借用，因此代码编译通过。

2. 理解误区 #

• 误区1：认为借用检查器会根据函数内部代码判断借用是否持续。实际上，Rust的借用检查是静态分析，仅依赖函数签名，不会检查函数内部是否实际使用了输入引用。只要返回值包含引用且未显式指定生命周期，就会默认绑定到输入引用的生命周期。
• 误区2：忽略了包含引用的复合类型也会触发生命周期绑定。即使容器内的引用与输入参数无关（如test3、test4），只要返回的复合类型包含引用，编译器就会默认将其生命周期与输入引用绑定，导致借用持续。

3. 《The Book》对应内容 #

• “生命周期与引用有效性”章节：详细讲解了函数签名中的生命周期注解规则，以及编译器的生命周期省略逻辑——当函数返回引用且未显式注解时，默认将返回引用的生命周期绑定到第一个输入引用参数的生命周期。
• “引用的作用域”章节：说明了借用的存活时间是从创建到最后一次使用，而当返回值与输入引用生命周期绑定后，借用的存活时间会延长到返回值的销毁时间。

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