rust - 有没有办法修改我在循环中使用变量的方式，以便我初始化它们的顺序无关紧要？

Question

我对 Rust 还很陌生，所以不完全确定如何正确地给问题命名，因为我不完全理解这个错误。我有以下用于解析命令行参数的简化代码:

use std::env;

fn main() {

    let mut script: &str = "";

    // Get the commandline arguments.
    let args: Vec<String> = env::args().collect();

    // Loop through and handle the commandline arguments.
    // Skip the first argument; it's the name of the program.
    for arg in args.iter().skip(1) {
        let split: Vec<&str> = arg.trim().split("=").collect();

        if split.len() == 2 {
            match split[0]{
                "file" => { script = split[1]; }
                _ => { println!("Invalid parameter: {}", arg); }
            }
        } else {
            println!("Invalid parameter: {}", arg);
            println!("Parameters should consist of a parameter name and value separated by '='");
        }
    }
}

这给了我以下错误:

error: `args` does not live long enough
  --> src/main.rs:25:1
   |
12 |     for arg in args.iter().skip(1) {
   |                ---- borrow occurs here
...
25 | }
   | ^ `args` dropped here while still borrowed
   |
   = note: values in a scope are dropped in the opposite order they are created

当我更改script 变量的初始化位置时:

use std::env;

fn main() {

    // Get the commandline arguments.
    let args: Vec<String> = env::args().collect();

    let mut script: &str = "";

    // Loop through and handle the commandline arguments.
    // Skip the first argument; it's the name of the program.
    for arg in args.iter().skip(1) {
        let split: Vec<&str> = arg.trim().split("=").collect();

        if split.len() == 2 {
            match split[0]{
                "file" => { script = split[1]; }
                _ => { println!("Invalid parameter: {}", arg); }
            }
        } else {
            println!("Invalid parameter: {}", arg);
            println!("Parameters should consist of a parameter name and value separated by '='");
        }
    }
}

错误消失了。基于错误以及变量初始化的顺序如何改变事物，我认为我在使用(借用？)循环中的变量方面犯了一个根本错误，但我不完全确定是什么我做错了以及修复它的正确方法。有没有办法修改我在循环中使用变量的方式，以便我初始化它们的顺序无关紧要？

Answer 1

简短回答:script 指的是 env::args() 分配的字符串之一的一部分。如果您在 args 之前定义了 script，那么 args 会首先被丢弃(正如编译器的消息指出的那样，“值以相反的顺序被丢弃”)并且script 指向释放的内存。在 args 对象之后定义 script 的修复是正确的。

回答已编辑的问题:当其中一个变量引用另一个变量时，变量的顺序很重要，并且您不能随意更改它们。有关为什么会这样的解释，请继续阅读。

在 Rust 中，每个引用都与一个生命周期相关联，即引用有效的范围。以 the book 为例，生命周期是阻止以下编译(和崩溃)的原因:

let r;
{
    let x = 5;
    r = &x;
}
println!("r: {}", r);  // doesn't compile - x doesn't live long enough

在许多情况下，生命周期是自动推断的。例如，以下是等价的:

{
    let x = "foo";
    let y: &str = "foo";
    let z: &'static str = "foo";
}

即编译器将在使用字符串常量的情况下推断出静态生命周期，该字符串常量是静态分配的，并且在程序的整个执行过程中都存在。另一方面，以下使用更窄的生命周期:

// correct
let s = "foo".to_owned();  // allocate "foo" dynamically
let sref = s.as_str();     // points to heap-allocated "foo"
...

这里，sref仅在s有效时有效。在删除或改变 s 之后，sref 将指向未初始化的内存，Rust 会小心地防止这种情况发生。插入额外的大括号有时有助于可视化范围:

// correct - sref cannot outlive s
let s = "foo".to_owned();
{
    let sref = s.as_str();
    ...
}

另一方面，如果你向后写它们，它不会编译:

// incorrect, doesn't compile
let mut sref = "";
let s = "foo".to_string();
sref = s.as_str();

为了了解原因，让我们插入更明确的范围:

// incorrect, doesn't compile
{
    let mut sref = "";
    {
        let s = "foo".to_string();
        sref = s.as_str();
    }
    // <-- here sref outlives s
}

这和书上的例子本质上是一样的，显然是不允许编译的!现在应该更清楚编译器所说的“范围内的值按照它们创建的相反顺序被丢弃”是什么意思。 s 是在 sref 之后声明的，这意味着它有效地嵌套在一个内部作用域中，这就是它被删除的原因 在外部作用域中的内容之前。 sref 引用 s 中的任何内容意味着在内部范围之后，sref 指向未初始化的内存。

回到你的代码，env::args() 返回一个 Args object其 Iterator 实现产生动态分配的 String。尽管您通过将静态 &str 分配给 script 开始，但是 script 引用的生命周期被确定为所有已分配范围的交集值。在这种情况下，它们是第一个赋值的静态作用域和第二个赋值的 args 作用域，它们的交集是 args 作用域，最终用作引用生命周期。在 args 之后移动 script 声明将 script 引用放入比较的内部范围，确保它始终引用事件对象。