if let, let else & while let

Essas construções correspondem a um padrão quando um match completo é pesado. let else fornece retorno antecipado em caso de incompatibilidade.

Receita

fn main() {
    let v = Some(10);
    if let Some(n) = v {
        println!("{n}");
    }
 
    let Some(n) = v else {
        panic!("esperava Some");
    };
    println!("forçado {n}");
}

Quando usar isso: Desembrulhar opcional, loop até None e cláusulas de guarda com let else.

Exemplo de Trabalho

use std::collections::VecDeque;
 
fn drain_even(q: &mut VecDeque<i32>) -> Vec<i32> {
    let mut out = Vec::new();
    while let Some(&front) = q.front() {
        if front % 2 == 0 {
            out.push(q.pop_front().unwrap());
        } else {
            break;
        }
    }
    out
}
 
fn main() {
    let mut q = VecDeque::from([2, 4, 5, 6]);
    println!("{:?}", drain_even(&mut q));
}

O que isso demonstra:

• while let itera enquanto o padrão corresponde
• Combina com break quando a condição muda
• if let para um único caso de ramificação
• let else para padrão obrigatório (Rust 1.65+)

Mergulho Profundo

if let

if let Err(e) = result {
    eprintln!("{e}");
}

let else

fn head(s: &str) -> &str {
    let Some((h, _)) = s.split_once(' ') else {
        return s;
    };
    h
}

O bloco else deve divergir (return, break, panic).

while let

Ideal para consumir iteradores de Option ou Result até que None/Err quebre o padrão.

Armadilhas

• O bloco else de let else deve divergir - Não pode cair. Correção: return/break/panic!.
• Movendo em if let - Vincula a movimentação a menos que ref. Correção: if let Some(ref x).
• while let infinito se o padrão sempre corresponder - Bug lógico. Correção: Garanta que o iterador avance ou o estado mude.
• Encadear muitos if let - Difícil de ler. Correção: Use match ou métodos combinadores.
• if let + else não é substituto completo para match - Apenas um braço positivo é ergonômico. Correção: match para muitos braços.

Alternativas

FAQs

Relacionados

• Pattern Matching com match
• Option & Result como Enums
• Combinadores Option
• Fluxo de Controle

Versões do Stack: Esta página foi escrita para Rust 1.97.0 (edição 2024), Tokio 1.x, Axum 0.8, serde 1.0, sqlx 0.8, clap 4, e Polars 0.46+.