主页 / coding / 问题 / 79016010
Accepted
BallpointBen
Asked: 2024-09-24 03:21:22 +0800 CST

使用 `&str` 索引 `HashMap<&String, V>`

  • 772

HashMap<&String, V>使用索引的正确方法是什么&str？Rust 报告&String不是Borrow<str>，这是索引所必需的。（这对我来说似乎有点傻；如果T: Borrow<U>那么肯定&T: Borrow<U>也应该成立？）

use std::collections::HashMap;

fn main() {
    let strings = vec!["x".to_owned(), "y".to_owned(), "z".to_owned()];
    let m = [0, 1, 2]
        .into_iter()
        .map(|i| (&strings[i], i))
        .collect::<HashMap<&String, usize>>();
    let zero = m["x"];
}

error[E0277]: the trait bound `&String: Borrow<str>` is not satisfied
 --> src/main.rs:9:18
  |
9 |     let zero = m["x"];
  |                  ^^^ the trait `Borrow<str>` is not implemented for `&String`, which is required by `HashMap<&String, usize>: Index<&_>`
  |
  = help: the trait `Borrow<str>` is implemented for `String`
  = help: for that trait implementation, expected `String`, found `&String`
  = note: required for `HashMap<&String, usize>` to implement `Index<&str>`

显然，因为我构建了这个特定的 HashMap，所以我可以返回并将其键类型更改为&str。但是，假设我得到了一个HashMap<&String, V>，那么对其进行索引的正确方法是什么？构建一个整体String只是为了引用它似乎很浪费。

rust

2 个回答

  1. Best Answer

    如果您愿意涉足不安全的水域，那么就有一种方法可以解决这个问题。

    此解决方案利用了这样一个事实：如果您有一个S标记的结构#[repr(transparent)]并且包含单个类型的字段T，则可以安全地从 转换为&'a T。(这就是为什么您可以从 a借用 a，即使实际上不存在。)&'b S'a: 'b&PathPathBufPath

    因此，让我们构建一个可以借鉴的新类型String，并为其取一个积极的名字。

    #[derive(Hash, PartialEq, Eq)]
#[repr(transparent)]
struct StrRef(str);

    这个定义允许我们安全地从 转换为&str，&StrRef因此我们将在实现中包装这段不安全的代码From：

    impl<'a> From<&'a str> for &'a StrRef {
    fn from(value: &'a str) -> &'a StrRef {
        // SAFETY: StrRef is repr(transparent) and contains only a str.
        unsafe { &*(value as *const str as *const StrRef) }
    }
}

    现在我们可以Borrow<StrRef>对任何能够获得 的类型进行实现&str。

    // Not actually needed, just for example.
impl Borrow<StrRef> for String {
    fn borrow(&self) -> &StrRef {
        self.as_str().into()
    }
}

// This is the impl you need in this case.
impl Borrow<StrRef> for &String {
    fn borrow(&self) -> &StrRef {
        self.as_str().into()
    }
}

    最后，这使我们能够编写以下函数，该函数实现了使用 从地图中获取&str而不将其转换为 owned的目标String：

    fn get_from_map<'a, T>(map: &'a HashMap<&String, T>, key: &str) -> Option<&'a T> {
    map.get(<&StrRef>::from(key))
}

    （游乐场）

    显然，如果您可以将地图的键类型更改为，&str那么您应该更喜欢这样，但如果您无法控制地图的来源，那么这是一个可行的解决方法（希望在您的程序内非常有限的范围内）。

    • 6 
  2. impl<U, T: Borrow<U>> Borrow<U> for &T {

    与现有

    impl<T> Borrow<T> for T {

    所以无法添加。

    操场

    当你掌控一切时，你不应该&String一开始就使用 作为键。首选方法是使用&str，它可以轻松地从 中创建&String，这样就不会出现问题，而且更通用。

    当您无法控制时，创建索引String是唯一安全的选择。

    • 5

相关问题