Tại sao Trait Object của bạn không đầy đủRust báo lỗi error[E0191] khi bạn cố gắng sử dụng dyn Trait nhưng lại để trống các associated types (kiểu liên kết). Hãy coi associated type như một trình giữ chỗ (placeholder) trong một trait. Trước khi trình biên dịch có thể xây dựng vtable cho dynamic dispatch, nó cần biết chính xác thứ gì sẽ lấp đầy các trình giữ chỗ đó.
Khi bạn sử dụng từ khóa dyn, Rust sẽ tạo một con trỏ tới bảng địa chỉ hàm. Điều này yêu cầu phải biết kích thước và kiểu chính xác của mọi giá trị trả về. Nếu kiểu Item của một Iterator không được xác định, trình biên dịch không thể quyết định cần bao nhiêu không gian ngăn xếp (stack space) cho mỗi lần lặp.
Đoạn mã gây lỗiHầu hết các lập trình viên gặp phải lỗi này khi cố gắng "box" một iterator. Dưới đây là đoạn mã gây ra lỗi:
fn process_data(data: Box<dyn Iterator>) {
for item in data {
println!("{:?}", item);
}
}
fn main() {
let my_vec = vec![1, 2, 3];
let boxed_iter = Box::new(my_vec.into_iter());
process_data(boxed_iter);
}
Việc cố gắng biên dịch mã này sẽ dẫn đến một thông báo lỗi cụ thể:
error[E0191]: the value of the associated type 'Item' (from trait 'std::iter::Iterator') must be specified
--> src/main.rs:1:28
|
1 | fn process_data(data: Box<dyn Iterator>) {
| ^^^^^^^^^^^^ gợi ý: xác định associated type: `Iterator<Item = Type>`
Ba cách để khắc phục lỗiĐể giải quyết vấn đề này, bạn phải cho trình biên dịch biết các kiểu cụ thể mà trait đang làm việc cùng. Dưới đây là những cách tiếp cận hiệu quả nhất.
1. Ràng buộc Associated TypeNếu bạn biết iterator sẽ luôn trả về một kiểu cụ thể, chẳng hạn như i32 hoặc String, hãy khai báo nó bên trong dấu ngoặc nhọn. Điều này giúp hoàn tất định nghĩa kiểu cho vtable.
// Xác định rằng iterator này trả về số nguyên 32-bit
fn process_data(data: Box<dyn Iterator<Item = i32>>) {
for item in data {
println!("{:?}", item);
}
}
2. Chuyển sang Static Dispatch (Generics)Dynamic dispatch (phân phối động) làm tăng một chút chi phí runtime, thường khoảng 10 đến 30 nan giây cho mỗi lần gọi do việc chuyển hướng con trỏ. Trừ khi bạn cần lưu trữ các kiểu iterator khác nhau trong một tập hợp duy nhất, generics là một giải pháp thay thế nhanh hơn. Chúng cho phép trình biên dịch nội suy (inline) mã và tối ưu hóa logic cho các kiểu cụ thể.
// Static dispatch nhanh hơn và không tốn chi phí (zero-cost)
fn process_data<I>(data: I)
where
I: Iterator<Item = i32>
{
for item in data {
println!("{:?}", item);
}
}
3. Tận dụng 'impl Trait'Khi trả về một iterator từ một hàm, bạn có thể không muốn viết ra một kiểu phức tạp như Map<Filter<VecIter>>. Sử dụng impl Trait giúp mã nguồn sạch sẽ hơn trong khi tránh được việc cấp phát bộ nhớ heap của Box.
fn get_numbers() -> impl Iterator<Item = i32> {
vec![1, 2, 3].into_iter().map(|x| x * 2)
}
Xử lý với Custom TraitsQuy tắc này cũng áp dụng cho các trait do bạn tự định nghĩa. Nếu trait của bạn định nghĩa một type, bất kỳ tham chiếu dyn nào đến trait đó đều phải xác định kiểu đó là gì.
trait Processor {
type Input;
fn process(&self, input: Self::Input);
}
// Lỗi: Rust không biết 'Input' ở đây là gì
// fn run(p: &dyn Processor) { ... }
// Đúng: Xác định rõ ràng Input là một String
fn run(p: &dyn Processor<Input = String>) {
p.process("xin chào".to_string());
}