【发布时间】:2015-07-01 23:34:41
【问题描述】:
我有一个程序,它围绕一个共享数据结构,提出对数据的更改,然后在稍后阶段应用这些更改。这些提议的更改包含对核心对象的引用。
在 C++ 或其他语言中,我只需将引用设为非常量,然后在需要时对其进行变异。但是 Rust 不能很好地使用这种方法。 (我今天早些时候在 IRC 中问过这个问题,但遗憾的是我仍然卡住了。)
为了提供帮助,我制作了一个在剧院预订门票的提炼示例,其中剧院是数据结构,预订是提议的更改,如果我能弄清楚如何获得它,run 方法将应用它们上班!
首先,定义一些数据结构。剧院有很多排,每排有很多座位:
use std::sync::{Arc, RwLock};
use std::thread;
struct Theatre { rows: Vec<Row> }
struct Row { seats: Vec<Seat> }
struct Seat {
number: i32,
booked: bool,
}
impl Seat {
fn new(number: i32) -> Seat {
Seat { number: number, booked: false }
}
fn book(&mut self) {
self.booked = true;
}
}
在这里,get_booking 方法搜索座位,返回一个 Booking 并引用它找到的座位。
impl Theatre {
fn get_booking<'t>(&'t self, number: i32) -> Option<Booking<'t>> {
for row in self.rows.iter() {
for seat in row.seats.iter() {
if seat.number == number && seat.booked == false {
return Some(Booking { seats: vec![ seat ] })
}
}
}
None
}
}
但这就是我卡住的地方。 run 方法具有对整个剧院的可变访问(从其参数),并且它知道要改变哪个座位(self)。但是由于self 是不可变的,即使包含它的剧院是,它也不能被改变。
struct Booking<'t> {
seats: Vec<&'t Seat>
}
impl<'t> Booking<'t> {
fn describe(&self) {
let seats: Vec<_> = self.seats.iter().map(|s| s.number).collect();
println!("You want to book seats: {:?}", seats);
}
fn run(&self, _theatre: &mut Theatre) {
let mut seat = ??????;
seat.book();
}
}
最后,一个主要的方法,如果它工作的话会使用它。
fn main() {
// Build a theatre (with only one seat... small theatre)
let theatre = Theatre { rows: vec![ Row { seats: vec![ Seat::new(7) ] } ] };
let wrapper = Arc::new(RwLock::new(theatre));
// Try to book a seat in another thread
let thread = thread::spawn(move || {
let desired_seat_number = 7;
let t = wrapper.read().unwrap();
let booking = t.get_booking(desired_seat_number).expect("No such seat!");
booking.describe();
let mut tt = wrapper.write().unwrap();
booking.run(&mut tt); // this is never actually reached because we still have the read lock
});
thread.join().unwrap();
}
令人讨厌的是,我确切地知道为什么我当前的代码不起作用 - 我只是不知道 Rust 想要我的程序如何格式化。有些事情我不想想做:
- 最简单的解决方案是让
Booking为其座位保留索引,而不是引用:在这种情况下,使用row和seatusize字段。但是,尽管我的剧院使用 O(1) 向量,但我还想在大树中间引用一个值,而必须迭代才能找到该值会更昂贵。这也意味着您无法在不经过整个剧院的情况下获得座位号(在describe函数中)。 - 也可以通过让
Booking持有对座位的可变引用来解决,然后我可以像往常一样对其进行变异。但是,这意味着我一次只能有一个提议的更改:例如,我不能有一个预订列表并同时应用它们,或者有两个预订并且只应用一个。
我觉得我非常接近拥有 Rust 可以接受的东西,但不太清楚如何构建我的程序来适应它。那么,任何指针? (双关语)
【问题讨论】: