C# 15, 유니온 타입(Union Types) 지원! 개발 효율을 높이다.
C# 15에서 유니온 타입(Union Types) 지원을 통해 여러 타입의 데이터를 안전하게 처리할 수 있게 됨
Result<T, Error> 및 Option<T> 타입 구현을 통해 에러 처리 및 null 가능성 관리 용이
IUnion 인터페이스를 활용한 커스텀 유니온 타입 구현 및 switch 표현식을 통한 패턴 매칭 지원
성능 최적화를 위해 박싱(Boxing)을 피하는 TryGetValue() 메서드 구현 방법 제시
유니온 타입(Union Types)의 기본 개념과 활용
C# 15에서 도입된 유니온 타입(Union Types)은 여러 타입의 값을 하나의 타입으로 묶어 표현하는 기능이다. 특히, Result<T, Error> 타입과 같이 성공과 실패를 명확하게 구분해야 하는 경우나, Option<T> 타입과 같이 null 가능성을 관리해야 하는 상황에서 유용하게 사용될 수 있다. switch 표현식을 통해 각 케이스에 대한 처리를 간결하게 구현할 수 있으며, 컴파일러가 모든 케이스를 처리했는지 확인하여 안전성을 높인다.
유니온 타입(Union Types) 구현 방식 및 IUnion 인터페이스
C# 컴파일러는 유니온 타입을 구현하기 위해 IUnion 인터페이스와 [Union] 속성을 사용한다. IUnion 인터페이스는 Value 속성을 통해 유니온 타입 내의 값을 접근할 수 있도록 하며, [Union] 속성은 컴파일러가 유니온 타입을 생성하고, 암시적 변환 및 switch 표현식을 지원하도록 한다. 이러한 방식을 통해 개발자는 커스텀 유니온 타입을 쉽게 구현하고, 기존 코드와의 호환성을 유지할 수 있다.
성능 최적화를 위한 박싱(Boxing) 문제 해결
기본적인 유니온 타입 구현은 값 타입(Value Type)을 object 타입으로 박싱(Boxing)하여 힙(Heap)에 할당하는 문제를 발생시킨다. 이는 성능 저하의 원인이 될 수 있으며, 특히 핫 패스(Hot Path)에서 문제가 될 수 있다. 이를 해결하기 위해 TryGetValue() 메서드를 구현하여 박싱을 피할 수 있다. TryGetValue() 메서드는 각 케이스 타입에 대해 값을 직접 반환하며, switch 표현식에서 자동으로 사용된다.
커뮤니티의 반응과 개선점
커뮤니티에서는 유니온 타입의 도입을 긍정적으로 평가하면서도, case inexhaustiveness에 대한 경고가 footgun이 될 수 있다는 우려를 표명했다. 또한, OneOf 패키지와 같은 기존 라이브러리와의 비교를 통해 유니온 타입의 장단점을 분석하고, 구조적 타입(Structural Typing) 지원 부재에 대한 아쉬움을 나타냈다. cpurdy는 박싱 방식의 구현에 대해 비판적인 시각을 보이며, 개선의 필요성을 제기했다.
