Tratamento Robusto de Erros com `Result`
Implemente um tratamento idiomático de erros utilizando a enumeração `Result`, o operador `?` e tipos de erro personalizados para criar aplicações resilientes.
Tratamento Robusto de Erros com `Result` é uma aula grátis de Learn Rust Coding no CoddyKit. Esta é a aula 3 de 3. Você pode ler a aula completa abaixo gratuitamente — depois pratica ao vivo no navegador com um editor de código integrado e um tutor de IA 24/7. Faz parte do caminho de aprendizado de Learn Rust Coding, e seu progresso é sincronizado entre a web e o app CoddyKit. O curso de Learn Rust Coding inclui 3 aulas no total.
Partes desta aula ainda não foram traduzidas e aparecem em inglês.
Handling Errors in Rust
Errors are a part of programming. In Rust, we distinguish between two main types: recoverable and unrecoverable errors.
- Unrecoverable errors usually signal bugs, causing the program to stop with
panic!. - Recoverable errors mean something went wrong but can be handled, like a file not found.
Rust helps you deal with recoverable errors gracefully.
`panic!` vs `Result`
When an unrecoverable error occurs, Rust calls the panic! macro. This unwinds the stack and exits your program, usually printing an error message.
For recoverable errors, Rust uses the Result enum. This enum tells you if an operation succeeded (Ok) or failed (Err), letting your program decide what to do next.
The `Result` Enum
The Result enum is defined conceptually as:
enum Result<T, E> {
Ok(T),
Err(E),
}
Trepresents the type of value returned on success.Erepresents the type of error returned on failure.
It's a powerful way to explicitly state that a function might fail.
Matching on `Result`
The most common way to handle a Result is using a match expression. This allows you to execute different code blocks based on whether the Result is Ok or Err.
Try running this example that attempts to parse a number:
fn parse_and_add(text: &str) -> Result<i32, std::num::ParseIntError> {
text.parse::<i32>()
}
fn main() {
let num_str = "123";
let result = parse_and_add(num_str);
match result {
Ok(num) => println!("Parsed number: {}", num),
Err(e) => println!("Error parsing: {}", e),
}
let bad_str = "abc";
let bad_result = parse_and_add(bad_str);
match bad_result {
Ok(num) => println!("Parsed number: {}", num),
Err(e) => println!("Error parsing: {}", e),
}
}Unwrapping Results (Carefully!)
Sometimes you might be certain an operation won't fail, or you want your program to crash if it does. Methods like unwrap() and expect() extract the Ok value.
unwrap(): Returns theOkvalue or panics if it'sErr.expect("message"): Same asunwrap()but lets you provide a custom panic message.
Use these sparingly, mainly in tests or when failure is truly unrecoverable.
Introducing the `?` Operator
Writing match statements for every Result can get repetitive. The ? operator provides a concise shortcut for error propagation.
When placed after an expression that returns a Result, ? does two things:
- If the
ResultisErr, it immediately returns theErrfrom the current function. - If the
ResultisOk, it unwraps theOkvalue and continues execution.
`?` Operator in Action
The ? operator makes functions that might fail much cleaner to write. Remember, the function using ? must itself return a Result (or Option).
Observe how ? simplifies error handling in this file reading example:
use std::fs::File;
use std::io::{self, Read};
fn read_username_from_file() -> Result<String, io::Error> {
let mut f = File::open("hello.txt")?; // Propagates error if file not found
let mut s = String::new();
f.read_to_string(&mut s)?; // Propagates error if read fails
Ok(s)
}
fn main() {
// Create a dummy file for the example to work
// In a real scenario, this file might not exist
std::fs::write("hello.txt", "CoddyKit User").unwrap();
match read_username_from_file() {
Ok(username) => println!("Username: {}", username),
Err(e) => println!("Error reading username: {}", e),
}
// Clean up the dummy file
std::fs::remove_file("hello.txt").unwrap();
}Custom Error Types
Sometimes, built-in error types aren't specific enough. You can define your own custom error types using enums to represent different failure modes of your application.
This makes your error messages clearer and allows callers to handle specific errors differently.
A common pattern is to create an enum that lists all possible errors a function or module can produce.
Making `?` Work with Custom Errors
For the ? operator to automatically convert a lower-level error (like io::Error) into your custom error type, your custom error enum must implement the From trait for that lower-level error.
This tells Rust how to convert one error type into another, making error propagation seamless.
use std::io;
use std::fs::File;
use std::io::Read;
#[derive(Debug)]
enum MyError {
Io(io::Error),
Parse(std::num::ParseIntError)
}
impl From<io::Error> for MyError {
fn from(error: io::Error) -> Self {
MyError::Io(error)
}
}
impl From<std::num::ParseIntError> for MyError {
fn from(error: std::num::ParseIntError) -> Self {
MyError::Parse(error)
}
}
fn read_config(path: &str) -> Result<i32, MyError> {
let mut file = File::open(path)?; // io::Error converted to MyError::Io
let mut contents = String::new();
file.read_to_string(&mut contents)?; // io::Error converted to MyError::Io
let value = contents.trim().parse::<i32>()?; // ParseIntError converted to MyError::Parse
Ok(value)
}
fn main() {
// Create a dummy file for the example
std::fs::write("config.txt", "123").unwrap();
match read_config("config.txt") {
Ok(val) => println!("Config value: {}", val),
Err(e) => println!("Failed to read config: {:?}", e),
}
std::fs::remove_file("config.txt").unwrap(); // Clean up
// Example with a non-existent file
match read_config("non_existent.txt") {
Ok(val) => println!("Config value: {}", val),
Err(e) => println!("Failed to read config: {:?}", e),
}
}Check Your Understanding
Consider the following Rust code snippet. What will be the output if the file data.txt does NOT exist?
Recap: Robust Error Handling
You've mastered robust error handling in Rust!
ResultEnum: Distinguishes betweenOk(T)for success andErr(E)for failure.match: The fundamental way to handleResultvariants.?Operator: A powerful shortcut for propagatingErrvalues up the call stack.- Custom Errors: Define your own error types using enums for clarity and specific handling.
FromTrait: Enables seamless conversion of lower-level errors into your custom error types when using?.
Next, explore advanced type system features!
Perguntas Frequentes
A aula “Tratamento Robusto de Erros com `Result`” é grátis?
Sim — o texto completo de “Tratamento Robusto de Erros com `Result`” é grátis para ler aqui na web. Para praticá-la interativamente (um editor de código integrado e um tutor de IA 24/7) e desbloquear o restante do curso de Learn Rust Coding, atualize para CoddyKit PRO. O curso de Learn Rust Coding inclui 3 aulas no total.
O que vou aprender em “Tratamento Robusto de Erros com `Result`”?
Implemente um tratamento idiomático de erros utilizando a enumeração `Result`, o operador `?` e tipos de erro personalizados para criar aplicações resilientes. Você pratica Learn Rust Coding com código prático que executa diretamente no navegador, e um tutor de IA 24/7 responde suas dúvidas enquanto trabalha na aula.
Preciso ter experiência prévia para começar Learn Rust Coding?
Nenhuma experiência prévia é necessária. Learn Rust Coding no CoddyKit é estruturado para alunos iniciantes até avançados, então você pode começar aqui ou desde o início e aprender no seu ritmo. Esta é a aula 3 de 3.
Quanto tempo leva a aula “Tratamento Robusto de Erros com `Result`”?
A maioria das aulas CoddyKit leva cerca de 5–10 minutos. Cada uma é compacta e interativa, então você faz progresso constante e retoma exatamente de onde parou entre web e app.
Posso escrever e executar código nesta aula de Learn Rust Coding?
Sim. Cada aula de Learn Rust Coding inclui um editor de código integrado, então você escreve e executa código real direto no navegador e recebe feedback de IA instantaneamente — nenhuma configuração local necessária.
Todas as aulas deste curso
- Organização do Código com Módulos
- Gestão de Dependências com Crates
- Tratamento Robusto de Erros com `Result`