O Operador ?

O ? retorna antecipadamente Err (ou None em contextos Option) e desempacota valores Ok, com conversão automática via From.

Receita

fn load_config(path: &str) -> Result<String, std::io::Error> {
    let body = std::fs::read_to_string(path)?;
    Ok(body)
}

Quando usar: Funções falíveis que retornam Result - preferível a match aninhado.

Exemplo de Funcionamento

#[derive(Debug)]
enum AppError {
    Io(std::io::Error),
    Parse(std::num::ParseIntError),
}
 
impl From<std::io::Error> for AppError {
    fn from(e: std::io::Error) -> Self { AppError::Io(e) }
}
impl From<std::num::ParseIntError> for AppError {
    fn from(e: std::num::ParseIntError) -> Self { AppError::Parse(e) }
}
 
fn port_from_file(path: &str) -> Result<u16, AppError> {
    let text = std::fs::read_to_string(path)?;
    let port: u16 = text.trim().parse()?;
    Ok(port)
}

O que isso demonstra:

• O ? converte io::Error e ParseIntError em AppError via From
• O caminho feliz permanece linear
• O tipo de retorno deve implementar From para cada fonte de erro

Análise Detalhada

O ? em Result em funções que retornam Result se expande para um match com retorno antecipado. Em main, use fn main() -> Result<(), E>.

try_blocks (onde está estável) agrupa etapas falíveis - verifique a edição.

Armadilhas

• ? em main sem tipo de retorno - Erro. Correção: fn main() -> Result<(), Box<dyn Error>>.
• Conversão From ausente - Erro de compilação. Correção: impl From ou mapear manualmente.
• ? em Option em função Result - Requer tipos compatíveis ou ok_or. Correção: ok_or(Error::Missing)?.
• Ignorando contexto - ? puro perde a localização. Correção: anyhow::Context ou map_err.
• Usando ? em closures - A closure deve retornar Result. Correção: Alterar o tipo de retorno da closure.

Alternativas

FAQs

Relacionados

• Noções Básicas de Tratamento de Erros
• Tipos de Erro Personalizados
• anyhow
• Contexto e Backtraces de Erro

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