Traits Khi Va Chậm Quá Giới Hạn Sẽ Thế Nào?

Bài 12 đã khai sáng chân lý Trait cho lập trình cấu trúc chia sẻ (Shared Behavior). Nhưng thực tế Phũ Phàng luôn gõ cửa: Nếu bạn có 2 Trait Khác Nhau Dùng Chung Một Tên Hàm? Gã Struct lại Cấn Cả 2 Trait đó? Rust Xử Lý Gãy Gọng Đổ Máu Ra Sao? Đón xem nào.

1. Type Bí Truyền - Associated Types

Thay vì xài Generics T cho Trait (Cách 1 là <T>), bạn Dùng Type Lồng Bên Trong (Associated Type). Hãy xem Interface Bộ Lọc Biến Iterator Chấn Động Thường Thấy của Các Vòng Lặp Do Rust Thiết Kế Phá Cách:

pub trait Iterator {
    // Khai Sinh 1 Lỗ Hổng Kép Mơ Hồ: GỌI LÀ ITEM
    type Item; 

    // Hàm Nhả Dòng Nước Mới Móc Lòi Trả Ra Khối Vuông ITEM ở Trển
    fn next(&mut self) -> Option<Self::Item>;
}

Tại Sao Bày Đặt Type Bí Truyền Bên Trong Lõi Interface Trait Chi ? Bởi Nếu bạn Dùng pub trait Iterator<T>, Tức Là Bản Struct Thằng Trì Chú Của Mày Được Phép Định Nghĩa NHIỀU Impl Iterator<u32> Rồi Cả Impl Iterator<String>. Rác! Dùng Kỹ Thuật Associated Type (Kẹp Lõi): CHỈ DUY NHẤT 1 Bản Impl Iterator ĐƯỢC PHÉP ÁP TRÊN MỖI STRUCT MÀ THÔI. Tính Nhất Quán Vô Mực Địch.

struct TrạmĐếm;
impl Iterator for TrạmĐếm {
    type Item = u32; // Chấm hết, Thằng Trạm Đếm Này Mãi Mãi Chỉ Nhả Ra Đạn u32!
    fn next(&mut self) -> Option<Self::Item> { Some(0) }
}

2. Default Type Parameters (Thế Cờ Generics Có Sẵn)

Lúc Add Phép Cộng Toán Học Bằng Trait Cộng Add, Có Chắc Luôn Phải Y Sắp Hai Chữ Cùng Kiểu Dính Tì Nhau Mới Ghép Toán Học? Không.

// RHS (Right Hand Side) Mặc Vạch Bằng Đại Từ Self (Bản thân tui)
trait Add<RHS=Self> { 
    type Output;
    fn add(self, rhs: RHS) -> Self::Output;
}

Lấy Dạng Mặt Trăng Ghép Toán Tọa Độ Mặt Lỗ Trống Của Sao Quả Tạ. Nếu Gọi Add<Millimeters>, Kiểu Trái Trôn Đã Lệnh Cộng Rạch Giao Giao Dục Hai Hãng Đơn Vị Đo Lường Trái Khóe Cực Siêu Ngầu. Đỡ Tốn Chữ Khi Thấy Trùng Chặp.

3. Cứu Cánh Nhồi Lệnh Đè Nép: Cú Pháp Định Danh Hoàn Thiện (Fully Qualified Syntax)

Điều Kiện Lỗi Nhục Bã Thất Nhất:

trait PhiCong { fn bay(&self); }
trait Chim { fn bay(&self); }

struct Nguoi;

impl PhiCong for Nguoi { fn bay(&self) { println!("Nói Với Trạm, Bật Động Cơ Cất Cánh"); } }
impl Chim for Nguoi { fn bay(&self) { println!("Móc Dây Chuyền Có Cánh Lá Vỗ Vỗ Như Điên"); } }
impl Nguoi { fn bay(&self) { println!("Đạp xe té xuống vực bay thẳng xuống đáy"); } }

fn main() {
    let tieu_nam = Nguoi;
    // Tự Rống Cục Bay, Nó Chạy cái Nào?
    tieu_nam.bay(); // => Rust Nhận Luôn Và In ƯU TIÊN HÀM GỐC CỦA STRUCT : Đạp xe Mất Răng.
}

Nhưng Nếu Khách Bắt Gọi Lệnh Bay Theo Nét Của Kẻ Bay PhiCong? Móc Ngoặt Bạo Lực Gọi Nhạc Bóp Mặt Trận Hoàn Tất:

PhiCong::bay(&tieu_nam);
Chim::bay(&tieu_nam);

// THẬM CHÍ, Gọi Hàm Liên Kết KHÔNG CÓ CHỮ &self (Ví dụ: Trait XeMay có Hàm `xe_gi()`)
// <Nguoi as XeMay>::xe_gi(); // Ép Kẻ Struct Nguoi Nôn Gọi Mặt Trận Giác Xe Hơi.

Câu hỏi thường gặp (FAQ)

Supertraits là cái gì Tỏ Vẻ Nguy Tốn Thế?

Lấy Một ví Dụ Nhá! Bạn Viết Lên Trait “Tính Năng Mạ Vàng Bóng Bẩy Giao Diện” OutlinePrint. Bạn Chỉ Muốn NHỮNG THẰNG NÀO CÓ SẴN CHỨC NĂNG IN RA CHỮ CƠ BẢN (Display) Mới Được Ký Luật Trát Dán Dấu Mạ Vàng Của Phụ Thuộc Bạn! Thế Là Ban Hành Dấu Su-Pe-Tờ-Rait: trait OutlinePrint: fmt::Display { }. Xong. Hàm Nghĩa: Mày Chỉ Có Quyền Áp Lớp Vàng Này Khi Mày Đã Cót Lõi Vỏ Thép Cơ Nhận Dữ Liệu String Tròn Hảo Rùi. Ràng Buộc Luật Liên Tu Vạch Sáng Tỏa Cực Dễ Hiểu Ở Các Thư Viện Rust.

Sẵn sàng cho Ngày 22? Nghỉ Ngơi Quá Đủ Cho Bộ Não Bình Yên Ứng Mộng Lập Trình. Ngài Trình Biên Dịch Sẽ Bị Chúng Ta Chặn Cửa Rút Nạn Ống Xi Lanh Che Chở Bàng Sắt, Vọt Sang Vùng “Tà Đạo Địa Ngục” Đỉnh Cấp Hack Pointer C/C++ Mép Cạnh RAM Raw Bằng Khu Vực Gầm Đạn Của Thế Kỉ: [Day 22: Unsafe Rust - Ném Bỏ Luật Chơi An Toàn].