Supertrait

Supertrait ile bir trait'e başka trait sınırı koyarsın.

Supertrait

Bir trait başka bir trait'e bağımlı olabilir: trait A: B, "A'yı uygulayan her tür B'yi de uygulamalıdır" demektir. A'nın varsayılan metotları B'nin metotlarını kullanabilir:

use std::fmt::Display;

trait Raporlanir: Display {
    fn rapor(&self) -> String {
        format!("[rapor] {self}")      // Display sayesinde
    }
}

struct Sicaklik(f64);
impl Display for Sicaklik {
    fn fmt(&self, f: &mut std::fmt::Formatter) -> std::fmt::Result {
        write!(f, "{}°C", self.0)
    }
}
impl Raporlanir for Sicaklik {}

Bu kalıtım değildir: üst trait'in uygulaması ayrıca yazılır, yalnızca varlığı zorunlu kılınır.

Neden yararlı?

Üst trait'ler, bir trait'in ihtiyaç duyduğu yetenekleri tek yerde toplar. Örneğin std::error::Error: Debug + Display'dir; her hata türü otomatik olarak yazdırılabilir. Eq: PartialEq, Ord: Eq + PartialOrd, Copy: Clone standart kütüphanedeki diğer örneklerdir.

fn hepsini_raporla(v: &[&dyn Raporlanir]) {
    for x in v {
        println!("{}", x.rapor());   // Display'e de erişim var
    }
}

Uygulama Raporlanabilir sıcaklık

Yukarıdaki Raporlanir trait'ini ve Sicaklik türünü (Display: {}°C) yaz. Sicaklik(21.5).rapor() sonucunu yazdır.

Örnek çözümü göster

use std::fmt::{self, Display};

trait Raporlanir: Display {
    fn rapor(&self) -> String {
        format!("[rapor] {self}")
    }
}

struct Sicaklik(f64);

impl Display for Sicaklik {
    fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
        write!(f, "{}°C", self.0)
    }
}

impl Raporlanir for Sicaklik {}

fn main() {
    println!("{}", Sicaklik(21.5).rapor());
}

Kendini test et

Display uygulamayan bir türe <code>impl Raporlanir for X {}</code> yazılırsa ne olur?
- E0277: X Display uygulamıyor
- Display otomatik üretilir
- Çalışır
- Uyarı
Cevabı göster

E0277: X Display uygulamıyor — Üst trait sınırı, alt trait uygulamasının ön koşuludur.

Üst trait

trait Raporlanir____ {
    fn rapor(&self) -> String {
        format!("[rapor] {self}")
    }
}

Cevabı göster

trait Raporlanir: Display {
    fn rapor(&self) -> String {
        format!("[rapor] {self}")
    }
}

Trait ve üst trait'i

Error

Debug + Display
Eq

PartialEq
Copy

Clone
Ord

Eq + PartialOrd

Sıradaki ders: Newtype pattern

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler