缓冲读卡器的线路寿命不足，可防止拆分线路

Question

我正在敲打我的头，试图弄清楚 Rust 的借用/终身/所有权属性。即，当使用缓冲读取器并尝试拆分行时。代码

use std::fs::File;
use std::io::{BufRead, BufReader};
fn main() {
let f = File::open("foo.txt").expect("file not found");
let f = BufReader::new(f);
for line in f.lines() {
let split: Vec<&str> = {
let ln: String = line.unwrap();
ln.split(' ').collect()
};
}
}

或 的任何变体(无论是否指定变量类型，徒劳地尝试使其可变等)都会导致：

'ln' does not live long enough; borrowed value must only be valid for the static lifetime...

然而试图伪造延长的使用寿命并通过切片从生产线中获取一些数据

let nm = line;
name = &line[..];

甚至只是尝试在未修改的行变量上操作split()会导致：

cannot index into a value of type 'std::result::Result<std::string::String, std::io::Error>'

"借用的价值寿命不够长"似乎归咎于错误的事情表明生命周期持续足够长，可以将每个单词放入自己的字符串中，但是修改我在 Playground 上的原始代码以包含嵌套的 for 循环仍然会导致

error[E0597]: borrowed value does not live long enough
--> src/main.rs:11:18
|
11 |         for w in line.unwrap().split_whitespace() {
|                  ^^^^^^^^^^^^^ temporary value does not live long enough
...
14 |         }
|         - temporary value dropped here while still borrowed
15 |     }
|     - temporary value needs to live until here
|
= note: consider using a `let` binding to increase its lifetime

关于line.unwrap()

归根结底，我对 Rust 的生命周期或借用属性有什么误解？

Answer 1

原始代码在编译时给出的错误是：

error[E0597]: `ln` does not live long enough
--> src/main.rs:11:13
|
11 |             ln.split(' ').collect()
|             ^^ borrowed value does not live long enough
12 |         };
|         - `ln` dropped here while still borrowed
13 |     }
|     - borrowed value needs to live until here
error: aborting due to previous error

根据@shepmasters评论，最好在发布问题时提供完整的错误。

无论如何，它突出了问题：

let split: Vec<&str> = {
let ln: String = line.unwrap();
ln.split(' ').collect()
};

您正在创建一个包含对str切片的引用的Vec;切片不拥有从中切片的数据，它们实际上是指向必须由另一个变量拥有的数据的指针。因此，从中切片的变量必须比切片的寿命长。

在用于初始化Vec的表达式中，创建一个包含正在处理的文本行的String。此字符串的作用域是变量ln是初始化表达式 - 一旦您离开该范围，它就会被删除。

然后split字符串，该字符串将迭代器返回到字符串切片，每个子字符串一个。但请记住，迭代器正在返回切片，切片是指向Stringln中的子字符串的指针。这些切片不允许超过ln本身。

希望您现在可以看到问题。退出初始化表达式后，ln将被删除，但Vec仍将包含str切片。他们指的是什么？

修复非常简单。为什么要在该块内声明ln？事实上，为什么那里有一个街区？这有效：

for line in f.lines() {
let ln: String = line.unwrap();
let split: Vec<&str> = ln.split(' ').collect();
// Now do something with split
}