Guard

if guard ile kalıp koşulu eklemeyi öğrenirsin.

Guard

Kalıbın ifade edemediği koşullar (iki bağlanan değişken arasındaki ilişki gibi) kolun sonuna if ile eklenir:

fn iliski(c: (i32, i32)) -> &'static str {
    match c {
        (a, b) if a == b => "eşit",
        (a, b) if a + b == 0 => "zıt",
        _ => "farklı",
    }
}

Guard'lar dış değişkenlere de erişebilir: Some(x) if x == hedef. Kalıp içinde dış bir değişken adı yazmak ise eşleşme değil yeni bir bağlama demektir; bu sık bir hatadır.

Guard ve kapsayıcılık

Derleyici guard koşullarını değerlendirmez; bu yüzden guard'lı kollar kapsayıcılık denetiminde sayılmaz ve sonda genellikle koşulsuz bir kol gerekir:

match n {
    x if x < 0 => "negatif",
    x if x >= 0 => "pozitif ya da sıfır",
    _ => unreachable!(),   // derleyici iki koşulun her şeyi kapsadığını bilmez
}

Böyle durumlarda kalıpları aralıkla yazmak daha iyidir: i32::MIN..=-1 ve 0...

Uygulama İlişki

Yukarıdaki iliski fonksiyonunu guard'larla yaz. (2, 2), (3, -3) ve (1, 5) için sonuçları boşlukla tek satırda yazdır.

Örnek çözümü göster

fn iliski(c: (i32, i32)) -> &'static str {
    match c {
        (a, b) if a == b => "eşit",
        (a, b) if a + b == 0 => "zıt",
        _ => "farklı",
    }
}

fn main() {
    println!("{} {} {}", iliski((2, 2)), iliski((3, -3)), iliski((1, 5)));
}

Kendini test et

<code>let hedef = 5; match v { Some(hedef) => .., _ => .. }</code> ne yapar?
- Her Some değerini eşler ve yeni bir hedef değişkeni oluşturur (gölgeleme)
- Yalnızca Some(5) ile eşleşir
- Derlenmez
- Panic
Cevabı göster

Her Some değerini eşler ve yeni bir hedef değişkeni oluşturur (gölgeleme) — Kalıptaki ad her zaman yeni bir bağlamadır; karşılaştırma için Some(x) if x == hedef yazılmalı.

Koşullu kol

match c {
    (a, b) ____ a == b => "eşit",
    _ => "farklı",
}

Cevabı göster

match c {
    (a, b) if a == b => "eşit",
    _ => "farklı",
}

İkili ve sonuç

(2, 2)

eşit
(3, -3)

zıt
(1, 5)

farklı
(0, 0)

eşit (ilk kol)

Sıradaki ders: Binding modları

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler