Rust临时值引用特性解析：存储、生命周期及应用

从临时值创建引用的含义 #

从临时值创建引用，指直接对未显式绑定到变量的临时对象创建可变或不可变引用。这类临时值原本会在当前表达式结束后销毁，但Rust的特定规则会调整其生命周期，让引用能合法使用。

代码示例 #

fn main() { 
    let r0 = &mut String::from("my string"); 
    *r0 = String::from("new string"); 
    println!("{r0}"); 
}

运行输出 #

new string

问题解答 #

1. 引用r0指向的实体存储位置及生命周期 #

• 存储位置：String::from("my string")创建的临时字符串，会被Rust自动分配到main函数的栈帧中（编译器将临时值提升为栈上的持久变量）。
• 生命周期：该实体的生命周期与引用r0完全一致，从let r0 = ...语句初始化开始，直到main函数执行完毕（r0离开作用域时，实体才会被销毁）。

2. 该操作在Rust中被允许的原因 #

Rust的临时值提升规则会自动延长临时值的生命周期：当临时值被直接用于创建引用并绑定到变量时，编译器会将临时值的生命周期调整为与引用变量相同，从根源避免了悬垂引用的风险。同时这段代码完全符合Rust的借用规则——r0是该字符串唯一的可变引用，没有其他不可变引用共存，因此操作合法。

3. 该特性的名称 #

这个特性叫做临时值提升（Temporary Value Promotion），是Rust编译器用于调整临时值生命周期的自动规则。

4. 该特性的应用场景 #

• 简化代码：无需显式创建中间变量，直接对临时对象的引用进行操作，减少冗余代码（比如示例中省去了单独声明字符串变量的步骤）。
• 函数参数传递：向接收引用类型的函数直接传递临时值的引用，比如process_string(&String::from("input"))，无需提前绑定变量。
• 链式调用场景：在链式操作中直接使用临时值的引用，比如对临时创建的哈希表进行插入操作，无需先将哈希表绑定到变量。

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