अंतर्निहित संदर्भ फ़ील्ड के जीवनकाल पर गुजर रहा है?

Question

मैं दो structs बनाने की कोशिश कर रहा हूं जो अंतर्निहित डेटासेट पर काम करते हैं; एक अपरिवर्तनीय "पढ़ा" संचालन प्रदान करता है, दूसरा संशोधन की अनुमति देता है। इसके लिए काम करने के लिए, मुझे संशोधित ऑब्जेक्ट के भीतर से पढ़ने के कार्यों का उपयोग करने में सक्षम होना चाहिए - जैसे कि मैं अंतर्निहित डेटा पर एक दृश्य के साथ संशोधक फ़ंक्शन के भीतर एक अस्थायी नई रीड ऑब्जेक्ट बनाता हूं।

यहाँ कुछ कोड है:

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

यह संकलन नहीं करता है - ऐसा लगता है के बजाय Write कि मेरे सबसे अच्छे प्रयासों के बावजूद, संदर्भ Read::get से लौटे के जीवनकाल Write::get की गुंजाइश के लिए बाध्य है 'db आजीवन। मैं इसे संकलित कैसे कर सकता हूं? (और, क्या मैं संभव करना चाहता हूं? क्या यह करने का सबसे सरल/सबसे संक्षिप्त तरीका है?)

Answer 1

जिस बिंदु पर संकलक पार करने की कोशिश कर रहा है वह यह है कि &'db self वास्तव में self: &'db Write<'db> है। इसका मतलब है कि आप संदर्भ और प्रकार को उसी जीवनकाल में बांधते हैं। आप वास्तव में अपने मामले में क्या चाहते हैं self: &'a Write<'db> जहां 'a केवल as_read फ़ंक्शन के लिए रहता है। 'db को '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() } 

या अधिक concisely

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