Eigenschappen en eigenschapsgrenzen

Eigenschappen definiëren het gedrag dat een bepaald type vertoont en kan delen met andere typen. We kunnen eigenschappen gebruiken om een ​​reeks methoden te definiëren die een bepaalde gemeenschappelijke functionaliteit of interface vertegenwoordigen, vergelijkbaar met interfaces in andere programmeertalen.

Met Trait-grenzen kunnen we specificeren dat een generiek type een specifieke eigenschap moet implementeren, zodat de vereiste methoden tijdens het compileren beschikbaar zijn.

Een eigenschap definiëren en implementeren

Om een ​​eigenschap te definiëren, gebruiken we het trefwoord trait, gevolgd door de handtekeningen van de methoden die implementatietypen moeten definiëren:

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

Om een ​​eigenschap op een betontype te implementeren, gebruiken we de syntaxis impl TraitName for TypeName:

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

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

Eigenschapsgrenzen

Bij het schrijven van generieke functies kunnen we de typeparameters beperken om ervoor te zorgen dat ze een specifieke eigenschap implementeren. De standaardsyntaxis is <T: Trait>:

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

Als alternatief kunnen we voor complexere handtekeningen de where clausule gebruiken:

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

Probeer het zelf

Oefening 1: De samenvattende eigenschap

Oefening 2: Eigenschapsgrenzen met print_summary

Oefening 3: Oppervlakteberekening met behulp van eigenschappen