返回对惰性静态 RwLock<Option> 中 T 的引用<T>?



我有一个惰性的静态结构,我希望能够在程序执行开始时将其设置为某个随机值,然后再进行。这个愚蠢的小片段可以作为一个例子:

use lazy_static::lazy_static;
use std::sync::RwLock;
struct Answer(i8);
lazy_static! {
static ref ANSWER: RwLock<Option<Answer>> = RwLock::new(None);
}
fn answer_question() {
*ANSWER.write().unwrap() = Some(Answer(42));
}
fn what_is_the_answer() -> &'static Answer {
ANSWER
.read()
.unwrap()
.as_ref()
.unwrap()
}

此代码编译失败:

error[E0515]: cannot return value referencing temporary value
--> src/lib.rs:15:5
|
15 |        ANSWER
|   _____^
|  |_____|
| ||
16 | ||         .read()
17 | ||         .unwrap()
| ||_________________- temporary value created here
18 | |          .as_ref()
19 | |          .unwrap()
| |__________________^ returns a value referencing data owned by the current function

我知道您不能返回对临时值的引用。但是我想返回对静态ANSWER的引用 - 与临时完全相反!我想问题出RwLockReadGuard,第一次调用unwrap返回是什么?

我可以通过更改返回类型来获取要编译的代码:

fn what_is_the_answer() -> RwLockReadGuard<'static, Option<Answer>> {
ANSWER
.read()
.unwrap()
}

但是现在调用代码变得非常不符合人体工程学 - 我必须做两次额外的调用才能获得实际值:

what_is_the_answer().as_ref().unwrap()

我可以以某种方式从此函数返回对静态ANSWER的引用吗?我可以通过以某种方式映射让它返回RwLockReadGuard<&Answer>吗?

once_cell

就是为此而设计的:在answer_question中使用.set(...).unwrap(),在what_is_the_answer中使用.get().unwrap()

据我了解您的意图,Answer的值无法在lazy_static中初始化时计算,而是取决于仅在调用answer_question时已知的参数。以下内容可能不是最优雅的解决方案,但它允许对依赖于仅在运行时已知的参数的值进行&'static引用。

基本方法是使用两个lazy_static值,其中一个充当"代理"来执行必要的同步,另一个是值本身。这避免了在访问ANSWER时访问多层锁和解开Option值的包装。

ANSWER-value 是通过等待一个CondVar来初始化的,这将在计算完值时发出信号。然后将该值放置在lazy_static中,从那时起就无法移动。因此,&'static是可能的(见get_the_answer())。我选择了String作为示例类型。请注意,在不调用generate_the_answer()的情况下访问ANSWER将导致初始化永远等待,从而使程序死锁。

use std::{sync, thread};
lazy_static::lazy_static! {
// A proxy to synchronize when the value is generated
static ref ANSWER_PROXY: (sync::Mutex<Option<String>>, sync::Condvar) = {
(sync::Mutex::new(None), sync::Condvar::new())
};
// The actual value, which is initialized from the proxy and stays in place
// forever, hence allowing &'static access
static ref ANSWER: String = {
let (lock, cvar) = &*ANSWER_PROXY;
let mut answer = lock.lock().unwrap();
loop {
// As long as the proxy is None, the answer has not been generated
match answer.take() {
None => answer = cvar.wait(answer).unwrap(),
Some(answer) => return answer,
}
}
};
}
// Generate the answer and place it in the proxy. The `param` is just here
// to demonstrate we can move owned values into the proxy
fn generate_the_answer(param: String) {
// We don't need a thread here, yet we can
thread::spawn(move || {
println!("Generating the answer...");
let mut s = String::from("Hello, ");
s.push_str(&param);
thread::sleep(std::time::Duration::from_secs(1));
let (lock, cvar) = &*ANSWER_PROXY;
*lock.lock().unwrap() = Some(s);
cvar.notify_one();
println!("Answer generated.");
});
}
// Nothing to see here, except that we have a &'static reference to the answer
fn get_the_answer() -> &'static str {
println!("Asking for the answer...");
&ANSWER
}
fn main() {
println!("Hello, world!");
// Accessing `ANSWER` without generating it will deadlock!
//get_the_answer();
generate_the_answer(String::from("John!"));
println!("The answer is "{}"", get_the_answer());
// The second time a value is generated, noone is listening.
// This is the flipside of `ANSWER` being a &'static
generate_the_answer(String::from("Peter!"));
println!("The answer is still "{}"", get_the_answer());
}

相关内容

  • 没有找到相关文章

最新更新