क्यों है? कुछ रेफसेल कार्यों के लिए बाध्य आकार, लेकिन सभी नहीं?

Question

मैंने देखा है कि ?Sized, कुछ कार्यों (borrow, borrow_state, और borrow_mut) के लिए प्रकार पैरामीटर T पर एक बाध्य है, हालांकि, यह है नहींnew या into_inner के लिए एक समयबद्ध। यदि मैं RefCell नहीं बना सकता जो गतिशील रूप से आकार (RefCell<T : ?Sized>) है, तो ऐसे कार्यों में कितना अच्छा काम हो सकता है?

Answer 1

वह समर्थन added in a commit that also added tests था। हम यह देखने के लिए कि यह कैसे उपयोग होने की उम्मीद थी उन परीक्षण देख सकते हैं:

use std::cell::RefCell; 

#[test] 
fn refcell_unsized() { 
    let cell: &RefCell<[i32]> = &RefCell::new([1, 2, 3]); 
    { 
     let b = &mut *cell.borrow_mut(); 
     b[0] = 4; 
     b[2] = 5; 
    } 
    let comp: &mut [i32] = &mut [4, 2, 5]; 
    assert_eq!(&*cell.borrow(), comp); 
} 

तुम हमेशा के रूप में संकलक स्थान की मात्रा ढेर पर आवंटित करने के लिए पता करने की जरूरत है एक Sized बाध्य के साथ एक निर्माता की आवश्यकता है। एक बार आपके पास हो जाने के बाद, आप गतिशील रूप से आकार के लिए मजबूर कर सकते हैं।