使用lazy_static可变变量的生命周期问题

Question

我lazy_static用来留HashMap在记忆中.有两种方法,我添加和获取元素,但我有一些生命周期的问题.

这是我的代码:

#[macro_use]
extern crate lazy_static;

use std::sync::Mutex;
use std::collections::HashMap;

lazy_static! {
    static ref HASHMAP: Mutex<HashMap<String, Foo>> = Mutex::new({
        let mut m = HashMap::new();
        m.insert("one".to_string(), Foo{param1:"foo1".to_string(),    param2:"foo2".to_string()} );
        m.insert("two".to_string(), Foo{param1:"bar1".to_string(), param2:"bar2".to_string()});
        m
    });
}

pub struct Foo{
    param1: String,
    param2: String,
}

pub fn ins_val(name: String, f: Foo){
    HASHMAP.lock().unwrap().insert(name, f);
}

pub fn get_val(k: &str) -> Option<&Foo>{
    HASHMAP.lock().unwrap().get(k)
}

这是错误:

HASHMAP.lock().unwrap().get(k) 
^^^^^^^^^^^^^^^^^^^^^^^
reference must be valid for the anonymous lifetime #1 defined on the block

Answer 1

Rust正确地防止了这里的错误.

你的get_val函数试图返回一个引用HASHMAP,但除非你继续持有锁,否则这是不安全的,因为否则其他人可能来修改你脚下的地图.

您需要保持锁定,直到返回值(通过返回互斥锁以及值;例如使用MutexGuardRef来自owning_ref包),或复制值而不是返回引用:

pub fn get_val(k: &str) -> Option<Foo> {
    HASHMAP.lock().unwrap().get(k).cloned()
}

有了这个实现Foo,当然需要实现Clone.