خصلتیں اور خاصیت کی حدیں

خصائص اس رویے کی وضاحت کرتے ہیں جو کسی خاص قسم کے پاس ہے اور وہ دوسری اقسام کے ساتھ شیئر کر سکتی ہے۔ ہم ان طریقوں کے ایک سیٹ کی وضاحت کرنے کے لیے خصلتوں کا استعمال کر سکتے ہیں جو کسی خاص عام فعالیت یا انٹرفیس کی نمائندگی کرتے ہیں، جو کہ دوسری پروگرامنگ زبانوں کے انٹرفیس کی طرح ہے۔

خاصیت کی حد ہمیں یہ بتانے کی اجازت دیتی ہے کہ ایک عام قسم کو ایک خاص خاصیت کو نافذ کرنا چاہیے، اس بات کو یقینی بناتے ہوئے کہ مرتب کرنے کے وقت مطلوبہ طریقے دستیاب ہوں۔

ایک خاصیت کی تعریف اور نفاذ

کسی خاصیت کی وضاحت کرنے کے لیے، ہم 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: پرنٹ_سمری کے ساتھ خاصیت کی حد

مشق 3: خصلتوں کا استعمال کرتے ہوئے رقبہ کا حساب کتاب