Özet - Trait sınırları

Trait bound ve where'i birleştirerek bir generic maksimum fonksiyonu yazarsın.

Trait sınırları özeti

Trait sınırı generic bir türün davranışını belirler: <T: Display>, birden çok sınır +, uzun sınırlar where. Parametrede impl Trait generic'in kısa yazımıdır; dönüşte adı gizli tek bir türü ifade eder. dyn Trait çalışma anı dağıtımıdır, farklı türleri aynı koleksiyonda tutar ve işaretçi arkasında kullanılır. Varsayılan seçim generic'tir; karışık koleksiyon ya da eklenti yapısı gerektiğinde dyn.

En büyük alanı bulmak

Trait nesneleri üzerinde yineleyici yöntemleri de kullanılabilir. f64 Ord olmadığı için max yerine fold ile en büyük bulunur:

fn en_buyuk_alan(v: &[Box<dyn Sekil>]) -> f64 {
    v.iter().map(|s| s.alan()).fold(0.0, f64::max)
}

f64::max, iki argüman alan bir fonksiyon olarak doğrudan fold'a verilebilir.

Uygulama En büyük alan

Önceki dersteki Sekil, Kare ve Daire tanımlarıyla fn en_buyuk_alan(v: &[Box<dyn Sekil>]) -> f64 yaz. Kare(2.0), Kare(3.0) ve Daire(1.0) içeren liste için sonucu {:.2} ile yazdır.

Örnek çözümü göster

trait Sekil {
    fn alan(&self) -> f64;
    fn ad(&self) -> String;
}

struct Kare(f64);
struct Daire(f64);

impl Sekil for Kare {
    fn alan(&self) -> f64 {
        self.0 * self.0
    }
    fn ad(&self) -> String {
        String::from("kare")
    }
}

impl Sekil for Daire {
    fn alan(&self) -> f64 {
        std::f64::consts::PI * self.0 * self.0
    }
    fn ad(&self) -> String {
        String::from("daire")
    }
}

fn en_buyuk_alan(v: &[Box<dyn Sekil>]) -> f64 {
    v.iter().map(|s| s.alan()).fold(0.0, f64::max)
}

fn main() {
    let v: Vec<Box<dyn Sekil>> = vec![Box::new(Kare(2.0)), Box::new(Kare(3.0)), Box::new(Daire(1.0))];
    println!("{:.2}", en_buyuk_alan(&v));
}

Kendini test et

<code>&[Box<dyn Sekil>]</code> alan bir fonksiyona <code>Vec<Box<dyn Sekil>></code> nasıl verilir?
- &v ile
- v ile
- v.into()
- Verilemez
Cevabı göster

&v ile — &Vec<T>, &[T]'ye otomatik dönüşür (deref coercion).

Katlayarak en büyük

v.iter().map(|s| s.alan()).____(0.0, f64::max)

Cevabı göster

v.iter().map(|s| s.alan()).fold(0.0, f64::max)

Grubun özeti

<T: A + B>

Çoklu sınır
where

Okunur sınırlar
-> impl Trait

Gizli tek tür
Box<dyn Trait>

Dinamik dağıtım

Sıradaki ders: Crate iskeleti

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler