Rust
La gestion des erreurs
Recherche…
Introduction
Result<T, E>
pour indiquer les erreurs récupérables lors de l'exécution. Les erreurs irrécupérables provoquent des paniques qui sont un sujet à part.
Remarques
Les détails de la gestion des erreurs sont décrits dans The Rust Programming Language (aka The Book)
Méthodes de résultat communes
use std::io::{Read, Result as IoResult};
use std::fs::File;
struct Config(u8);
fn read_config() -> IoResult<String> {
let mut s = String::new();
let mut file = File::open(&get_local_config_path())
// or_else closure is invoked if Result is Err.
.or_else(|_| File::open(&get_global_config_path()))?;
// Note: In `or_else`, the closure should return a Result with a matching
// Ok type, whereas in `and_then`, the returned Result should have a
// matching Err type.
let _ = file.read_to_string(&mut s)?;
Ok(s)
}
struct ParseError;
fn parse_config(conf_str: String) -> Result<Config, ParseError> {
// Parse the config string...
if conf_str.starts_with("bananas") {
Err(ParseError)
} else {
Ok(Config(42))
}
}
fn run() -> Result<(), String> {
// Note: The error type of this function is String. We use map_err below to
// make the error values into String type
let conf_str = read_config()
.map_err(|e| format!("Failed to read config file: {}", e))?;
// Note: Instead of using `?` above, we can use `and_then` to wrap the let
// expression below.
let conf_val = parse_config(conf_str)
.map(|Config(v)| v / 2) // map can be used to map just the Ok value
.map_err(|_| "Failed to parse the config string!".to_string())?;
// Run...
Ok(())
}
fn main() {
match run() {
Ok(_) => println!("Bye!"),
Err(e) => println!("Error: {}", e),
}
}
fn get_local_config_path() -> String {
let user_config_prefix = "/home/user/.config";
// code to get the user config directory
format!("{}/my_app.rc", user_config_prefix)
}
fn get_global_config_path() -> String {
let global_config_prefix = "/etc";
// code to get the global config directory
format!("{}/my_app.rc", global_config_prefix)
}
Si les fichiers de configuration n'existent pas, cela génère:
Error: Failed to read config file: No such file or directory (os error 2)
Si l'analyse échoue, cela génère:
Error: Failed to parse the config string!
Remarque: Au fur et à mesure de la croissance du projet, il sera difficile de gérer les erreurs avec ces méthodes de base ( docs ) sans perdre d'informations sur l'origine et le chemin de propagation des erreurs. En outre, convertir les erreurs en chaînes prématurément afin de gérer plusieurs types d’erreur, comme indiqué ci-dessus, est une mauvaise pratique. Une méthode bien meilleure consiste à utiliser la error-chain
caisses.
Types d'erreur personnalisés
use std::error::Error;
use std::fmt;
use std::convert::From;
use std::io::Error as IoError;
use std::str::Utf8Error;
#[derive(Debug)] // Allow the use of "{:?}" format specifier
enum CustomError {
Io(IoError),
Utf8(Utf8Error),
Other,
}
// Allow the use of "{}" format specifier
impl fmt::Display for CustomError {
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
match *self {
CustomError::Io(ref cause) => write!(f, "I/O Error: {}", cause),
CustomError::Utf8(ref cause) => write!(f, "UTF-8 Error: {}", cause),
CustomError::Other => write!(f, "Unknown error!"),
}
}
}
// Allow this type to be treated like an error
impl Error for CustomError {
fn description(&self) -> &str {
match *self {
CustomError::Io(ref cause) => cause.description(),
CustomError::Utf8(ref cause) => cause.description(),
CustomError::Other => "Unknown error!",
}
}
fn cause(&self) -> Option<&Error> {
match *self {
CustomError::Io(ref cause) => Some(cause),
CustomError::Utf8(ref cause) => Some(cause),
CustomError::Other => None,
}
}
}
// Support converting system errors into our custom error.
// This trait is used in `try!`.
impl From<IoError> for CustomError {
fn from(cause: IoError) -> CustomError {
CustomError::Io(cause)
}
}
impl From<Utf8Error> for CustomError {
fn from(cause: Utf8Error) -> CustomError {
CustomError::Utf8(cause)
}
}
Itérer à travers les causes
Il est souvent utile, à des fins de débogage, de trouver la cause première d'une erreur. Afin d'examiner une valeur d'erreur qui implémente std::error::Error
:
use std::error::Error;
let orig_error = call_returning_error();
// Use an Option<&Error>. This is the return type of Error.cause().
let mut err = Some(&orig_error as &Error);
// Print each error's cause until the cause is None.
while let Some(e) = err {
println!("{}", e);
err = e.cause();
}
Rapport d'erreur et gestion de base
Result<T, E>
est un type enum
qui a deux variantes: Ok(T)
indiquant une exécution réussie avec un résultat significatif de type T
, et Err(E)
indiquant une erreur inattendue lors de l'exécution, décrite par une valeur de type E
.
enum DateError {
InvalidDay,
InvalidMonth,
}
struct Date {
day: u8,
month: u8,
year: i16,
}
fn validate(date: &Date) -> Result<(), DateError> {
if date.month < 1 || date.month > 12 {
Err(DateError::InvalidMonth)
} else if date.day < 1 || date.day > 31 {
Err(DateError::InvalidDay)
} else {
Ok(())
}
}
fn add_days(date: Date, days: i32) -> Result<Date, DateError> {
validate(&date)?; // notice `?` -- returns early on error
// the date logic ...
Ok(date)
}
Voir aussi docs pour plus de détails sur ?
opérateur.
La bibliothèque standard contient un trait d' Error
que tous les types d'erreur sont recommandés pour implémenter. Un exemple de mise en œuvre est donné ci-dessous.
use std::error::Error;
use std::fmt;
#[derive(Debug)]
enum DateError {
InvalidDay(u8),
InvalidMonth(u8),
}
impl fmt::Display for DateError {
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
match self {
&DateError::InvalidDay(day) => write!(f, "Day {} is outside range!", day),
&DateError::InvalidMonth(month) => write!(f, "Month {} is outside range!", month),
}
}
}
impl Error for DateError {
fn description(&self) -> &str {
match self {
&DateError::InvalidDay(_) => "Day is outside range!",
&DateError::InvalidMonth(_) => "Month is outside range!",
}
}
// cause method returns None by default
}
Remarque: En règle générale, l' Option<T>
ne doit pas être utilisée pour signaler des erreurs. Option<T>
indique une possibilité attendue de non-existence d'une valeur et une seule raison simple. En revanche, le Result<T, E>
est utilisé pour signaler des erreurs inattendues lors de l'exécution, en particulier lorsqu'il existe plusieurs modes de défaillance pour les distinguer. De plus, le Result<T, E>
est utilisé uniquement comme valeur de retour. ( Une vieille discussion. )