具有借用特征的反向通用约束

Question

我是 rust 新手，我刚刚了解了 Borrow 特征。
据我了解，Borrow 特征暴露了一个函数borrow，它的工作原理就像借用（即&），但你也可以在通用约束中使用它（你不能用正常的借用语法来做） .

我有这个功能

pub fn get<Q>(&self, key: &Q) -> Option<&V>
    where K: Borrow<Q>,
          Q: Hash + Eq + ?Sized
{
    let bucket = self.bucket_key(key);
    self.buckets[bucket].iter().find(|&(ref ekey, _)| ekey.borrow() == key).map(|&(_, ref v)| v)
}

（我在 YouTube 上观看了 Jon Gjengset 的视频）

对我来说奇怪的是，我们将结构上定义的K 类型限制为像Borrow<Q> 一样工作。

所以我想知道这个约束究竟对K 和Q 说了什么。
这是否意味着我们将K 约束为像Borrow<Q> 一样，或者K 在这里固定（因为它已经在结构上定义）并且我们正在约束Q（在幕后Rust将其转换为 Q: Unborrow<K> 之类的东西或类似的东西）。

我希望我说得通。我通常使用 C#，这样的东西没有意义。

Answer 1

我假设您指的是HashMap::get。

不要想太多。 Rust trait 系统基本上是一种逻辑，trait bound 就像逻辑约束；这里的类型签名说：

• Q 必须是 Hash、Eq 和 ?Sized
• K 必须能够以Q 借用

实际上是为了方便：

use std::collections::HashMap;

fn main() {
    let mut map = HashMap::new();
    map.insert(String::from("a"), 1u32);
    map.insert(String::from("b"), 2);

    assert_eq!(map.get("a"), Some(&1));
}

这里的map 变量是HashMap<String, u32> 类型。如果不是Borrow，你就得写：

map.get(&String::from("a"))

但由于String 可以借用为str 和"a" 是&'static str 类型，你可以写：

map.get("a")

The trait Borrow documentation 有更详细的解释。