Rust中HashMap.get()匹配时Some(x)与Some(&x)搭配as_ref()的区别

基础概念铺垫 #

HashMap<K, V>的get()方法固定返回Option<&V>类型：找到对应key时返回值的不可变引用，找不到返回None。
Option的as_ref()方法作用是将Option<T>转换为Option<&T>，也就是给内部的T再套一层引用。

两种基础写法的区别 #

写法1：if let Some(x) = hashmap.get(key) #

因为get()返回Option<&V>，模式匹配后x的类型直接是&V，也就是HashMap内部存储值的不可变引用，无冗余操作，是常规的取值引用写法。

写法2：if let Some(&x) = hashmap.get(key).as_ref() #

1. 先调用get()拿到Option<&V>
2. 调用as_ref()后会把Option<&V>转换为Option<&&V>（相当于给原本的引用又套了一层引用）
3. 模式匹配时的&x会解掉外层的那层额外引用，最终x的类型还是&V，和写法1的结果完全等价，但多了一步无意义的转换，没有必要这么写。

三个示例中变量x的差异 #

先明确公共逻辑：你的代码里嵌套HashMap的get(&SomeEnum::Two)调用，最终返回的都是Option<&SomeStruct>类型，三种写法的差异只在后续处理：

• 第一个示例：if let Some(x) = hm.get(&SomeEnum::One)?.get(&SomeEnum::Two)
  直接匹配Option<&SomeStruct>，x的类型是&SomeStruct，就是你需要的内部结构体的不可变引用，是最简洁的正确写法。
  注：这里用?的逻辑是如果第一层找不到SomeEnum::One就直接返回None，和另外两个用unwrap()找不到就panic的逻辑不同，属于业务逻辑差异，不影响x的类型。
• 第二个示例：if let Some(x) = hm.get(&SomeEnum::One).unwrap().get(&SomeEnum::Two).as_ref()
  对Option<&SomeStruct>调用as_ref()后得到Option<&&SomeStruct>，匹配后x的类型是&&SomeStruct，是双重引用。大部分场景下Rust会自动做Deref强制转换，使用体验和&SomeStruct差别不大，但本质类型不同。
• 第三个示例：if let Some(&x) = hm.get(&SomeEnum::One).unwrap().get(&SomeEnum::Two).as_ref()
  对Option<&&SomeStruct>用&x模式匹配，解掉了外层额外的引用，最终x的类型和第一个示例完全一致，是&SomeStruct，但中间的as_ref()属于多余操作。

内容的提问来源于stack exchange，提问作者unegare