如何指定使用 if let 时无法推断的类型？

Question

我想写以下内容if let但Ok(config)没有提供类型toml::from_str

let result: Result<Config, _> = toml::from_str(content.as_str());
match result {
    Ok(config) => {}
    _ => {}
}

// if let Ok(config) = toml::from_str(content.as_str()) {
//    
// }

我尝试过Ok(config: Config)但没有运气。无法推断成功类型。

Answer 1

这与match或无关if let；类型规范由对 的赋值提供result。这个版本的if let作品：

extern crate toml;

fn main() {
    let result: Result<i32, _> = toml::from_str("");
    if let Ok(config) = result {
        // ... 
    }
}

此版本match没有：

extern crate toml;

fn main() {
    match toml::from_str("") {
        Ok(config) => {}
        _ => {}
    }
}

在大多数情况下，您实际上会使用成功值。根据用法，编译器可以推断类型，并且您不需要任何类型规范：

fn something(_: i32) {}

match toml::from_str("") {
    Ok(config) => something(config),
    _ => {}
}

if let Ok(config) = toml::from_str("") {
    something(config);
}

如果由于某种原因您需要执行转换但不使用该值，您可以在函数调用中使用turbofish ：

match toml::from_str::<i32>("") {
//                  ^^^^^^^
    Ok(config) => {},
    _ => {}
}

if let Ok(config) = toml::from_str::<i32>("") {
    //                            ^^^^^^^
}

也可以看看：

• 当没有类型参数或归属时，如何暗示值的类型？