Rust cancella i tipi generici o no?

Question

Esiste un tipo di cancellazione di generici in Rust (come in Java) o no? Non riesco a trovare una risposta definitiva.

Answer 1

Quando si utilizza una funzione generica o un tipo generico, il compilatore genera un'istanza separata per ciascun set distinto di parametri di tipo (credo che i parametri di durata siano ignorati, in quanto non hanno alcuna influenza sul codice generato). Questo processo si chiama monomorfizzazione. Ad esempio, Vec<i32> e Vec<String> sono diversi tipi, e quindi Vec<i32>::len() e Vec<String>::len() sono diverse funzioni. Questo è necessario, perché Vec<i32> e Vec<String> hanno diversi layout di memoria e quindi hanno bisogno di un codice macchina diverso! Pertanto, no, non è presente alcun tipo di cancellazione.

Se usiamo Any::get_type_id() (instabile per ora, quindi deve essere compilato con un compilatore notturno), come il seguente esempio:

#![feature(get_type_id)] 

use std::any::Any; 

fn main() { 
    let v1: Vec<i32> = Vec::new(); 
    let v2: Vec<String> = Vec::new(); 

    let a1 = &v1 as &Any; 
    let a2 = &v2 as &Any; 

    println!("{:?}", a1.get_type_id()); 
    println!("{:?}", a2.get_type_id()); 
} 

otteniamo ID di tipo diverso per due istanze di Vec. Questo supporta il fatto che Vec<i32> e Vec<String> sono tipi distinti.

Tuttavia, le capacità di riflessione in Rust sono limitate; Any è praticamente tutto quello che abbiamo per ora. Non è possibile ottenere ulteriori informazioni sul tipo di un valore di runtime, come il suo nome oi suoi membri. Per poter lavorare con Any, devi eseguirlo (usando Any::downcast_ref() o Any::downcast_mut() per un tipo noto al momento della compilazione.