无所有者的对象何时触发Drop？Rust内存管理技术问询

你这段代码里的String::from("Hello There")是临时值，虽然没有绑定到命名的所有者变量，但Rust编译器会根据上下文自动管理它的生命周期：

当临时值被用来初始化一个引用变量（也就是这里的not_an_owner）时，Rust会把这个临时值的生命周期延长到该引用变量的作用域结束。也就是说，这个临时String会一直存活到代码块{}结束，此时引用not_an_owner失效，临时String随即被自动销毁（触发drop）。

你之前的认知有偏差——并非所有需要管理生命周期的对象都必须有命名所有者，Rust对临时值有专门的规则：

• 一般情况下，临时值会在当前表达式执行完成后立即销毁；
• 但如果临时值被用来初始化引用变量，它的生命周期会被延长至该变量的作用域末尾，以此保证引用不会悬空。

举个对比例子：

fn main() {
    println!("{}", &String::from("Hello"));
}

这里的临时String会在println!表达式执行完毕后立刻销毁，因为没有引用变量持有它的引用，不需要延长生命周期。

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