用下划線實例化Rust泛型是什么意思？

Question

在使用serde_json讀取json文檔時，我編寫了以下代碼行來獲取解serde_json::from_str的返回值的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調用結束時的() ，導致以下錯誤：

錯誤：試圖采取方法的值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書籍，參考書或網絡搜索中找不到任何答案。

Answer 1

這是一個占位符。 在這種情況下，這意味着編譯器沒有足夠的信息來推斷類型。

您可以在代碼中使用它來使編譯器為您推斷類型。 例如：

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

這特別方便，因為在許多情況下您可以避免使用“渦輪機操作員” ：

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

VS

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
}