由于类型不匹配错误

时间:2015-07-24 22:45:27

标签: rust text-parsing lifetime type-mismatch borrow-checker

我正在尝试解析一个简单的配置文本文件,每行包含一个三字输入,其布局如下:

ITEM name value
ITEM name value
//etc.

我在这里(和on the Rust Playpen)重现了解析(以及后续编译错误)的函数:

pub fn parse(path: &Path) -> config_struct {

    let file = File::open(&path).unwrap();
    let reader = BufReader::new(&file);
    let line_iterator = reader.lines();
    let mut connection_map = HashMap::new();
    let mut target_map = HashMap::new();

    for line in line_iterator {

        let line_slice = line.unwrap();
        let word_vector: Vec<&str> = line_slice.split_whitespace().collect();

        if word_vector.len() != 3 { continue; }

        match word_vector[0] {
            "CONNECTION" => connection_map.insert(word_vector[1], word_vector[2]),
            "TARGET" => target_map.insert(word_vector[1], word_vector[2]),
            _ => continue,
        }
    }

    config_struct { connections: connection_map, targets: target_map }
}

pub struct config_struct<'a>  {
    // <name, value>
    connections: HashMap<&'a str, &'a str>,
    // <name, value>
    targets: HashMap<&'a str, &'a str>,
}


src/parse_conf_file.rs:23:3: 27:4 error: mismatched types:
 expected `()`,
    found `core::option::Option<&str>`
(expected (),
    found enum `core::option::Option`) [E0308]
src/parse_conf_file.rs:23 match word_vector[0] {
src/parse_conf_file.rs:24   "CONNECTION" => connection_map.insert(word_vector[1], word_vector[2]),
src/parse_conf_file.rs:25   "TARGET" => target_map.insert(word_vector[1], word_vector[2]),
src/parse_conf_file.rs:26   _ => continue,
src/parse_conf_file.rs:27 }

本质上,我似乎创建了一个期望空元组的match语句,并且还发现Vec<&str>的内容包含在Option中!

NB。这篇文章最初包含两个问题(我认为是一个错误表现出来的不同),但在评论中按照建议将其分成两个单独的帖子。后一篇文章是here

1 个答案:

答案 0 :(得分:4)

您的原始问题只是在循环体的末尾有一个非()表达式。您的match表达式的类型为Option<&str>(因为这是HashMap::insert的返回类型),而不是()类型。只需在匹配表达式后面加一个分号即可解决此问题:

match word_vector[0] {
    "CONNECTION" => connection_map.insert(word_vector[1], word_vector[2]),
    "TARGET" => target_map.insert(word_vector[1], word_vector[2]),
    _ => continue,
};
  

对于后者,是不是word_vector填充了不指向line_slice的拥有对象?

不,这正是问题所在。 word_vector包含&str类型的元素,即借用的字符串。这些指向line_slice,它只存在于当前循环迭代结束之前。您可能希望在将它们插入地图之前将它们转换为String s(使用String::from)。