为什么我会在返回值中得到“活得不够长”？

Question

在检查如何选中Arc和Mutexed变量？ 我遇到了一个问题，在这个问题中，看起来正常的代码在从Mutex构造返回值时会产生“不够长时间”的错误。 简单地从退回对象中拉出lock().unwrap()访问可以消除错误 - 但我想理解为什么Rust在这种情况下抱怨生命周期问题。

我能够将代码剪切成一个非常简单的重现器：第一个函数编译好，第二个函数生成错误消息，它们几乎相同。

use std::sync::Mutex;

pub struct Response {
    resp: String,
}

pub fn get() -> Response {
    let body = Mutex::new("a".to_string());
    let x: std::sync::MutexGuard<_> = body.lock().unwrap();
    Response { resp: x.clone() }
}

pub fn get2() -> Response {
    let body = Mutex::new("a".to_string());
    Response {
        resp: body.lock().unwrap().clone(),
    }
}

error[E0597]: `body` does not live long enough
  --> src/lib.rs:16:15
   |
16 |         resp: body.lock().unwrap().clone(),
   |               ^^^^ borrowed value does not live long enough
17 |     }
18 | }
   | - `body` dropped here while still borrowed
   |
   = note: values in a scope are dropped in the opposite order they are created

Answer 1

正如Stargateur的回答所指出的，其原因在于临时工的生命。 虽然Rust还没有完整的规范，但语言参考仍然非常好，至少提供了一个理解行为的提示。 以下是有关临时生命周期的相关部分：

[T]通常是临时值的生命周期

• 最里面的封闭声明; 块的尾部表达式被认为是包含块的语句的一部分，或者
• 条件表达式或如果临时环路条件表达式是在条件表达式创建if或在一个的循环条件表达式while表达。

函数的第二个版本中body.lock().unwrap()的最内层封闭语句是返回表达式。 上面的规范声明这个表达式“被认为是包含块的语句的一部分”，在这种情况下并不存在，但它仍然给出了正确的想法：函数体本地的所有变量在任何临时值之前被删除在返回表达式中被删除，因此body在借用body的MutexGuard之前被丢弃。 您找到的修复程序确保临时在body之前被删除，因为局部变量大致按其创建的相反顺序删除。

Answer 2

使用#![feature(nll)]这会给出一个精确的错误：

   |
19 |         resp: body.lock().unwrap().clone(),
   |               ^^^^----------------
   |               |
   |               borrowed value does not live long enough
   |               a temporary with access to the borrow is created here ...
20 |     }
21 | }
   | -
   | |
   | `body` dropped here while still borrowed
   | ... and the borrow might be used here, when that temporary is dropped and runs the `Drop`
   | code for type `std::sync::MutexGuard`
   |
   = note: The temporary is part of an expression at the end of a block. Consider forcing
   this temporary to be dropped sooner, before the block's local variables are dropped.
   For example, you could save the expression's value in a new local variable `x` and then make
   `x` be the expression at the end of the block.

相当长的BTW;）这是因为临时是在身体后下降，你也可以这样做：

pub fn get3() -> Response {
    let body = Mutex::new("a".to_string());
    let resp = body.lock().unwrap().clone();
    Response {
        resp,
    }
}