impl Trait

impl Trait ile parametre ve dönüş türü belirtirsin.

impl Trait

Dönüş konumunda impl Trait, "bu trait'i uygulayan tek bir somut tür döndürüyorum, ama adını söylemiyorum" demektir. Yineleyiciler ve closure'lar gibi adı çok uzun ya da yazılamayan türleri döndürmek için kullanılır:

fn ciftler(n: u32) -> impl Iterator<Item = u32> {
    (0..n).filter(|x| x % 2 == 0)
}

fn carpan(k: i32) -> impl Fn(i32) -> i32 {
    move |x| x * k
}

ciftler'in gerçek türü Filter<Range<u32>, {closure}>'dir; closure türlerinin adı hiç yazılamaz.

Çağıran ne görür?

Çağıran yalnızca trait'in sunduklarını kullanabilir; bu, iç ayrıntıyı değiştirme özgürlüğü verir:

let v: Vec<u32> = ciftler(10).collect();   // [0, 2, 4, 6, 8]
let uc_kat = carpan(3);
println!("{}", uc_kat(7));                  // 21

move, closure'ın k'yi kopyalayarak sahiplenmesini sağlar; fonksiyon bittiğinde k yok olacağı için gereklidir.

Uygulama Gizli dönüş türleri

Yukarıdaki ciftler ve carpan fonksiyonlarını yaz. ciftler(10) sonucunu vektöre topla ve carpan(3) ile 7'yi çarp; ikisini boşlukla yazdır.

Örnek çözümü göster

fn ciftler(n: u32) -> impl Iterator<Item = u32> {
    (0..n).filter(|x| x % 2 == 0)
}

fn carpan(k: i32) -> impl Fn(i32) -> i32 {
    move |x| x * k
}

fn main() {
    let v: Vec<u32> = ciftler(10).collect();
    let uc_kat = carpan(3);
    println!("{:?} {}", v, uc_kat(7));
}

Kendini test et

<code>fn f(b: bool) -> impl Display { if b { 5 } else { "beş" } }</code> neden derlenmez?
- if ifade değildir
- Derlenir
- impl Trait tek bir somut tür olmalı; i32 ve &str farklı
- Display döndürülemez
Cevabı göster

impl Trait tek bir somut tür olmalı; i32 ve &str farklı — Farklı türleri döndürmek için Box<dyn Display> gibi dinamik dağıtım gerekir.

Yineleyici döndür

fn ciftler(n: u32) -> ____ {
    (0..n).filter(|x| x % 2 == 0)
}

Cevabı göster

fn ciftler(n: u32) -> impl Iterator<Item = u32> {
    (0..n).filter(|x| x % 2 == 0)
}

Dönüş türü ve anlamı

-> impl Iterator<Item = u32>

Gizli yineleyici
-> impl Fn(i32) -> i32

Gizli closure
-> Box<dyn Display>

Farklı türler olabilir
-> Vec<u32>

Somut, sahip olunan

Sıradaki ders: dyn Trait

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler