借用的值在循环中存活的时间不够长

orh*_*hun 7 reference lifetime rust borrowing

我正在尝试解析文件并Vec<Vec<&str>>从函数返回。但在推送到向量时,我在文件读取循环内遇到借用值错误。

use std::io::{self, BufReader, prelude::*};
use std::fs::File;

fn read() -> Vec<Vec<&'static str>> {
 let file = File::open("~/test").expect("failed to read file");
 let reader = BufReader::new(file);
 let mut main_vector: Vec<Vec<&str>> = Vec::new();
    for line in reader.lines() {
        match line {
            Ok(v) => {
                let mut sub_vector: Vec<&str> = Vec::new();
                for element in v.split_whitespace().collect::<Vec<&str>>() {
                    sub_vector.push(element);
                }
                main_vector.push(sub_vector);
            },
            Err(e) => panic!("failed to parse: {:?}", e),
        }
    }
    //return main_vector;
}
Run Code Online (Sandbox Code Playgroud)

这是编译器错误:

error[E0597]: `v` does not live long enough
  --> src/main.rs:67:32
   |
67 |                 for element in v.split_whitespace().collect::<Vec<&str>>() {
   |                                ^ borrowed value does not live long enough
...
70 |                 main_vector.push(sub_vector);
   |                 -------------- borrow later used here
71 |             },
   |              - `v` dropped here while still borrowed
Run Code Online (Sandbox Code Playgroud)

我认为这是关于参考和借用的,但我仍然很难弄清楚这一点。

ask*_*sky 5

这个问题类似于Return local String as a slice (&str)。最简单的解决方案与该问题相同 -使用 String 而不是 &str。这些问题是不同的,因为该答案专门讨论了从函数返回,并且您没有列出函数。

要解决生命周期使代码失败的原因,请尝试一个更简单的示例

fn main() {
    let mut v:Vec<&str> = Vec::new();
    {
        let chars = [b'x', b'y', b'z'];
        let s:&str = std::str::from_utf8(&chars).unwrap();
        v.push(&s);
     }
    println!("{:?}", v);
}
Run Code Online (Sandbox Code Playgroud)

和编译器输出


let s:&str = std::str::from_utf8(&chars).unwrap();
                                 ^^^^^^ borrowed value does not live long enough
Run Code Online (Sandbox Code Playgroud)

这不起作用的原因正是编译器所说的。chars是在块内创建的,因此它获得与该块关联的生命周期,并且当您的程序退出该块时,字符可能不再存在。任何引用的东西都chars可能有一个悬空指针。Rust 通过将其设为非法来避免悬空指针。在我的示例中,Rust 不允许这样做似乎很愚蠢,但在您的示例中这是有道理的 - Rust 可以通过在str每次v.split_whitespace().collect::<Vec<&str>>()循环中删除旧的来保持堆栈较小。