Perché è stato dimensionato un limite per alcune funzioni RefCell, ma non tutte?

Question

ho notato che ?Sized è un limite al parametro di tipo T per alcune funzioni (borrow, borrow_state e borrow_mut), tuttavia, è non un balzo per new o into_inner. Se non riesco a creare un RefCell contenente qualcosa di dimensioni dinamiche (RefCell<T : ?Sized>), allora a che serve avere funzioni che possano funzionare su una cosa del genere?

Answer 1

Tale supporto era added in a commit that also added tests. Siamo in grado di guardare a quei test per vedere come ci si aspettava di essere utilizzato:

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

è sempre necessario avere un costruttore con una Sized vincolati come il compilatore ha bisogno di conoscere la quantità di spazio per allocare sullo stack. Una volta che hai, puoi quindi costringere a un tipo di dimensioni dinamiche.