Associated type

İlişkili tür, trait'in içinde adı geçen ve her uygulamanın bir kez belirlediği bir tür yer tutucusudur. Iterator::Item en bilinen örnektir:

trait Kap {
    type Oge;
    fn al(&self, i: usize) -> Option<&Self::Oge>;
}

struct Liste(Vec<String>);

impl Kap for Liste {
    type Oge = String;
    fn al(&self, i: usize) -> Option<&String> {
        self.0.get(i)
    }
}

Generic parametreyle (trait Kap<T>) farkı: bir tür trait'i yalnızca bir kez uygulayabilir ve kullanırken türü yazmak gerekmez.

Generic kodda ilişkili türe T::Oge diye erişilir ve sınır konabilir:

fn ilk_yaz<K>(k: &K)
where
    K: Kap,
    K::Oge: std::fmt::Debug,
{
    println!("{:?}", k.al(0));
}

// belirli bir eleman türü isteyen sınır:
fn metinler<K: Kap<Oge = String>>(k: &K) { .. }