Generics và chức năng

Generics cho phép bạn viết mã linh hoạt, có thể tái sử dụng, tránh trùng lặp logic cho các loại dữ liệu khác nhau. Thay vì xác định nhiều hàm hoặc cấu trúc cho các loại khác nhau (như i32, f64 hoặc String), chúng ta có thể sử dụng tham số loại chung, thường được biểu thị bằng chữ cái T.

Trình biên dịch Rust quản lý các generic bằng cách sử dụng một quy trình có tên monomorphization: trong quá trình biên dịch, nó tạo ra một bản sao của mã chung cho từng loại cụ thể được sử dụng thực sự. Điều này có nghĩa là không có chi phí về hiệu năng thời gian chạy.

Hàm chung

Để xác định hàm chung, chúng ta chèn tham số loại <T> ngay sau tên hàm và trước danh sách đối số:

fn print_value<T: std::fmt::Debug>(value: T) {
    println!("Value: {:?}", value);
}

Trong các hàm chung, chúng ta có thể sử dụng kiểu chung T cho cả kiểu đối số và kiểu trả về:

fn identity<T>(value: T) -> T {
    value
}

Cấu trúc chung

Chúng ta cũng có thể sử dụng các tham số loại chung bên trong các cấu trúc (struct) để xác định các trường linh hoạt:

struct KeyValuePair<K, V> {
    key: K,
    value: V,
}

fn main() {
    let pair = KeyValuePair {
        key: String::from("age"),
        value: 30,
    };
}

Trong khối impl cho cấu trúc chung, chúng ta phải khai báo tham số loại <T> ngay sau từ khóa impl để cho biết chúng ta đang triển khai các phương thức trên cấu trúc chung:

struct Container<T> {
    value: T,
}

impl<T> Container<T> {
    fn new(value: T) -> Self {
        Container { value }
    }

    fn value(&self) -> &T {
        &self.value
    }
}

Hãy tự mình thử

Bài tập 1: Cấu trúc điểm

Bài tập 2: Đảo ngược Tuple bằng swap

Bài tập 3: Cấu trúc container