0

我正在努力弄清楚 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>'

“借来的价值不够长”似乎归咎于错误的事情表明生命周期持续足够长以将每个单词放入自己的字符串中,但是修改我在操场上的原始代码以包含嵌套的 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 的生命周期或借用属性有什么误解?

4

1 回答 1

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()
};

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

在您用来初始化 的表达式中 Vec,您创建一个String包含您正在处理的文本行的。这个字符串的范围是变量ln是初始化表达式——一旦你离开这个范围,它就会被删除。

然后split是字符串,它返回一个字符串切片的迭代器,每个子字符串一个。但请记住,迭代器返回的是切片,它们是指向String ln. 这些切片不允许超过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
}
于 2018-03-22T03:31:10.047 回答