समानता के लिए दो विकल्पों का परीक्षण करने का सबसे बेवकूफ तरीका क्या है जब वे मूल्यों को समानता के लिए परीक्षण किया जा सकता है?

Question

मेरे पास दो प्रकार हैं जिनका समानता के लिए परीक्षण किया जा सकता है। हालांकि, एक बार जब मैं उन्हें Option एस में लपेटता हूं, तो विभिन्न PartialEq कार्यान्वयन द्वारा प्रदान की गई निस्संदेह खिड़की से बाहर निकलती है। मुझे map का उपयोग करना होगा या अन्यथा उन्हें परिवर्तित करना होगा।

उदाहरण के लिए, के &str और String का उपयोग करते हैं:

fn main() { 
    let a = "hello"; 
    let b = "hello".to_owned(); 

    assert_eq!(a, b); // Just fine 

    let a = Some(a); 
    let b = Some(b); 

    // error: mismatched types 
    assert_eq!(a, b); 

    // error: mismatched types 
    assert_eq!(a, b.as_ref()); 

    // works, but highly tied to strings or slices, 
    // requires me to remember which is which 
    assert_eq!(a, b.map(|x| &x[..])); 
} 

वहाँ

निश्चित रूप से यह करने के लिए एक सरल या सीधी-सपाट तरीका होना चाहिए?

साइड-प्रश्न - PartialEq को थोड़ा अधिक व्यापक रूप से कार्यान्वित करने से क्या रोकता है? मैं समेकन का अनुमान लगा रहा हूं, मेरा पुराना दासता।

impl<T, U> PartialEq<Option<U>> for Option<T> 
where 
    T: PartialEq<U>, 

RFCs और जंग मुद्दों (1, 2) में इस बारे में कुछ बकवास नहीं है।

Answer 1

ऐसा करने के लिए तकनीकी कारण प्रतीत नहीं होता है, ऐसा लगता है कि यह केवल कार्यान्वयन कार्य करने का मामला है।