Chapter 4 - Errors Handling
Rust enforces a strict error handling approach, but *how* you handle them defines where your code feels ergonomic, consistent and safe - as opposing cryptic and painful. This chapter dives into best practices for modeling and managing fallible operations across libraries and binaries.
Even if you decide to crash you application with
unwraporexpect, Rust forces you to declare that intentionally.
4.1 Prefer Result, avoid panic 🫨
Rust has a powerful type that wraps fallible data, Result<T, E>, this allows us to handle Error cases according to our needs and manage the state of the application based on that.
* If your function can fail, prefer to return a Result:
fn divide(x: f64, y: f64) -> Result<f64, DivisionError> {
if y == 0.0 {
Err(DivisionError::DividedByZero)
} else {
Ok(x / y)
}
}* Use panic! only in unrecoverable conditions - typically tests, assertions, bugs or a need to crash the application for some explicit reason. * There are 3 relevant macros that can replace panic! in appropriate conditions: * todo!, similar to panic, but alerts the compiler that you are aware that there is code missing. * unreachable!, you have reasoned about the code block and are sure that condition xyz is not possible and if ever becomes possible you want to be alerted. * unimplemented!, specially useful for alerting that a block is not yet implement with a reason.
4.2 Avoid unwrap/expect in Production
Although expect is preferred to unwrap, as it can have context, they should be avoided in production code as there are smarter alternatives to them. Considering that, they should be used in the following scenarios:
- In tests, assertions or test helper functions.
- When failure is impossible.
- When the smarter options can't handle the specific case.
🚨 Alternative ways of handling unwrap/expect:
* If your Result (or Option) can have a predefined early return value in case of Result::Err, that doesn't need to know the Err value, use let Ok(..) = else { return ... } pattern, as it helps with flatten functions:
let Ok(json) = serde_json::from_str(&input) else {
return Err(MyError::InvalidJson);
}* If your Result (or Option) needs error recovery in case of Result::Err, that doesn't need to know the Err value, use if let Ok(..) else { ... } pattern:
if let Ok(json) = serde_json::from_str(&input) else {
...
} else {
Err(do_something_with_input(&input))
}* Functions that can have to handle Option::None values are recommended to return Result<T, E>, where E is a crate or module level error, like the examples above. * Lastly unwrap_or, unwrap_or_else or unwrap_or_default, these functions help you create alternative exits to unwrap that manage the uninitialized values.
4.3 thiserror for Crate level errors
Deriving Error manually is verbose and error prone, the rust ecosystem has a really good crate to help with this, thiserror. It allows you to create error types that easily implement From trait as well as easy error message (Display), improving developer experience while working seamlessly with ? and integrating with std::error::Error:
#[derive(Debug, thiserror::Error)]
pub enum MyError {
#[error("Network Timeout")]
Timeout,
#[error("Invalid data: {0}")]
InvalidData(String),
#[error(transparent)]
Serialization(#[from] serde_json::Error),
#[error("Invalid request information. Header: {headers}, Metadata: {metadata}")]
InvalidRequest {
headers: Headers,
metadata: Metadata
}
}Error Hierarchies and Wrapping
For layered systems the best practice is to use nested enum/struct errors with #[from]:
use crate::database::DbError;
use crate::external_services::ExternalHttpError;
#[derive(Debug, thiserror::Error)]
pub enum ServiceError {
#[error("Database handler error: {0}")]
Db(#[from] DbError),
#[error("External services error: {0}")]
ExternalServices(#[from] ExternalHttpError)
}4.4 Reserve anyhow for Binaries
anyhow is an amazing crate, and quite useful for projects that are beginning and need accelerated speed. However, there is a turning point where it just painfully propagates through your code, considering this, anyhow is recommended only for binaries, where ergonomic error handling is needed and there is no need for precise error types:
use anyhow::{Context, Result, anyhow};
fn main() -> Result<()> {
let content = std::fs::read_to_string("config.json")
.context("Failed to read config file")?;
Config::from_str(&content)
.map_err(|err| anyhow!("Config parsing error: {err}"))
}🚨 Anyhow Gotchas
* Keeping the context and anyhow strings up-to-date in all code base is harder than keeping thiserror messages as you don't have a single point of entry. * anyhow::Result erases context that a caller might need, so avoid using it in a library. * test helper functions can use anyhow with little to no issues.
4.5 Use ? to Bubble Errors
Prefer using ? over verbose alternatives like match chains:
fn handle_request(req: &Request) -> Result<ValidatedRequest, MyError> {
validate_headers(req)?;
validate_body_format(req)?;
validate_credentials(req)?;
let body = Body::try_from(req)?;
Ok(ValidatedRequest::try_from((req, body))?)
}In case error recovery is needed, use
or_else,map_err,if let Ok(..) else. To inspect or log your error, useinspect_err.
4.6 Unit Test should exercise errors
While many errors don't implement PartialEq and Eq, making it hard to do direct assertions between them, it is possible to check the error messages with format! or to_string(), making the errors meaningful and test validated:
#[test]
fn error_does_not_implement_partial_eq() {
let err = divide(10., 0.0).unwrap_err();
assert_eq!(err.to_string(), "division by zero");
}
#[test]
fn error_implements_partial_eq() {
let err = process(my_value).unwrap_err();
assert_eq!(
err,
MyError {
..
}
)
}4.7 Important Topics
Custom Error Structs
Sometimes you don't need an enum to handle your errors, as there is only one type of error that your module can have. This can be solved with struct Errors:
#[derive(Debug, thiserror::Error, PartialEq)]
#[error("Request failed with code `{code}`: {message}")]
struct HttpError {
code: u16,
message: String
}Async Errors
When using async runtimes, like Tokio, make sure that your errors implement Send + Sync + 'static where needed, specially in tasks or across .await boundaries:
#[tokio::main]
async fn main() -> Result<(), Box<dyn std::error::Error + Send + Sync>> {
...
Ok(())
}Avoid
Box<dyn std::error::Error>in libraries unless it is really needed