Özet - Zero-cost abstraction

Monomorphization, fusion ve inline'ı birleştirerek bir performans karşılaştırması yazarsın.

Sıfır maliyet özeti

Yineleyiciler, closure'lar ve generic'ler release derlemede elle yazılmış koda dönüşür. Monomorfizasyon hızlıdır ama kod şişirir; iç fonksiyon deseni ya da dyn bunu azaltır. Bağdaştırıcı zincirleri tek bir döngüye kaynaşır; ortadaki gereksiz collect bunu bozar. #[inline], #[cold] ipuçlarıdır. Sınır denetimleri yineleyici, zip ve öne alınmış assert ile kalkar. Her iddia ölçülmeli: criterion, godbolt, profil.

İki çağrı biçimi

Aynı closure iki yolla verilebilir:

fn uygula_generic<F: Fn(i32) -> i32>(f: F, n: i32) -> i32 {
    f(n)     // F her closure için ayrı derlenir, satır içi alınır
}

fn uygula_dyn(f: &dyn Fn(i32) -> i32, n: i32) -> i32 {
    f(n)     // tek kopya, vtable üzerinden çağrı
}

Uygulama İki çağrı

Yukarıdaki uygula_generic ve uygula_dyn fonksiyonlarını yaz. |x| x + 1 closure'ını 41 ile ikisine de ver ve sonuçları boşlukla yazdır.

Örnek çözümü göster

fn uygula_generic<F: Fn(i32) -> i32>(f: F, n: i32) -> i32 {
    f(n)
}

fn uygula_dyn(f: &dyn Fn(i32) -> i32, n: i32) -> i32 {
    f(n)
}

fn main() {
    let artir = |x| x + 1;
    println!("{} {}", uygula_generic(artir, 41), uygula_dyn(&artir, 41));
}

Kendini test et

Generic closure parametresi ile <code>&dyn Fn</code> arasındaki temel fark nedir?
- Fark yok
- dyn daha hızlıdır
- Generic heap ayırır
- Generic satır içi alınır; dyn bir vtable çağrısıdır ama tek kopya derlenir
Cevabı göster

Generic satır içi alınır; dyn bir vtable çağrısıdır ama tek kopya derlenir — Sıcak döngüde generic, nadir çağrılan geri çağırmalarda dyn genellikle iyi bir seçimdir.

Dinamik closure

fn uygula_dyn(f: &____ Fn(i32) -> i32, n: i32) -> i32 {
    f(n)
}

Cevabı göster

fn uygula_dyn(f: &dyn Fn(i32) -> i32, n: i32) -> i32 {
    f(n)
}

Grubun özeti

Yineleyici

Döngüyle aynı kod
Monomorfizasyon

Kod şişmesi
#[cold]

Nadir yol
zip

Denetimsiz eşleme

Sıradaki ders: std::simd

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler