Rustジェネリックをアンダースコアでインスタンス化するとはどういう意味ですか？

Question

JSON文書を読み取るためのserde_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への呼び出し、：

error: attempted to take value of method unwrap on type core::result::Result<_, serde_json::error::Error>

let ms: String = serde_json::from_str(content_s).unwrap; 

しかし、私は少しさらにこれを見たとき、奇数として私を襲った事があった。

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

私はアンダースコアがマッチコンテキストで意味することを理解しますが、ジェネリックをインスタンス化するには？それはどういう意味ですか？私は錆の本やリファレンス、ウェブ検索で何の答えも見つけられませんでした。

Answer 1

これはプレースホルダです。この文脈では、コンパイラが型を推論するのに十分な情報がないことを意味します。

コンパイラにタイプを推論させるために、コード内でこれを使用できます。たとえば：

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 
}