LookUp : 유니온 타입에서 'type' 프로퍼티가 일치하는 타입 찾기

type LookUp1<U extends {type: string}, T extends string> = U['type'] extends T ? U : never;
type LookUp2<U extends {type: string}, T> = U extends { type : T } ? U : never;

타입스크립트에서는 타입 가드를 정의하기 위해서 각 인터페이스에 type이라는 프로퍼티로 미리 이름을 지정하기도 한다.

이 type이라는 키의 값이 'dog'이면 Dog 인터페이스고 'cat'이면 Cat 인터페이스라는 식이다.

따라서 LookUp<UnionTypeDefinition, T> 로 정의되는 어떤 타입에 대하여 type 이 T인 경우를 찾아주는 함수를 만들 수 있다.

이름에서 보다시피 마치 엑셀의 VLookUp처럼 동작하는 것이다.

하지만 위의 코드는 제대로 동작하지 않고, 둘 중 아래의 LookUp2만이 올바르게 동작한다.

왜 그럴까?

 

// LookUp1 에서는...
type a = Cat['type'] extends 'cat' ? true : false;
type b = Cat['type'] extends 'cat' ? Cat : never;
type c = (Cat|Dog)['type'] extends 'cat' ? Cat : never;
type d = (Cat['type']|Dog['type']) extends 'cat' ? Cat : never;
type e = ('dog'|'cat') extends 'cat' ? Cat : never; // 무조건 never일 수 밖에 없다.

이렇게 동작되기 때문이다.

즉 위의 LookUp1은 유니온 타입에 대해서 분배법칙이 제대로 동작하질 못한다.