單型化

Rust 在編譯時進行單型化 (Monomorphization)，根據不同呼叫者，將泛型程式碼轉換成實際型別的程式碼：

fn main() {
    let integer = Some(5);
    let float = Some(5.0);
}

以上程式碼等同於下方的程式碼

enum Option_i32 {
    Some(i32),
    None,
}

enum Option_f64 {
    Some(f64),
    None,
}

fn main() {
    let integer = Option_i32::Some(5);
    let float = Option_f64::Some(5.0);
}

這是一種零成本抽象：單型化的結果，等同於不使用抽象化並手動寫出資料結構的實際型別。