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.

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...