Риси та межі рис

Риси визначають поведінку, яку має певний тип і може поділитися з іншими типами. Ми можемо використовувати ознаки для визначення набору методів, які представляють певну загальну функціональність або інтерфейс, подібний до інтерфейсів в інших мовах програмування.

Обмеження характеристик дозволяють нам вказати, що загальний тип повинен реалізовувати певну ознаку, забезпечуючи доступність необхідних методів під час компіляції.

Визначення та впровадження ознаки

Щоб визначити властивість, ми використовуємо ключове слово 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: Обчислення площі за ознаками