为什么变量范围取决于定义顺序？

Question

我有一个基本的（也可能是愚蠢的）所有权问题。我正在尝试从&str中包含的String值创建Some(String)向量。我使用一个中间变量来存储提取/解包的String，似乎我需要在向量之前定义这个中间变量以满足借用检查器：

工作代码：

fn main() {
    let a = Some("a".to_string());

    let mut val = String::new();
    let mut v = Vec::<&str>::new();

    if a.is_some() {
        val = a.unwrap();
        v.push(&val[..]);
    }
    println!("{:?}", val);
}

非工作代码：

fn main() {
    let a = Some("a".to_string());

    let mut v = Vec::<&str>::new();
    let mut val = String::new();

    if a.is_some() {
        val = a.unwrap();
        v.push(&val[..]);
    }
    println!("{:?}", val);
}

编译错误：

<anon>:9:17: 9:20 error: `val` does not live long enough
<anon>:9         v.push(&val[..]);
                        ^~~
<anon>:4:35: 12:2 note: reference must be valid for the block suffix following statement 1 at 4:34...
<anon>:4     let mut v = Vec::<&str>::new();
<anon>:5     let mut val = String::new();
<anon>:6 
<anon>:7     if a.is_some() {
<anon>:8         val = a.unwrap();
<anon>:9         v.push(&val[..]);
        ...
<anon>:5:32: 12:2 note: ...but borrowed value is only valid for the block suffix following statement 2 at 5:31
<anon>:5     let mut val = String::new();
<anon>:6 
<anon>:7     if a.is_some() {
<anon>:8         val = a.unwrap();
<anon>:9         v.push(&val[..]);
<anon>:10     }
        ...
error: aborting due to previous error
playpen: application terminated with error code 101

The playpen code

问题是：为什么我必须在向量val之前定义v变量？在我看来，val范围与v范围相同，或者我遗漏了什么？

Answer 1

绑定以声明的相反顺序删除，即最近声明的事物首先被销毁。具体来说，在不起作用的代码中，val的析构函数在v的析构函数之前运行。如果不仔细考虑Vec<&str>::drop()的作用，这是不安全的：例如，它可以尝试查看它包含的字符串切片的内容，尽管它们派生的String已经是破坏。

Vec实际上并没有这样做，但是其他合法类型在这些方面做了些什么。以前，对于包含生命周期/借用指针的类型，不可能安全地实现Drop。 relatively recent change通过引入这些额外限制使其安全。

请注意，如果您声明let v, val;或let val, v;并稍后分配，则两个绑定 do 具有相同的生命周期，因此并非两个变量具有相同的生命周期寿命。