[英]What does it mean to instantiate a Rust generic with an underscore?
在使用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书籍,参考书或网络搜索中找不到任何答案。
这是一个占位符。 在这种情况下,这意味着编译器没有足够的信息来推断类型。
您可以在代码中使用它来使编译器为您推断类型。 例如:
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
}
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.