`while let` în Rust

Structuri de control și pattern matching Rust 1.0

Repetă un bloc cât timp o valoare se potrivește cu un tipar, de exemplu cât timp pop() mai returnează Some.

Sintaxă

while let Tipar = expresie {
    ...                    // se repetă cât timp tiparul se potrivește
}

Ce face `while let`

while let combină o buclă cu if let: la fiecare pas evaluează expresia și, dacă rezultatul se potrivește cu tiparul, execută corpul cu variabilele scoase din tipar. Bucla se oprește la prima nepotrivire.

Cel mai des este folosit cu metode care returnează Option: while let Some(x) = stiva.pop() golește o stivă, while let Some(linie) = linii.next() parcurge un iterator pe care îl controlezi manual, iar while let Ok(mesaj) = canal.recv() primește mesaje până se închide canalul.

Spre deosebire de for, expresia este reevaluată la fiecare pas, deci poți modifica structura în corp (de exemplu să adaugi elemente noi în stivă).

Exemple

Exemplul 1: Golirea unei stive

pop() returnează Some(element) cât timp vectorul mai are elemente și None când este gol. Elementele ies în ordine inversă.

fn main() {
    let mut farfurii = vec!["albastră", "verde", "roșie"];
    while let Some(f) = farfurii.pop() {
        println!("Spăl farfuria {f}");
    }
    println!("Rămase: {}", farfurii.len());
}

Rezultat

Spăl farfuria roșie
Spăl farfuria verde
Spăl farfuria albastră
Rămase: 0

Exemplul 2: O coadă la care se adaugă în timpul buclei

Parcurgerea unei organigrame: fiecare șef scos din coadă își adaugă subalternii la final. Bucla continuă până când coada se golește.

use std::collections::VecDeque;

fn subalterni(nume: &str) -> Vec<&'static str> {
    match nume {
        "Director" => vec!["Vânzări", "IT"],
        "IT" => vec!["Ana", "Mihai"],
        "Vânzări" => vec!["Ioana"],
        _ => vec![],
    }
}

fn main() {
    let mut coada = VecDeque::from(["Director"]);
    while let Some(nume) = coada.pop_front() {
        let sub = subalterni(nume);
        println!("{nume} -> {sub:?}");
        coada.extend(sub);
    }
}