태그가 있는 유니언과 switch

일반 공용체는 어떤 필드가 활성 상태인지 잊습니다. 태그가 있는 공용체는 현재 변형을 기록하는 열거형 태그와 값을 함께 저장합니다.

union(enum)을 작성하면 Zig가 각 필드에 하나씩 대응하는 태그 이름을 자동으로 생성합니다.

이제 값이 .int나 .text처럼 자체 태그를 가집니다. 공용체는 현재 어떤 변형을 가지고 있는지 항상 알 수 있습니다.

태그가 있는 공용체에서 변형에 따라 분기하려면 switch를 사용합니다. 각 분기에서는 태그 하나를 지정하고 해당 값의 형태를 처리합니다.

세로 막대를 사용한 캡처를 추가하면 활성 필드의 내부 값을 꺼내 해당 분기 안에서 바로 사용할 수 있습니다.

Zig는 모든 변형을 처리하도록 요구합니다. 분기 하나를 빠뜨리면 컴파일러가 이를 알려 주므로 어떤 변형도 조용히 누락되지 않습니다.

나머지를 한 곳에서 처리하려면 else 분기를 추가하여 명시적으로 나열하지 않은 모든 변형을 처리합니다.

switch는 값을 생성할 수 있으므로 각 분기는 무언가를 반환합니다. 전체 switch의 결과를 한 단계에서 변수에 할당할 수 있습니다.

공용체에서 값을 복사해 꺼내지 않고 페이로드를 직접 변경하려면 |*field|처럼 포인터로 캡처합니다.

태그가 있는 공용체는 Zig의 안전한 합 타입입니다. 하나의 값이 여러 형태를 가질 수 있고, 컴파일러가 모든 경우를 빠짐없이 처리했는지 확인하는 switch를 사용합니다.

이 패턴은 토큰, AST 노드, 상태 기계에 특히 잘 맞습니다. 각 경우를 한 번씩 모델링하고 switch가 로직을 분배하게 하세요.

태그가 있는 공용체를 배웠습니다. union(enum)은 활성 변형을 추적합니다. switch로 변형을 처리하고, 막대로 페이로드를 캡처하면 컴파일러가 모든 경우를 처리하도록 강제합니다. 🧩