السمات والأنواع العامة والقيود

trait Summary { fn summary(&self) -> String; }
struct Report { open: u32 }
impl Summary for Report {
    fn summary(&self) -> String { format!("open={}", self.open) }
}
fn render<T: Summary>(value: &T) -> String { value.summary() }
fn main() {
    let report = Report { open: 3 };
    println!("{}", render(&report));
}

open=3

تحتاج render إلى Summary فقط، وتستعير Report وتعيد نصًا منسقًا مستقلًا.

fn first_equal<T: PartialEq>(values: &[T], target: &T) -> Option<usize> {
    values.iter().position(|value| value == target)
}
fn main() {
    let values = [4, 7, 7];
    println!("{:?} {:?}", first_equal(&values, &7), first_equal(&values, &9));
}

Some(1) None

أول سبعة في الفهرس واحد ابتداءً من الصفر، وتسعة غائبة وتبقى المدخلات مستعارة.