Rust返回Vec<Vec<&str>>时缺失生命周期说明的问题排查

问题代码 #

需求是编写函数逐行读取文本文件，将每行按|分割为字符串向量，再将这些向量存入外层向量返回，代码如下：

use std::fs::File;
use std::io::{ self, BufRead };

use rand::seq::SliceRandom;
use rand::thread_rng;


pub fn ParseWords() -> Vec<Vec<&str>> {
    let file = File::open("./words.txt".to_string()).unwrap();
    let mut words = Vec::new();

    // Iterate over the lines of the file.
    for line in io::BufReader::new(file).lines() {
        words.push(line.unwrap().split("|").collect::<Vec<&str>>());
    }

    // Do a bit of shuffling.
    let mut rng = thread_rng();
    words.shuffle(&mut rng);

    return words.clone()
}

编译错误 #

编译时出现以下生命周期相关错误：

error[E0106]: missing lifetime specifier
 --> src\parser.rs:8:32
  |
8 | pub fn ParseWords() -> Vec<Vec<&str>> {
  |                                ^ expected named lifetime parameter
  |
  = help: this function's return type contains a borrowed value, but there is no value for it to be borrowed from
help: consider using the `'static` lifetime
  |
8 | pub fn ParseWords() -> Vec<Vec<&'static str>> {
                                

问题原因 #

split("|")返回的&str是借用自line.unwrap()生成的临时String，这个临时字符串在每次循环迭代结束后就会被销毁，导致返回的引用变成悬空引用——Rust的所有权系统不允许这种情况发生，因此编译器报错。

解决方案 #

最直接且符合Rust规范的解决方法是使用拥有所有权的String替代借用的&str，确保字符串数据的所有权被保留在返回的向量中，避免生命周期问题。

修改后的完整代码 #

use std::fs::File;
use std::io::{self, BufRead};

use rand::seq::SliceRandom;
use rand::thread_rng;

pub fn parse_words() -> Vec<Vec<String>> {
    let file = File::open("./words.txt").unwrap();
    let mut words = Vec::new();

    for line in io::BufReader::new(file).lines() {
        let line_str = line.unwrap();
        // 将分割后的&str转换为String，获取所有权
        let split_line = line_str.split("|")
            .map(|s| s.to_string())
            .collect();
        words.push(split_line);
    }

    let mut rng = thread_rng();
    words.shuffle(&mut rng);

    words
}

关键修改点 #

1. 返回类型调整：将Vec<Vec<&str>>改为Vec<Vec<String>>，String是拥有所有权的类型，无需生命周期标注
2. 转换字符串所有权：对split返回的每个&str调用to_string()，将其转换为String，确保数据被保留在向量中
3. 符合Rust命名规范：函数名改为parse_words（小写蛇形命名）
4. 移除不必要的克隆：直接返回words即可，无需clone()

内容的提问来源于stack exchange，提问作者Normantas