为何Rust中仅引用可变引用时会出现生命周期错误？

可编译代码示例 #

struct T {
    x: String,
}

fn ret_x<'a, 'b>(c: &'a mut &'b T) -> &'b str {
    return &c.x;
}

报错代码示例 #

struct T {
    x: String,
}

fn ret_x<'a, 'b>(c: &'a mut &'b mut T) -> &'b str {
    return &c.x;
}

编译错误信息 #

function was supposed to return data with lifetime 'b but it is returning data with lifetime 'a

核心差异解析 #

两种情况的本质区别在于内部引用的可变性带来的引用复制/重借用行为不同：

• 不可变内部引用（可编译）：
  不可变引用&'b T实现了Copy trait，访问c.x时，Rust会自动解引用外层的&'a mut &'b T得到内部的&'b T，直接复制这个不可变引用后访问x，最终返回的&str生命周期就是'b，与函数声明完全匹配，编译通过。

• 可变内部引用（报错）：
  可变引用&'b mut T没有Copy特性，无法直接复制。访问c.x时必须通过外层可变引用解引用，这个过程会触发重借用——从外层的'a生命周期生成新的引用，实际得到的是&'a mut T而非原有的&'b mut T。访问x得到的&str生命周期为'a，但函数要求返回&'b str，编译器无法保证'a长度不短于'b，因此抛出生命周期不匹配错误。

修复方案 #

给生命周期添加约束，确保'a覆盖'b：

struct T {
    x: String,
}

// 'a: 'b 表示 'a 生命周期长于或等于 'b
fn ret_x<'a: 'b, 'b>(c: &'a mut &'b mut T) -> &'b str {
    &c.x
}

这样编译器就能确认重借用的引用可以安全转换为'b生命周期，编译通过。

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