При разработке частного проекта я столкнулся с жизненной проблемой, связанной с заимствованием одного и того же объекта над несколькими структурами и характеристиками. Это набор урезанных определений, которые я использовал:
trait WorkspaceLog {
fn get(&self) -> usize;
}
struct TheLog<'a>(&'a FilesystemOverlay);
impl<'a> WorkspaceLog for TheLog<'a> {
fn get(&self) -> usize {
(self.0).0
}
}
trait WorkspaceController<'a> {
type Log: WorkspaceLog;
fn get_log(&'a self) -> Self::Log;
}
struct FilesystemOverlay(usize);
struct FSWorkspaceController<'a>(&'a mut FilesystemOverlay);
impl<'a> WorkspaceController<'a> for FSWorkspaceController<'a> {
type Log = TheLog<'a>;
fn get_log(&'a self) -> Self::Log {
TheLog(&*self.0)
}
}
trait AsWorkspaceController<'a> {
type Controller: WorkspaceController<'a>;
fn get_controller(self) -> Self::Controller;
}
impl<'a> AsWorkspaceController<'a> for &'a mut FilesystemOverlay {
type Controller = FSWorkspaceController<'a>;
fn get_controller(self) -> FSWorkspaceController<'a> {
FSWorkspaceController(self)
}
}
Все идет нормально. Это в основном позволяет мне заимствовать mut ref для FilesystemOverlay в качестве другого интерфейса, обеспечивая дополнительную функциональность. Этот интерфейс, в свою очередь, позволяет мне по существу заимствовать то же самое, что и еще один элемент, который предоставляет окончательные данные. Это работает до тех пор, пока я напрямую использую FilesystemOverlay:
fn init1(control_dir: &mut FilesystemOverlay) -> usize {
let controller = control_dir.get_controller();
let log = controller.get_log();
log.get()
}
Однако, если я заменю конкретную ссылку параметром типа, компиляция завершится ошибкой, сообщив мне, что контроллер не живет достаточно долго, поскольку он по непонятным мне причинам считает, что get_log заимствует контроллер за пределами конца функции и таким образом, дольше, чем требует логика программы:
fn init2<'a: 'b, 'b, O>(control_dir: O) -> usize
where O: AsWorkspaceController<'b>+'a {
let controller = control_dir.get_controller();
let log = controller.get_log();
log.get()
}
fn main() {
let mut control_dir = FilesystemOverlay(5);
dbg!(init1(&mut control_dir));
dbg!(init2(&mut control_dir));
}
Я пробовал несколько подходов, но пока не смог определить правильную сигнатуру init2. Это ошибка, которую я получаю:
error[E0597]: `controller` does not live long enough
--> test.rs:53:15
|
53 | let log = controller.get_log();
| ^^^^^^^^^^ borrowed value does not live long enough
54 | log.get()
55 | }
| - borrowed value only lives until here
|
note: borrowed value must be valid for the lifetime 'b as defined on the function body at 50:18...
--> test.rs:50:18
|
50 | fn init2<'a: 'b, 'b, O>(control_dir: O) -> usize
| ^^
error: aborting due to previous error
For more information about this error, try `rustc --explain E0597`.
Это полный код ржавой площадки.
Итак, как мне изменить подпись init2, чтобы компилятор понимал, что контроллер может быть удален после вызова log.get ()? Нужны ли мне и другие изменения в перечисленных выше типах?
Изменить: я провел несколько дополнительных экспериментов и это лучшее, что мне удалось создать. У этого есть два времени жизни и подпись с поздним связыванием, но она по-прежнему выдает предупреждение о UB. Кто-нибудь понимает почему?
