Rust中为何直接赋值&mut vec![1]有效，经临时变量赋值却报错？

先拆解两段代码的核心逻辑差异：

变量a的合法逻辑 #

当你写出let a = { &mut vec![1] };时，触发了Rust的临时值生命周期延长规则：如果一个临时值被用来直接初始化一个引用变量，那么这个临时值的生命周期会被延长至与引用变量的生命周期一致。

在这里，vec![1]是临时创建的堆分配向量，&mut直接获取它的可变引用并作为代码块的返回值，用来初始化a。编译器识别到这种直接绑定关系，会把临时向量的生命周期延长到a所在的作用域（即整个main函数），因此a持有的引用始终有效，不会出现悬垂问题。

变量b的报错原因 #

而let b = { let temp = &mut vec![1]; temp };的情况完全不同：

• 临时向量vec![1]是在创建temp时生成的，它的生命周期仅局限于当前代码块内部；
• temp是指向该临时向量的可变引用，但temp本身的生命周期也被限制在块内。当代码块执行完毕，临时向量会被立即销毁，此时temp已经变成悬垂引用；
• 将temp返回给b，相当于让b持有一个指向已销毁内存的引用，这违反了Rust的内存安全原则，因此编译器抛出E0716错误。

关于编译器能力的疑问 #

这并非编译器“无法处理第二种场景”，而是两种场景的临时值绑定逻辑完全符合Rust的生命周期规则：

• 第一种场景满足临时值生命周期延长的触发条件（引用直接绑定到临时值的初始化操作）；
• 第二种场景中，引用经过了中间变量的中转，无法触发生命周期延长机制，编译器必须阻止这种悬垂引用的产生，以保证内存安全。

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