תכונות וגבולות תכונה

תכונות מגדירות את ההתנהגות שיש לטיפוס מסוים ויכול לחלוק עם טיפוסים אחרים. אנו יכולים להשתמש בתכונות כדי להגדיר קבוצה של שיטות המייצגות פונקציונליות או ממשק משותף מסוים, בדומה לממשקים בשפות תכנות אחרות.

גבולות תכונה מאפשרים לנו לציין שסוג גנרי חייב ליישם תכונה ספציפית, כדי להבטיח שהשיטות הנדרשות זמינות בזמן ההידור.

הגדרה ויישום של תכונה

כדי להגדיר תכונה, אנו משתמשים במילת המפתח trait ואחריה בחתימות השיטות שהטמעת טיפוסים חייבת להגדיר:

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

כדי ליישם תכונה על סוג קונקרטי, אנו משתמשים בתחביר impl TraitName for TypeName:

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

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

גבולות תכונה

בעת כתיבת פונקציות כלליות, אנו יכולים להגביל את פרמטרי הסוג כדי להבטיח שהם מיישמים תכונה ספציפית. התחביר הסטנדרטי הוא <T: Trait>:

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

לחלופין, עבור חתימות מורכבות יותר, אנו יכולים להשתמש בסעיף where:

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

נסה זאת בעצמך

תרגיל 1: תכונת הסיכום

תרגיל 2: גבולות תכונה עם print_summary

תרגיל 3: חישוב שטח באמצעות תכונות