Cechy i ograniczenia (Traits / Trait Bounds)

Traity definiują zachowanie, które posiada konkretny typ i które może być współdzielone z innymi typami. Możemy używać traitów do zdefiniowania zestawu metod reprezentujących określoną wspólną funkcjonalność lub interfejs, podobnie jak interfejsy w innych językach programowania.

Trait bounds (ograniczenia traitu) pozwalają określić, że typ ogólny (generyczny) musi implementować dany trait, gwarantując, że wymagane metody będą dostępne w czasie kompilacji.

Definiowanie i implementowanie traitu

Aby zdefiniować trait, używamy słowa kluczowego trait wraz z sygnaturami metod, które typy muszą zaimplementować:

pub trait Summary {
    fn summarize(&self) -> String;
}

Aby zaimplementować trait dla konkretnego typu, używamy składni impl TraitName for TypeName:

pub struct NewsArticle {
    pub headline: String,
    pub content: String,
}

impl Summary for NewsArticle {
    fn summarize(&self) -> String {
        format!("{}", self.headline)
    }
}

Trait Bounds (Ograniczenia Traitu)

Kiedy piszemy funkcje generyczne, możemy ograniczyć parametry typu, aby upewnić się, że implementują one określony trait. Standardowa składnia to <T: Trait>:

pub fn notify<T: Summary>(item: &T) {
    println!("Notifica: {}", item.summarize());
}

Alternatywnie, dla bardziej skomplikowanych sygnatur, możemy użyć klauzuli where:

pub fn notify_advanced<T>(item: &T)
where
    T: Summary
{
    println!("Notifica: {}", item.summarize());
}

Spróbuj sam

Ćwiczenie 1: Trait Summary

Ćwiczenie 2: Trait Bounds z print_summary

Ćwiczenie 3: Obliczanie pola powierzchni za pomocą Traitu