[Zig] union

#Zig

union은 여러가지의 타입을 하나의 저장공간에 우겨넣을 수 있는 공변 타입이다.
C의 union과 거의 비슷하다.

기본 형태

기본적인 사용 형태는 다음과 같다. 여러개의 타입 필드를 정의할 수 있다.

그러면 이 타입은 i64일수도 있고, f64일수도 있고, bool일수도 있는 타입이 된다.
그대신 상태는 항상 하나다.

아래는 간단한 예시다.

union 값을 초기화할때는 타입필드를 지정해서 값을 넣어주고, 꺼낼때도 필드명으로 가져올 수 있다.

여기서 C의 union과 다른 점은, safety를 어느정도 보장한다는 점이다.
예를 들어, 값이 int로 저장된 상태에서는 float로 꺼내올 수 없다. 상태를 저장한다는 것이다.

근데 저 union을 생짜로 쓰려면 조건절을 걸기도 어렵고 응용하기가 상당히 불편한 편이다.
Zig에서 권장하는 사용 형태는 태그를 달고, 그걸 통해서 switch 다중분기처리를 사용하는 것이다.

이것도 인터페이스가 쓸데없이 복잡하긴 하다. 왜 이렇게 설계한거지?

먼저 union 필드와 같은 이름을 가진 Tag enum을 정의한다.
그리고 그걸 union 정의에 우겨넣으면 컴파일러가 내부적으로 저 2가지를 연결한다.
각 union variant들이 지정한 Tag로 고유하게 식별이 되기 시작하는 것이다.

그럼 이런 느낌으로 사용할 수 있게 된다.

union 값이 tag 값으로 패턴매칭이 되고, 그걸 통해 값을 꺼내와서 자연스럽게 갖다쓸 수 있다.

근데 어떻게 봐도 Rust enum의 하위호환이다. 불편하기만 하다.

union도 enum, struct와 동일하게 메서드 등을 정의하거나 뭘 계속 구겨넣을 수 있다.

동작방식도 struct와 거의 같다.