Rust中HashMap用StrRef作键时的生命周期编译错误问题

核心原因 #

为什么&str可行？ #

标准库为&str实现了Borrow<str> trait，而HashMap的get_key_value方法接受满足Q: Borrow<K>的类型。当HashMap的键是&'a str时，传入的临时&str（生命周期'b < 'a）可以通过Borrow<str>和键的&'a str匹配——两者都能借用到底层str完成哈希与相等性检查，编译器无需将参数生命周期强制绑定到'a。

为什么自定义StrRef不行？ #

你的StrRef<'a>默认仅实现了同生命周期的PartialEq和Hash，且未实现Borrow相关trait。此时HashMap<StrRef<'a>, _>的get_key_value会要求参数必须能Borrow<StrRef<'a>>，即参数得是&StrRef<'a>，但你传入的是生命周期更短的&StrRef<'b>，编译器因此报错要求参数生命周期为'a。

解决方案 #

为StrRef实现Borrow<str> trait，让它能像&str一样支持任意生命周期的字符串引用查找，既保留自定义包装类型，又满足临时字符串的查找需求。

修改后的完整代码：

use std::borrow::Borrow;
use std::collections::HashMap;

#[derive(Clone, Hash, PartialEq, Eq)]
struct StrRef<'a> {
    value: &'a str,
}

// 实现Borrow<str>，让StrRef可以被当成str借用
impl<'a> Borrow<str> for StrRef<'a> {
    fn borrow(&self) -> &str {
        self.value
    }
}

struct ReturnType<'a> {
    key: StrRef<'a>,
    value: &'a str
}

struct App<'a> {
    map: HashMap<StrRef<'a>, &'a str>,
}

impl<'a> App<'a> {
    // 现在可以接受任意生命周期的&str作为查找参数，和原有用法一致
    pub fn lookup_value(&self, key: &str) -> Option<ReturnType<'a>> {
        self.map.get_key_value(key).map(|(k, v)| ReturnType { key: k.clone(), value: v })
    }
}

fn lookup<'a> (app: &'a App) -> Option<ReturnType<'a>> {
    let key = String::from("te");
    // 直接传递&str即可，无需手动构造StrRef
    app.lookup_value(&key)
}

fn main() {
    let root = "testing";

    let app = App {
        map: HashMap::from([(StrRef { value: &root[0..2] }, root)]),
    };

    lookup(&app);
}

如果坚持要传入StrRef而非&str，可以为StrRef实现跨生命周期的相等性检查（不过更推荐上面的Borrow方案，符合Rust设计习惯）：

// 为不同生命周期的StrRef实现PartialEq
impl<'a, 'b> PartialEq<StrRef<'b>> for StrRef<'a> {
    fn eq(&self, other: &StrRef<'b>) -> bool {
        self.value == other.value
    }
}

// Eq是PartialEq的标记trait，直接实现
impl<'a> Eq for StrRef<'a> {}

// 修改lookup_value参数为任意生命周期的StrRef引用
impl<'a> App<'a> {
    pub fn lookup_value<'b>(&self, key: &StrRef<'b>) -> Option<ReturnType<'a>> {
        self.map.get_key_value(key).map(|(k, v)| ReturnType { key: k.clone(), value: v })
    }
}

补充说明 #

Rust的HashMap查找逻辑依赖Borrow trait实现"用类似类型查找"的能力，标准库多数类型都实现了该trait（比如String实现Borrow<str>）。自定义类型时，只要实现对应Borrow，就能复用这种灵活的查找机制。

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