Rust 单个变量分配不同生命周期的编译疑问

你对报错原因的猜测基本正确。Rust 中引用类型变量的生命周期会在第一次初始化时就完全确定，后续不会再发生变化。

为什么可以将 &'b str 赋值给 bar？ #

这是 Rust 生命周期协变规则的正常表现：更长生命周期的引用可以安全赋值给要求更短生命周期引用的变量，这个生命周期收缩的操作是完全安全的。
你初始化 bar 时赋值的是 &a.x，它的生命周期是 'a，因此 bar 的类型被直接固定为 &'a str。后续你把生命周期为 'b 的 &b.x 赋值给 bar 时，编译器会自动将 'b 的生命周期收缩到和 'a 一致，只要没有显式约束说明 'b 比 'a 更短，这个操作就是被允许的。

为什么返回时会报错？ #

Rust 的生命周期检查是纯静态的类型检查，不会考虑代码的实际执行路径。哪怕你逻辑上最终返回的确实是 b.x 的引用，但 bar 的静态类型已经是 &'a str，和你函数签名声明的返回值类型 &'b str 并不匹配。
你的函数签名没有声明 'a 和 'b 的大小关系，编译器无法保证 'a 的生命周期足够长以满足 'b 的要求，因此会抛出「返回了来自 'a 的数据」的错误。

修复方案 #

根据你的实际需求可以选择两种修复方式：

1. 如果最终返回的肯定是 b 的引用，直接调整变量初始化逻辑让类型匹配即可，甚至可以省略中间变量：

struct Foo {
    x: String,
}

fn get_x<'a, 'b>(a: &'a Foo, b: &'b Foo) -> &'b str {
    &b.x
}

2. 如果逻辑上确实需要先持有 a 的引用、再切换为 b 的引用，可以给生命周期添加约束，告诉编译器 'a 的存活时间至少和 'b 一样长：

struct Foo {
    x: String,
}

// 约束 'a 的生命周期长于等于 'b，因此 &'a str 可以安全转换为 &'b str 返回
fn get_x<'a: 'b, 'b>(a: &'a Foo, b: &'b Foo) -> &'b str {
    let mut bar = &a.x;
    bar = &b.x;
    bar
}

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