Posso prendere in prestito un puntatore a un tratto condiviso in Rust?

Question

Dal tutorial on borrowed pointers (rotto), un po 'modificato:

struct Point {x: float, y: float} 

fn compute(p1 : &Point) {} 

fn main() { 
    let shared_box : @Point = @Point {x: 5.0, y: 1.0}; 
    compute(shared_box); 
} 

E tutto va bene, perché la casella condiviso è preso in prestito automaticamente per la funzione.

Ma fare la stessa cosa con un tratto:

struct Point {x: float, y: float} 
trait TPoint {} 

impl TPoint for Point {} 

fn compute(p1 : &TPoint) {} 

fn main() { 
    let shared_box : @TPoint = @Point {x: 5.0, y: 1.0} as @TPoint; 

    compute(shared_box); 
    //  ^~~~~~~ The error is here 
} 

E non riesce, (compilatore versione 0.6) dicendo:

error: mismatched types: expected &TPoint but found @TPoint (trait storage differs: expected & but found @)

Si tratta di un bug nel compilatore? Oppure i puntatori presi in prestito non sono consentiti per i tratti?

Se la risposta è il secondo, perché?

Answer 1

Si tratta di un bug noto nella versione corrente di Rust:

#3794: Casting to a trait doesn't auto-coerce to a &T type

C'è stato un certo lavoro per cercare di affrontare questo problema, ma ci sono alcuni dettagli tecnici che devono essere risolti; le parti interessate possono vedere alcune delle discussioni (da alcuni mesi fa) here on pull request 4178.