Przechodzenie na okresy życia leżących u podstaw pól odniesienia?

Question

Próbuję utworzyć dwie struktury działające na bazowym zbiorze danych; jeden zapewnia niezmienne operacje "odczytu", drugi umożliwia modyfikację. Aby to działało, muszę mieć możliwość korzystania z funkcji odczytu z obiektu modyfikującego - jako taki utworzę tymczasowy nowy obiekt do odczytu w funkcji modyfikatora z widokiem na dane bazowe.

Oto niektóre kodu:

struct Read<'db> { 
    x: &'db i32 
} 

impl<'db> Read<'db> { 
    pub fn get(&'db self) -> &'db i32 { self.x } 
} 

struct Write<'db> { 
    x: &'db mut i32 
} 

impl<'db> Write<'db> { 
    fn new(x: &mut i32) -> Write { Write{x: x} } 

    fn as_read(&'db self) -> Read<'db> { 
     Read{x: self.x} 
    } 

    pub fn get(&'db self) -> &'db i32 { self.as_read().get() } 
}  


fn main() { 
    let mut x = 69i32; 
    let y = Write::new(&mut x); 
    println!("{}", y.get()); 
} 

To nie kompiluje - wydaje się, że mimo moich starań, okres odniesienia wrócił z Read::get jest zobowiązany do ZAKRES Write::get „s, zamiast Write Czas życia: 'db. Jak mogę go skompilować? (I, czy to jest to, co chcę zrobić? Czy jest to najprostszy/najbardziej zwięzły sposób na zrobienie tego?)

Answer 1

Punkt, który kompilator próbuje pokonać, oznacza, że ​​&'db self w rzeczywistości oznacza self: &'db Write<'db>. Oznacza to, że wiążesz referencję I typ z tym samym okresem życia. To, czego naprawdę chcesz w twoim przypadku to self: &'a Write<'db>, gdzie 'a żyje tylko dla funkcji as_read. Aby móc zwracać odwołanie 'db z odwołania 'a, należy określić, że 'a żyje co najmniej tak długo, jak 'db przez ograniczenie 'a: 'db.

fn as_read<'a: 'db>(self: &'a Write<'db>) -> Read<'db> { 
    Read{x: self.x} 
} 

pub fn get<'a: 'db>(self: &'a Write<'db>) -> &'db i32 { self.as_read().get() } 

lub bardziej zwięźle

fn as_read<'a: 'db>(&'a self) -> Read<'db> { 
    Read{x: self.x} 
} 

pub fn get<'a: 'db>(&'a self) -> &'db i32 { self.as_read().get() } 

Try it out in the Playground