Rust HashMap：为什么我需要双“＆”号？

Question

我在参考锈方面遇到了麻烦。我有以下无法编译的代码：

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));到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意味着两次对变量进行解引用以获取基础值。但是我无法完全想象相反的情况-您如何两次“引用”整数文字？

Answer 1

如果你看的签名insert和get你会发现，他们处理不同的事情。

从开始HashMap<K, V>：

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

如您所见，insert需要所有权，处理值，而get需要并返回引用。

因此，如果您insert &1愿意的话，您将get Some(&&1)返回：参考的另一层。

那么，问题是：为什么没有错误.get(&0)：它是否缺乏参考水平？

好吧，我欺骗并简化了get的签名，确切的签名是：

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

事实证明，它是&T实现的Borrow<T>，因此您可以调用get with &Kfor &&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和找出的类型V，实际上将为&{integer}，因为您传递&0给的insert是按值和键值。

至于寿命问题：

1. 并非所有检查都通过一次通过。特别是，通常在类型检查之后进行借用/寿命检查。
2. 文字有'static寿命的，就像"Hello"有&'static str型。

编译器会自动在程序中的某个位置保留用于文字的内存，并将在必要时“借用”它们。这意味着创建对文字整数的引用非常好：&0i32具有type &'static i32。