Rust中定义对象的静态常量HashMap及类型错误解决

关于'_的含义 #

'_是Rust中的匿名生命周期，是编译器自动推导生命周期时使用的占位符。它代表编译器暂时无法明确写出的具体生命周期，会根据上下文自动推断。你遇到的Vec<&Book<'_>>，说明代码中收集的是Book的引用，且引用的生命周期是编译器自动推断的临时生命周期，但这个推断出的生命周期和你预期的'static不匹配，导致类型错误。

解决方法 #

先看常见的错误代码示例（方便定位问题）：

use lazy_static::lazy_static;
use std::collections::HashMap;

#[derive(Debug)]
struct Book<'a> {
    name: &'a str,
    author: &'a str,
}

static ALL_BOOKS: [Book<'static>; 3] = [
    Book { name: "Rust编程", author: "Steve Klabnik" },
    Book { name: "Rust编程", author: "Carol Nichols" },
    Book { name: "深入浅出Rust", author: "范长春" },
];

// 错误写法：类型不匹配
lazy_static! {
    static ref BOOK_MAP: HashMap<String, Vec<Book<'static>>> = {
        let mut map = HashMap::new();
        for book in &ALL_BOOKS {
            map.entry(book.name.to_string())
               .or_default()
               .push(book); // 此处push的是&Book<'static>，但Vec需要Book<'static>
        }
        map
    };
}

针对这个问题，有两种可行的解决方式：

方式1：修改目标HashMap的类型为引用类型 #

因为ALL_BOOKS是静态常量，它的生命周期是'static，直接存储它的引用既符合生命周期要求，又不需要额外的内存拷贝，性能更优：

lazy_static! {
    static ref BOOK_MAP: HashMap<String, Vec<&'static Book<'static>>> = {
        let mut map = HashMap::new();
        for book in &ALL_BOOKS {
            map.entry(book.name.to_string())
               .or_default()
               .push(book); // 此处的book是&'static Book<'static>，与目标类型匹配
        }
        map
    };
}

方式2：实现Clone trait并克隆Book实例 #

如果确实需要存储Book的所有权而非引用，可以给Book派生Clone trait，然后在插入时克隆实例：

#[derive(Debug, Clone)] // 添加Clone派生
struct Book<'a> {
    name: &'a str,
    author: &'a str,
}

lazy_static! {
    static ref BOOK_MAP: HashMap<String, Vec<Book<'static>>> = {
        let mut map = HashMap::new();
        for book in &ALL_BOOKS {
            map.entry(book.name.to_string())
               .or_default()
               .push(book.clone()); // 克隆得到Book<'static>实例，匹配目标类型
        }
        map
    };
}

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