Fluxo de controle

Condições e loops

let label = if value > 0 { 1 } elif value < 0 { -1 } else { 0 }

let mut index: usize = 0
while index < len(values) {
    index = index + 1
}

for item in values {
    consume_copy(item)
}

if é uma expressão. while e for suportam break e continue. for em intervalos, matrizes e fatias é reduzido para um loop index/length direto e livre de alocação. Elementos somente de movimentação requerem indexação explícita e tratamento de propriedade.

Partida e ADTs

type response {
    ok(i64)
    error(str)
}

fn status(value: response) -> i64 {
    match value {
        ok(code) => code
        error(message) => -1
    }
}

Os braços de correspondência não têm vírgulas e devem ser exaustivos, a menos que o fluxo restante seja inacessível. Os padrões suportam literais, tuplas, estruturas, variantes, ligações, descarte e guardas. As cargas úteis somente de movimentação são transferidas somente quando um braço é selecionado; um padrão ou guarda com falha preserva o proprietário para armas posteriores.

Opções, resultados e ?

fn find(enabled: bool) -> ?i64 {
    if enabled { some(42) } else { none }
}

fn forward(enabled: bool) -> ?i64 {
    let value = find(enabled)?
    some(value)
}

? produz o present/success carga útil ou retorna a falha correspondente. A propagação do resultado pode alterar o tipo de sucesso, mas preserva o tipo de erro. Nenhuma alocação implícita ou clone ocorre. ? não pode cruzar um spawn limite.

Limpeza nas bordas do fluxo

Queda, ret, breake continue execute o plano de limpeza verificado para proprietários ativos. Panic/trap/abort as bordas nunca se desenrolam e não fazem limpeza.