用下划线实例化Rust泛型是什么意思？-Java 学习之路

在使用serde_json读取json文档时，我编写了以下代码行来获取解包 serde_json::from_str 的返回值的结果：

fn get_json_content(content_s: &str) -> Option<Value> {
    let ms: String = serde_json::from_str(content_s).unwrap; // <--

    match serde_json::from_str(content_s) {
        Ok(some_value) => Some(some_value),
        Err(_) => None
    }
}

如您所见，我在 unwrap 调用结束时忘记了 () ，导致以下错误：

错误：尝试获取类型core :: result :: Result <_，serde_json :: error :: Error> let ms：String = serde_json :: from_str（content_s）.unwrap;

但是当我进一步看到这一点时，让我感到奇怪的是：

core::result::Result<_, serde_json::error::Error>

我理解匹配上下文中的下划线意味着什么，但实例化泛型？那么这是什么意思？我在Rust书籍，参考书或网络搜索中找不到任何答案 .

1 回答

这是一个占位符 . 在这种情况下，这意味着编译器没有足够的信息来推断类型 .

您可以在代码中使用它来使编译器为您推断类型 . 例如：

pub fn main() {
    let letters: Vec<_> = vec!["a", "b", "c"]; // Vec<&str>
}

这特别方便，因为在许多情况下你可以避免使用"turbofish operator"：

fn main() {
    let bar = [1, 2, 3];
    let foos = bar.iter()
                  .map(|x| format!("{}", x))
                  .collect::<Vec<String>>(); // <-- the turbofish
}

fn main() {
    let bar = [1, 2, 3];
    let foos: Vec<_> = bar // <-- specify a type and use '_' to make the compiler
                           //     figure the element type out
            .iter()
            .map(|x| format!("{}", x))
            .collect(); // <-- no more turbofish
}

回复于 2024-05-18T19:45:06+08:00

用下划线实例化Rust泛型是什么意思？

1 回答

相关问题