Иногда для упрощения кода необходимо скрыть все типы ошибок за какой-то одной ошибкой. Мы скроем их за пользовательской ошибкой.
Rust позволяет нам определить наш собственный тип ошибок. В общем случае "хороший" тип ошибки должен:
• Представлять разные ошибки с таким же типом
• Предоставлять хорошее сообщение об ошибке пользователю
• Легко сравниваться с другими типами
• Хорошо: Err(EmptyVec)
• Плохо: Err("Пожалуйста, используйте вектор хотя бы с одним элементом".to_owned())
• Содержать информацию об ошибке
• Хорошо: Err(BadChar(c, position))
• Плохо: Err("+ не может быть использован в данном месте".to_owned())
• Хорошо сочетаться с другими ошибками
use std::error;
use std::fmt;
type Result = std::result::Result;
// Определите типы ошибок. Они могут быть настроены для наших случаев обработки ошибок.
// Теперь мы сможем написать наши собственные ошибки, реализовать приведение до основной ошибки
// или сделать что-то ещё между приведениями.
#[derive(Debug, Clone)]
struct DoubleError;
// Генерация ошибки полностью отделена от того, как она отображается.
// Нет необходимости в загромождении сложной логикой построения отображения ошибки.
//
// Мы не храним дополнительной информации об ошибках. Это означает, что мы не можем вывести строку, которую не удалось обработать, без изменения наших типов.
impl fmt::Display for DoubleError {
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
write!(f, "неверный первый элемент")
}
}
fn double_first(vec: Vec<&str>) -> Result {
vec.first()
// Изменим ошибку на наш новый тип.
.ok_or(DoubleError)
.and_then(|s| {
s.parse::()
// Обновим тип ошибки также здесь.
.map_err(|_| DoubleError)
.map(|i| 2 * i)
})
}
fn print(result: Result) {
match result {
Ok(n) => println!("Первое удвоение {}", n),
Err(e) => println!("Ошибка: {}", e),
}
}
fn main() {
let numbers = vec!["42", "93", "18"];
let empty = vec![];
let strings = vec!["tofu", "93", "18"];
print(double_first(numbers));
print(double_first(empty));
print(double_first(strings));
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX