소개
이 랩에서는 Rust 에서 사용자 정의 에러 타입을 정의하는 방법과, 동일한 타입으로 다양한 에러를 표현하고, 명확한 에러 메시지를 제공하며, 다른 타입과의 쉬운 비교, 그리고 에러에 대한 정보를 담을 수 있는 능력 등, 훌륭한 에러 타입을 만드는 핵심 특징들을 살펴봅니다. 또한, 사용자 정의 에러 타입의 구현과 에러 처리 시나리오에서의 사용법을 보여주는 예제 코드를 살펴봅니다.
참고: 랩에서 파일 이름을 지정하지 않은 경우, 원하는 파일 이름을 사용할 수 있습니다. 예를 들어,
main.rs를 사용하고,rustc main.rs && ./main으로 컴파일하고 실행할 수 있습니다.
에러 타입 정의하기
때로는 모든 다른 에러를 단일 에러 타입으로 마스킹하는 것이 코드를 단순화합니다. 사용자 정의 에러를 통해 이를 보여드리겠습니다.
Rust 는 자체 에러 타입을 정의할 수 있도록 합니다. 일반적으로 "좋은" 에러 타입은 다음과 같습니다.
- 동일한 타입으로 다양한 에러를 표현합니다.
- 사용자에게 훌륭한 에러 메시지를 제공합니다.
- 다른 타입과 쉽게 비교할 수 있습니다.
- 좋음:
Err(EmptyVec) - 나쁨:
Err("Please use a vector with at least one element".to_owned())
- 좋음:
- 에러에 대한 정보를 담을 수 있습니다.
- 좋음:
Err(BadChar(c, position)) - 나쁨:
Err("+ cannot be used here".to_owned())
- 좋음:
- 다른 에러와 잘 조합됩니다.
use std::fmt;
type Result<T> = std::result::Result<T, DoubleError>;
// Define our error types. These may be customized for our error handling cases.
// Now we will be able to write our own errors, defer to an underlying error
// implementation, or do something in between.
#[derive(Debug, Clone)]
struct DoubleError;
// Generation of an error is completely separate from how it is displayed.
// There's no need to be concerned about cluttering complex logic with the display style.
//
// Note that we don't store any extra info about the errors. This means we can't state
// which string failed to parse without modifying our types to carry that information.
impl fmt::Display for DoubleError {
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
write!(f, "invalid first item to double")
}
}
fn double_first(vec: Vec<&str>) -> Result<i32> {
vec.first()
// Change the error to our new type.
.ok_or(DoubleError)
.and_then(|s| {
s.parse::<i32>()
// Update to the new error type here also.
.map_err(|_| DoubleError)
.map(|i| 2 * i)
})
}
fn print(result: Result<i32>) {
match result {
Ok(n) => println!("The first doubled is {}", n),
Err(e) => println!("Error: {}", 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));
}
요약
축하합니다! 에러 타입 정의 랩을 완료했습니다. LabEx 에서 더 많은 랩을 연습하여 실력을 향상시킬 수 있습니다.