字符串字面量生命周期与不变性：显式指定'static为何引发编译错误？

先看你的代码和编译错误：

出错的代码 #

fn foo<'a>(s1: &mut &'a str, s2: &'a str) {
   *s1 = s2
}

let mut x: &'static str = "Hello";
let y = String::from("World");

foo(&mut x, &y);

编译错误 #

error[E0597]: y does not live long enough

原因拆解 #

1. 显式指定&'static str时的矛盾

当你给x标注&'static str时，&mut x的类型是&mut &'static str。代入foo的签名后，编译器会把泛型生命周期'a推断为'static——因为第一个参数的内部引用是'static，必须满足'a = 'static才能匹配函数签名。

但第二个参数&y的生命周期是y所在的局部作用域（远短于'static），无法满足'a = 'static的要求，因此编译器抛出“y生命周期不够长”的错误。

2. 移除显式标注时的自动适配

当你去掉x的类型标注，编译器会根据上下文自动推断x的生命周期：

• 此时x的类型会被推断为&'a str，这里的'a是y的局部生命周期。
• 字符串字面量"Hello"默认是'static生命周期，Rust允许长生命周期的引用被隐式转换为更短的生命周期（这叫生命周期协变性）——也就是说&'static str可以安全地当作&'a str使用（只要'a比'static短）。
• 这样foo的两个参数的生命周期'a就统一为y的作用域，完全符合函数签名的要求，所以编译通过。

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