Guardas de Correspondência (Match Guards)

Ao verificar uma correspondência, você pode adicionar uma guarda (guard) para um padrão. É uma expressão Booleana arbitrária que será executada se o padrão corresponder:

#[rustfmt::skip]
fn main() {
    let pair = (2, -2);
    println!("Fale-me sobre {pair:?}");
    match pair {
        (x, y) if x == y     => println!("Estes são gêmeos"),
        (x, y) if x + y == 0 => println!("Antimatter, kaboom!"),
        (x, _) if x % 2 == 1 => println!("O primeiro é ímpar"),
        _                    => println!("Sem correlação..."),
    }
}

Pontos Chave:

  • Guardas de correspondência, como um recurso de sintaxe separado, são importantes e necessárias quando se quer expressar ideias mais complexas do que somente o padrão permitiria.
  • Eles não são iguais à expressão if separada dentro do bloco de correspondência. Uma expressão if dentro do bloco de ramificação (depois de =>) acontece depois que a correspondência é selecionada. A falha na condição if dentro desse bloco não resultará em outras verificações de correspondência da expressão match original serem consideradas.
  • Você pode usar as variáveis definidas no padrão em sua expressão if.
  • A condição definida na guarda se aplica a todas as expressões em um padrão com um |.