Categoria
Articoli tecnici organizzati per gruppo funzionale.
Un trait non può essere utilizzato come trait object dinamico ('Box<dyn Trait>') se include metodi che restituiscono 'Self', richiedono 'Self: Sized' o contengono parametri generici sui metodi.
L'errore E0061 compare quando una chiamata a funzione o metodo riceve un numero di parametri differente da quello definito nella sua firma.
L'istanziazione di una struttura o struct letterale omette uno o più campi obbligatori senza utilizzare la sintassi di aggiornamento '..Default::default()'.
Una struttura contiene se stessa direttamente per valore ('struct Node { next: Option<Node> }') rendendo impossibile calcolarne la dimensione a tempo di compilazione; richiede un'indirezione puntatore ('Option<Box<Node>>').
L'istanziazione di un tipo generico o l'invocazione con la sintassi turbofish ('foo::<A, B>()') fornisce un numero di tipi di parametro diverso da quello dichiarato.
Rust vieta di implementare un trait esterno (es. 'Display') su un tipo esterno (es. 'Vec<T>'); almeno uno dei due elementi deve essere stato definito nel crate locale corrente per prevenire conflitti globali di coerenza.
Rust vieta implementazioni sovrapposte dello stesso trait per un tipo; compare spesso quando si tenta di implementare 'From<T>' per un tipo che ha già un'implementazione 'impl<T> From<T> for T' riflessiva nella standard library.
Nelle firme di funzioni, costanti o definizioni di struct pubbliche, Rust impone la specificazione esplicita e completa dei tipi di ritorno e parametri: l'uso del segnaposto '_' è consentito solo all'interno del corpo delle funzioni per l'inferenza locale.