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

Question

我有一个基本的(可能是愚蠢的)所有权问题。我正在尝试从包裹在 Some(String) 中的 String 值创建一个 &str 向量。我正在使用一个中间变量来存储提取/解包的 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

问题是:为什么我必须在向量v 之前定义val 变量？如我所见，val 作用域与 v 作用域相同，还是我遗漏了什么？

Answer 1

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

Vec实际上并没有这样做，但是其他合法类型按照这些思路做了一些事情。以前不可能安全地实现 Drop对于包含生命周期/借用指针的类型。 relatively recent change通过引入这些附加限制来确保安全。

请注意，如果您声明 let v, val;或 let val, v;然后赋值，这两个绑定(bind)确实具有相同的生命周期，因此拥有相同生命周期的两个变量并非不可能。