können nicht verschachtelte zwingen, so bemessen, dass unsized Typ mit CoerceUnsized

Question

Ich versuche, die Funktionalität von CoerceUnsized zu verwenden:

use std::rc::Rc; 
use std::borrow::Borrow; 

fn main() { 
    // Create (sized) i32 wrapped in an rc. 
    let a0: Rc<i32> = Rc::new(0i32); 
    // Coerce to (unsized) Borrow<i32> wrapped in an rc. 
    // Works fine in Beta and Nightly cause of CoerceUnsized. 
    let a1: Rc<Borrow<i32>> = a0.clone(); 

    // Create (sized) i32 in nested rcs. 
    let b0: Rc<Rc<i32>> = Rc::new(Rc::new(0i32)); 
    // Coerce to (unsized) Borrow<i32> in nested rcs. 
    // Does not compile in Stable, Beta or Nightly. 
    let b1: Rc<Rc<Borrow<i32>>> = b0.clone(); 

    println!("{}, {}", a1.borrow(), b1.borrow()); 
} 

Playground

Aber die verschachtelte coerce von Rc<Rc<i32>> zu Rc<Rc<Borrow<i32>>> nicht kompilieren.

Warum funktioniert CoerceUnsized nicht rekursiv? Gibt es Workarounds, wie explizites Casting?

Answer 1

eine Rc<i32> zu Rc<Borrow<i32>> Konvertierung erfordert nichts weiter als neben dem Rc einen VTable-Zeiger hinzugefügt, und es wirkt sich nicht auf die von der Rc verwalteten Speicher. Auf der anderen Seite würde das Umwandeln von Rc<Rc<i32>> zu Rc<Rc<Borrow<i32>> bedeuten, dass der VTable-Zeiger neben dem inneren Rc verdeckt wird. Dies würde das Modifizieren (und Vergrößern) des Speichers erfordern, der von dem äußeren Rc verwaltet wird (d. H. Es würde effektiv eine ganz neue Zuweisung erfordern). Sie könnten dies manuell tun, aber es ist weit über den Rahmen eines Zwanges hinaus.