从 HashMap 获取值时为什么需要双 & 符号？

我在 Rust 中的引用方面遇到了一些麻烦。我有以下无法编译的代码：

use std::collections::HashMap;

fn main() {
    let mut map = HashMap::new();

    map.insert(&0, &0);
    map.insert(&1, &1);

    assert_eq!(map.get(&0), Some(&0));
}

我得到的编译错误是：

error[E0308]: mismatched types
 --> rust_doubt.rs:9:5
  |
9 |     assert_eq!(map.get(&0), Some(&0));
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected &{integer}, found integral variable
  |
  = note: expected type `std::option::Option<&&{integer}>`
             found type `std::option::Option<&{integer}>`
  = note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)

error: aborting due to previous error

果然，如果我改变线路：

assert_eq!(map.get(&0), Some(&0)); to assert_eq!(map.get(&0), Some(&&0));（双＆符号）代码编译

问题：

1. map.insert(&0, &0)将指向两个整数文字的指针插入到映射中。我不确定这怎么可能，因为我没有在任何地方使用过变量。我如何才能引用文字？我期待编译器让我这样做：

let a = 0;
let b = 0
map.insert(&a, &b);

换句话说，什么是&0甚至意味着？它是否为文字分配内存并返回对其的引用？如果是这样，那么我假设没有两个是正确的&0s 会指向相同的内存吗？

2. 为什么我必须做Some(&&0)而不是仅仅Some(&0)？什么是&&0甚至意味着？我明白那个**ptr意味着取消引用一个变量两次以获得底层值。但我无法完全想象相反的情况 - 你怎么能“引用”一个整数文字两次？

如果你看一下签名insert and get你会意识到他们处理事情的方式不同。

从一个开始HashMap<K, V>:

• fn insert(&mut self, k: K, v: V) -> Option<V>.
• fn get(&self, k: &K) -> Option<&V>（简化）。

如你看到的，insert takes 所有权, 处理values, while get接受并返回一个参考.

因此，如果您insert &1, you get Some(&&1)背面：多一层参考。

那么问题是为什么没有错误.get(&0): 是不是缺乏参考性？

好吧，我作弊并简化了 get 的签名，确切的签名 https://doc.rust-lang.org/std/collections/struct.HashMap.html#method.get is:

pub fn get<Q: ?Sized>(&self, k: &Q) -> Option<&V> where
    K: Borrow<Q>,
    Q: Hash + Eq, 

事实证明&T实施Borrow<T>，这样你就可以调用 get 了&K for &&K.

如果你设法让编译器为你提供类型HashMap，这更容易一些：

assert_eq!(map, ());

结果是：

error[E0308]: mismatched types
 --> src/main.rs:9:5
  |
9 |     assert_eq!(map, ());
  |     ^^^^^^^^^^^^^^^^^^^^ expected struct `std::collections::HashMap`, found ()
  |
  = note: expected type `std::collections::HashMap<&{integer}, &{integer}>`
             found type `()`
  = note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)

它显示了编译器计算出的类型K and V，而且确实会是&{integer}，既然你通过了&0 to insert它按值获取键和值。

至于寿命问题：

1. 并非所有检查都是一次性完成的。特别是，通常会进行借用/终身检查after类型检查。
2. 文字有'static一生，就像"Hello"有&'static str type.

编译器会自动在程序中的某个位置为文字保留内存，并根据需要“借用”它们。这意味着创建对文字整数的引用是完全可以的：&0i32有类型&'static i32.