Perché Rust inserisce a :: before i parametri in generici a volte?

Question

Quando si dichiara una variabile di tipo vettoriale o di una mappa hash a Rust, che facciamo:

let v: Vec<int> 
let m: HashMap<int, int> 

per istanziare, abbiamo bisogno di chiamare new(). Tuttavia, lo facciamo così:

Vec::<int>::new() 
    ^^ 
HashMap::<int, int>::new() 
     ^^ 

nota l'improvvisa comparsa di ::. Venendo dal C++, questi sono strani. Perché si verificano? Avere un :: leader è più semplice da analizzare rispetto a IDENTIFIER < IDENTIFIER, che potrebbe essere interpretato come un'operazione inferiore? (E quindi, questa è semplicemente una cosa per rendere più semplice l'analisi del linguaggio? Ma se sì, perché non farlo anche durante le specifiche del tipo, in modo da avere i due specchi?)

(Come osserva Shepmaster, spesso Vec::new() è sufficiente, il tipo può essere spesso dedotto.)

Answer 1

Durante l'analisi di un'espressione, sarebbe ambiguo se un < fosse l'inizio di un elenco di parametri di tipo o un operatore di minore di. Ruggine assume sempre quest'ultimo e richiede ::< per gli elenchi dei parametri di tipo.

Quando si analizza un tipo, è sempre univocamente un elenco di parametri di tipo, pertanto ::< non è mai necessario.

In C++ questa ambiguità viene mantenuta nel parser, il che rende l'analisi di C++ molto più difficile di analizzare Rust. Vedi here per una spiegazione del perché questo è importante.

In ogni caso, più del tempo in Rust, i tipi possono essere dedotti e si può semplicemente scrivere Vec::new(). Poiché il numero ::< di solito non è necessario ed è abbastanza brutto, è opportuno mantenere solo < in tipi, anziché far coincidere le due sintassi.

Answer 2

Le due diverse sintassi non necessariamente specificano necessariamente gli stessi parametri di tipo.

In questo esempio:

let mut map: HashMap<K, V>; 

K e V riempire i parametri di tipo della dichiarazione struct HashMap, il tipo stesso.

In questa espressione:

HashMap::<K, V>::new() 

K e Vriempire i parametri di tipo del blocco impl cui è definito il metodo new! Il blocco impl non deve avere gli stessi parametri di tipo uguale o predefinito del tipo stesso.

In questo caso particolare, la struttura ha i parametri HashMap<K, V, S = RandomState> (3 parametri, 1 predefinito). E il blocco impl contenente ::new() ha parametri impl<K, V> (2 parametri, non implementati per stati arbitrari).