将None传递给接受Option的函数

Question

rust-ini有一个功能:

pub fn section<'a, S>(&'a self, name: Option<S>) -> Option<&'a Properties>
    where S: Into<String>

我想读一个没有节的文件,所以我这样称呼它:

let ifo_cfg = match Ini::load_from_file("conf.ini") {
    Result::Ok(cfg) => cfg,
    Result::Err(err) => return Result::Err(err.msg),
};
let section = ifo_cfg.section(None).unwrap();

但它给出了编译错误:

无法推断出足够的类型信息_; 需要输入注释或通用参数绑定[E0282]

我可以像这样解决它:

let none: Option<String> = None;
let section = ifo_cfg.section(none).unwrap();

如何在没有附加线的情况下解决这个问题none？

Answer 1

您可以使用以下命令为此T类型指定类型:Option<T>None

let section = ifo_cfg.section(None::<String>).unwrap();
//                                ^^^^^^^^^^ forces the type to be Option<String>

或者,您可以指定S方法的类型section:

let section = ifo_cfg.section::<String>(None).unwrap();
//                           ^^^^^^^^^^ forces S = String

您也可以查看E0282的说明,虽然它目前可能没有真正回答您的问题:)

语法::<T,U,V>有时称为turbofish.一些非常通用的方法,像String::parse()和Iterator::collect()几乎可以返回任何东西,类型推断没有足够的信息来查找实际类型.在::<T,U,V>允许人告诉一下泛型参数应该被替换的编译器.来自parse()参考:

因为它parse()是如此通用,它可能导致类型推断的问题.因此,parse()是几次你会看到亲切地称为"turbofish"语法之一:::<>.这有助于推理算法明确了解您尝试解析的类型.