许多库允许您定义实现给定trait
的类型,以用作回调处理程序。这要求您将处理事件所需的所有数据合并到一个数据类型中,这会使借用变得复杂。
例如,mio
允许您在运行EventLoop
时实现Handler
并提供您的结构。考虑一个具有这些简化数据类型的示例:
struct A {
pub b: Option<B>
};
struct B;
struct MyHandlerType {
pub map: BTreeMap<Token, A>,
pub pool: Pool<B>
}
处理程序有一个从Token
到A
类型项的映射。每个类型为A
的项可能有也可能没有一个类型为B
的关联值。在处理程序中,您希望查找给定Token
的A
值,如果它还没有B
值,则从处理程序的Pool<B>
中获取一个CC_9值。
impl Handler for MyHandlerType {
fn ready(&mut self, event_loop: &mut EventLoop<MyHandlerType>,
token: Token, events: EventSet) {
let a : &mut A = self.map.get_mut(token).unwrap();
let b : B = a.b.take().or_else(|| self.pool.new()).unwrap();
// Continue working with `a` and `b`
// ...
}
}
在这种安排中,尽管可以直观地看到self.map
和self.pool
是不同的实体,但是当我们去访问self.pool
时,借用检查器抱怨self
已经被借用了(通过self.map
)。
一个可能的方法是将MyHandlerType
中的每个字段包装在Option<>
中。然后,在方法调用开始时,从self
中取出这些值,并在调用结束时恢复它们:
struct MyHandlerType {
// Wrap these fields in `Option`
pub map: Option<BTreeMap<Token, A>>,
pub pool: Option<Pool<B>>
}
// ...
fn ready(&mut self, event_loop: &mut EventLoop<MyHandlerType>,
token: Token, events: EventSet) {
// Move these values out of `self`
let map = self.map.take().unwrap();
let pool = self.pool.take().unwrap();
let a : &mut A = self.map.get_mut(token).unwrap();
let b : B = a.b.take().or_else(|| self.pool.new()).unwrap();
// Continue working with `a` and `b`
// ...
// Restore these values to `self`
self.map = Some(map);
self.pool = Some(pool);
}
这个可以工作,但是感觉有点笨重。它还介绍了每次方法调用在self
中移入和移出值的开销。
最好的方法是什么?
要同时获得对结构体不同部分的可变引用,请使用解构。例子。
struct Pair {
x: Vec<u32>,
y: Vec<u32>,
}
impl Pair {
fn test(&mut self) -> usize {
let Pair{ ref mut x, ref mut y } = *self;
// Both references coexist now
return x.len() + y.len();
}
}
fn main() {
let mut nums = Pair {
x: vec![1, 2, 3],
y: vec![4, 5, 6, 7],
};
println!("{}", nums.test());
}