[Zig] Error union type

Error union type은 zig에서 오류를 다루는 주된 방법론이다.
Golang과 지향점이 거의 비슷하다. 하나의 단일 error 타입에 모든 에러 형태를 짬통처럼 박을 수 있다.

에러 정의

자. 일단 에러 타입은 다음과 같이 정의될 수 있다.

그러면 Negative와 Zero라는 에러 타입이 전체 에러 타입에 추가되는 것이다.
그리고 MathError라는 그룹에 묶이는 것이다.

기본 응용

모든 에러 가능 타입은 !T의 형태로 정의될 수 있다.
!i32라면, 안에 들어있는 값이 i32일 수도 있지만 error일수도 있다는 뜻이 된다.

아래는 에러 반환 타입을 적용한 예시 코드다.

덧셈의 용도와는 조금 다르게 만들어졌지만, 우변이 0이거나 0보다 작을때 오류를 반환하도록 했다.

그러면 다음과 같이 실제 값을 비교하고 분기를 치면서 오류 처리를 해볼 수 있다.

잘 작동한다.

try 키워드

근데 위의 저 에러처리는 너무 번잡스럽고 지저분하다.
다행히도 zig는 간소화된 에러처리 방법론을 제공한다.

그게 바로 이제까지 콘솔에 찍을때 써먹었던 try다.

오류 값에 대해 try를 사용하면, 오류가 아니라면 내부의 정상적인 값을 반환한다.
그리고 에러가 들어있다면 해당 오류 값을 return하고 함수를 탈출한다.

그래서 저기서 오류 상황을 유발하면

main 함수가 오류를 반환하게 된다.

이건 Rust에서 베껴온 매커니즘인 것 같다. 꽤 깔끔하다.

catch 키워드

try는 오류 상황에 무조건 중단해야 할 상황에는 더없이 적합하지만, 그렇지 않을 때도 있다.
오류가 발생했을때 적당히 기본값을 주고 넘어가고 싶을 때가 있을 것이다. catch는 그런 용도다.

간단하다. 오류가 뜨면 그냥 44444를 반환하도록 했다.

에러를 강제로 벗기기

만약 오류가 아님을 완전히 보장할 수 있다면 catch unreachable을 사용할 수 있다.

이건 unwrap과 같은 행위다.
이 상황에서 에러가 들어오면 패닉이 발생한다.

이렇게