问题描述
我正在使用crossbeam-epoch
在rust中编写无锁数据结构。 crossbeam-epoch
使用guard
加载堆分配的原子指针。数据结构的接口的一个示例是:
fn get(&self,index: IndexType,guard: &'guard Guard) -> Option<&'guard Value>
此方法要求guard
的生存期与返回值的引用相同。
现在,我想在不提供Guard
的情况下包装此方法。例如:
struct ReturnType<'guard,Value> {
guard: Guard,value: Option<&'guard Value>
}
impl<'guard,Value> MyDataStructure<Value> {
fn my_get(&self,index: IndexType) -> ReturnType<'guard,Value> {
let guard = pin();
let value = self.get(index,&guard);
ReturnType {
guard: guard,value: value
}
}
}
但是编译器不允许我这样做。
我的问题是如何实现方法my_get
?
解决方法
这个问题需要改进。您应该始终添加一个minimal reproducable example,并且您也没有显示出编译器错误是什么。
无论如何,在您的代码中,您只是忘记指定生命周期应该链接到的内容。如果警卫至少活到self
,那么您应该使用以下方法声明您的方法:
fn my_get<'guard>(&'guard self,index: IndexType) -> ReturnType<'guard,Value> {
&'guard self
告诉编译器将'guard
链接到self
。
如果后卫的寿命比结构长,那么您必须移动Value
,或者如果您想共享引用,请使用Arc<Value>
(Documentation)