Đặc điểm và giới hạn đặc điểm

Đặc điểm xác định hành vi mà một loại cụ thể có và có thể chia sẻ với các loại khác. Chúng ta có thể sử dụng các đặc điểm để xác định một tập hợp các phương thức đại diện cho một chức năng hoặc giao diện chung nhất định, tương tự như giao diện trong các ngôn ngữ lập trình khác.

Giới hạn đặc điểm cho phép chúng tôi chỉ định rằng loại chung phải triển khai một đặc điểm cụ thể, đảm bảo rằng các phương thức được yêu cầu có sẵn tại thời điểm biên dịch.

Xác định và thực hiện một đặc điểm

Để xác định một đặc điểm, chúng tôi sử dụng từ khóa trait theo sau là chữ ký của các phương thức mà các loại triển khai phải xác định:

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

Để triển khai một đặc điểm trên một loại cụ thể, chúng tôi sử dụng cú pháp impl TraitName for TypeName:

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

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

Giới hạn tính trạng

Khi viết các hàm chung, chúng ta có thể hạn chế các tham số loại để đảm bảo chúng triển khai một đặc điểm cụ thể. Cú pháp chuẩn là <T: Trait>:

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

Ngoài ra, đối với các chữ ký phức tạp hơn, chúng ta có thể sử dụng mệnh đề where:

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

Hãy tự mình thử

Bài tập 1: Đặc điểm tóm tắt

Bài tập 2: Giới hạn đặc điểm với print_summary

Bài tập 3: Tính diện tích bằng tính chất