Temel referans alanlarının yaşam sürelerini mi geçmek istiyorsunuz?

Question

Temel veri kümesinde çalışan iki yapı yapmaya çalışıyorum; biri değişmez "okuma" işlemleri sağlayan, diğeri değiştirmeye izin veren. Bunun çalışması için, okuma işlevlerini değiştirme nesnesinin içinden kullanabilmem gerekir. Bu nedenle, altta yatan verilere yönelik bir görünümle değiştirici işlevinde geçici bir yeni okuma nesnesi oluşturuyorum. İşte

bazı kod: Bu derleme değil

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()); 
} 

- oldukça Write daha benim en iyi çabalarına rağmen, Read::get döndü referans ömrü Write::get 'in kapsamına bağlı olduğu görünüyor 'db kullanım ömrü. Derlemeyi nasıl yapabilirim? (Ve bunu yapmak istediğim şey nedir? Bunu yapmanın en basit/en özlü yolu mu?)

Answer 1

Derleyicinin karşılaşmaya çalıştığı nokta, &'db self'un aslında self: &'db Write<'db> anlamına gelir. Bu, referansı VE türünü aynı kullanım ömrüne bağlamanız anlamına gelir. Durumunda aslında ne istiyorsun self: &'a Write<'db>'a sadece as_read işlevi için yaşıyor.referansını birreferansından alabilmek için, 'un en az'u 'a: 'db'u kısıtlayarak geçtiği belirtmeniz gerekir.

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() } 

veya daha fazla öz

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