Cevap.

Yönlendirme, çağırılacak belirli bir fonksiyonun (metodun) seçilmesi mekanizmasıdır. Rust, iki yaklaşım sunar: statik ve dinamik yönlendirme.

Konu Geçmişi:

OOP dillerinde dinamik metod çağrısı için genellikle vtable (sanallaştırma tablosu) kullanılır. Rust'ta benzeri, belirli trait'leri uygulayan tür nesnelerine referans olan trait object için gerçekleştirilmiştir. Statik yönlendirme, generic'ler ve trait bounds kullanıldığında ortaya çıkar.

Sorun:

Çoğu zaman, farklı türlerden nesnelerle tek bir arayüz üzerinden çalışma esnekliği ve (statik yönlendirme metodları inline yapmaya izin verir) performans arasında seçim yapmak zorunda kalırsınız. Yanlış seçim, ya aşırı karmaşık generic'lere ya da performans kaybına yol açar.

Çözüm:

Statik yönlendirme, generic parametreler aracılığıyla elde edilir: bu durumda, derleyici her tür için ayrı bir kod üretir. Dinamik yönlendirme ise, fonksiyon &dyn Trait veya Box<dyn Trait> türünde bir argüman aldığında, Rust methodu çağırırken klasik OOP dillerinde olduğu gibi adrese göre vtable'a bakar.

Kod örneği:

trait Shape {
    fn area(&self) -> f64;
}

impl Shape for Circle {
    fn area(&self) -> f64 { 3.1415 * self.radius * self.radius }
}

fn print_area(shape: &dyn Shape) { // dinamik yönlendirme
    println!("alan = {}", shape.area());
}

// Ya statik olarak:
fn print_area_static<S: Shape>(shape: &S) {
    println!("alan = {}", shape.area());
}

Anahtar noktalar:

dyn Trait vtable kullanır (dinamik yönlendirme)
generic'ler derleme aşamasında çağrılır (statik yönlendirme)
Hız ve esneklik açısından farklı tradeoff'larla çalışırlar.

Kandırma Soruları.

Box<dyn Sized> yapabilir miyiz?

Hayır. dyn Trait tanımı gereği – unsized'dır, her zaman Box, Arc veya referansların kullanılmasını gerektirir, ancak "Box<dyn Sized>" – bu anlama gelmez. Sized trait'i trait nesnelerine sahip değildir.

Generic metodları olan traitler için dyn Trait izinli mi?

Hayır. Generic metodları olan object-safe traitler yapmak mümkün değildir (karıştırmayı severler!), composite türler object-safe değildir:

trait MyTrait { fn foo<T>(&self, x: T); }
let x: &dyn MyTrait = ... // Derleme hatası!

Self-değerlerine sahip bir trait için dyn Trait yapabilir miyiz?

Yapılamaz, eğer metod Self döndürüyorsa (birçok kişi bu nüansı anlamaz: object safety, imza içinde Self olmamasını gerektirir; self yalnızca argümanlarda olabilir, ancak dönen değerlerde olamaz).

Tipik Hatalar ve Antipatternlar

Statik yönlendirme için uygun olan yerlerde dyn Trait kullanımı kötüye kullanımı
dyn Trait ile generic metodları veya Associated Types kullanma girişimleri (derleyici yasaklayacaktır)
"ince" alanlarda (sık sık çağrılar) gizli performans sızıntıları

Gerçek Hayat Örneği

Olumsuz Durum

Her yerde, genellikle generic'lerle üstesinden gelebilecekken, arayüzlerin evrenselliği için dyn Trait kullanıldı.

Artılar:

Esneklik, yeniden derleme olmadan arayüzü kolayca genişletme

Eksiler:

Metod çağrılarında %15-30’a kadar performans kaybı, inline yapamama

Olumlu Durum

Statik yönlendirme iç mantıkta kullanıldı, ve dyn Trait — yalnızca modül sınırlarında kullanıldı.