Generic fonksiyon

<T> ile generic fonksiyon yazmayı öğrenirsin.

Generic fonksiyon

Generic'ler, aynı kodu farklı türlerle çalıştırmayı sağlar. Tür parametresi açılı parantezde tanımlanır ve trait sınırlarıyla ne yapılabileceği söylenir:

fn en_buyuk<T: PartialOrd + Copy>(v: &[T]) -> T {
    let mut eb = v[0];
    for &x in v {
        if x > eb {
            eb = x;
        }
    }
    eb
}

PartialOrd olmadan > kullanılamaz; Copy olmadan v[0] dilimden dışarı kopyalanamaz.

Monomorfizasyon

Derleyici, generic fonksiyonu kullanıldığı her somut tür için ayrı ayrı üretir. en_buyuk(&[1, 2]) ve en_buyuk(&['a', 'b']) çağrıları iki ayrı makine kodu oluşturur:

// derleyicinin ürettiği (kavramsal olarak)
fn en_buyuk_i32(v: &[i32]) -> i32 { .. }
fn en_buyuk_char(v: &[char]) -> char { .. }

Bu yüzden generic'lerin çalışma anı maliyeti yoktur; bedeli biraz daha uzun derleme süresi ve daha büyük ikili dosyadır.

Uygulama En büyüğü bul

Yukarıdaki en_buyuk<T: PartialOrd + Copy> fonksiyonunu yaz. [3, 9, 2], ['a', 'z', 'm'] ve [1.5, 2.5, 0.5] için sonuçları boşlukla tek satırda yazdır.

Örnek çözümü göster

fn en_buyuk<T: PartialOrd + Copy>(v: &[T]) -> T {
    let mut eb = v[0];
    for &x in v {
        if x > eb {
            eb = x;
        }
    }
    eb
}

fn main() {
    println!("{} {} {}", en_buyuk(&[3, 9, 2]), en_buyuk(&['a', 'z', 'm']), en_buyuk(&[1.5, 2.5, 0.5]));
}

Kendini test et

<code>fn f<T>(a: T, b: T) -> T { a + b }</code> neden derlenmez?
- Derlenir
- T için toplama tanımlı olduğu bilinmiyor; T: std::ops::Add<Output = T> gerekir
- Generic fonksiyon değer döndüremez
- İki parametre aynı türde olamaz
Cevabı göster

T için toplama tanımlı olduğu bilinmiyor; T: std::ops::Add<Output = T> gerekir — Generic koddaki her işlem bir trait sınırıyla güvenceye alınmalıdır; derleyici T hakkında başka bir şey varsaymaz.

Tür parametresi

fn en_buyuk____(v: &[T]) -> T {
    // ...
}

Cevabı göster

fn en_buyuk<T: PartialOrd + Copy>(v: &[T]) -> T {
    // ...
}

Çağrı ve T

en_buyuk(&[3, 9, 2])

i32
en_buyuk(&['a', 'z'])

char
en_buyuk(&[1.5, 2.5])

f64
en_buyuk(&[1u8, 7])

u8

Sıradaki ders: Generic struct

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler