string - 为什么 Option.as_ref() 不取消对 Option<&str> 的引用？

Question

我希望这两个代码示例的结果相同:

let maybe_string = Some(String::from("foo"));
let string = if let Some(ref value) = maybe_string { value } else { "none" };

let maybe_string = Some(String::from("foo"));
let string = maybe_string.as_ref().unwrap_or("none");

第二个示例给我一个错误:

error[E0308]: mismatched types
 --> src/main.rs:3:50
  |
3 |     let string = maybe_string.as_ref().unwrap_or("none");
  |                                                  ^^^^^^ expected struct `std::string::String`, found str
  |
  = note: expected type `&std::string::String`
             found type `&'static str`

Answer 1

因为这就是 Option::as_ref 定义:

impl<T> Option<T> {
    fn as_ref(&self) -> Option<&T>
}

既然你有一个 Option<String> ，那么结果类型必须是Option<&String> .

相反，您可以添加 String::as_str :

maybe_string.as_ref().map(String::as_str).unwrap_or("none");

或者更短的:

maybe_string.as_ref().map_or("none", String::as_str);

从 Rust 1.40 开始，您还可以使用 Option::as_deref .

maybe_string.as_deref().unwrap_or("none");

另见:

• Converting from Option<String> to Option<&str>