Rust协变理解：单双生命周期注解编译差异原因解析

问题场景 #

单生命周期代码编译失败 #

以下代码尝试通过自定义结构体修改字符串引用，但编译报错：

struct B<'a> {
    data: &'a mut &'a str,
}

pub fn test_1() {
    let mut s = "hello";
    *B {
        data: &mut s,
    }.data = "world";
    println!("s: {}", s);
}

错误信息：

error[E0502]: cannot borrow `s` as immutable because it is also borrowed as mutable
  --> src\test_ref.rs:14:23
   |
12 |         data: &mut s,
   |               ------ mutable borrow occurs here
13 |     }.data = "world";
14 |     println!("s: {}", s);
   |                       ^
   |                       |
   |                       immutable borrow occurs here
   |                       mutable borrow later used here

即使将结构体实例的创建和赋值操作放入代码块，依然报相同错误：

pub fn test_1() {
    let mut s = "hello";
    {
        *B {
            data: &mut s,
        }.data = "world";
    }
    println!("s: {}", s);
}

双生命周期代码编译成功 #

将结构体改为双生命周期注解后，代码可以正常编译运行：

struct A<'a, 'b> {
    data: &'a mut &'b str,
}
pub fn test() {
    let mut s = "hello";
    let a = A {
        data: &mut s,
    };
    *a.data = "world";
    println!("s: {}", s);
}

单生命周期编译失败的原因 #

当结构体B<'a>的字段定义为&'a mut &'a str时，两个生命周期被强制绑定为同一个：

• 外层可变引用&'a mut _的生命周期是'a
• 内层字符串引用&'a str的生命周期也是'a

在test_1函数中，s是一个字符串引用，其生命周期覆盖整个函数作用域。当创建B的实例时，编译器会将'a推断为s的完整生命周期，这就意味着：

• 对s的可变借用（&mut s）的生命周期也被拉长到整个函数
• 即使将结构体实例放入代码块，绑定的生命周期'a依然覆盖整个函数，导致println!尝试不可变借用s时，可变借用仍然有效，违反Rust的借用规则。

双生命周期编译成功的原因 #

结构体A<'a, 'b>将两个生命周期拆分：

• 'a是外层可变引用&'a mut _的生命周期
• 'b是内层字符串引用&'b str的生命周期

此时编译器可以独立推断两个生命周期：

• 'b被推断为s的完整生命周期（因为s本身是字符串引用，生命周期覆盖整个函数）
• 'a则被推断为从结构体实例创建到赋值操作完成的短暂生命周期

当赋值操作完成后，结构体实例a被销毁，可变引用的生命周期'a结束，对s的可变借用随之释放。后续的println!就可以安全地对s进行不可变借用，符合Rust的借用规则。

Rust中的协变概念 #

协变是Rust类型系统中描述子类型替换安全性的概念，核心规则是：如果类型T可以安全替换为它的子类型T'，那么包含T的复合类型也可以安全替换为包含T'的复合类型。

针对生命周期和引用类型，常见的协变规则：

• 共享引用：&'a T对生命周期'a是协变的——更长的生命周期可以被视为更短生命周期的子类型（比如'static可以替换任何'a）。
• 可变引用：&'a mut T对生命周期'a是协变的，但对类型T是不变的——不能将&'a mut T替换为&'a mut T'，即使T'是T的子类型。
• 结构体：结构体对某个生命周期参数的协变性，由其字段的协变性决定：如果所有字段对该生命周期都是协变的，结构体才是协变的；只要有一个字段是不变的，结构体整体就是不变的。

回到问题本身：

• 单生命周期的B<'a>中，&'a mut &'a str的可变引用部分对内部的&'a str是不变的，而内部引用的生命周期又和外层可变引用绑定，导致整个结构体的生命周期参数'a无法被缩短，最终造成可变借用生命周期过长。
• 双生命周期的A<'a, 'b>将两个生命周期解耦，可变引用的生命周期'a不再受内部引用生命周期'b的约束，编译器可以灵活推断出更短的'a，从而让可变借用提前释放。

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