[TS] type-challenges: 43. Exclude

문제

T에서 U에 할당할 수 있는 타입을 제외하는 내장 제네릭 Exclude<T, U>를 이를 사용하지 않고 구현하세요.

 

type Result = MyExclude<'a' | 'b' | 'c', 'a'> // 'b' | 'c'

 

풀이

타입이 아닌 단순 문제였다고 생각해보자

function MyExclude(T, U) {
	if(T === U) return;
	else return T;
}

이런 느낌이다. T에 해당하는 타입들중 U와 같은 타입이 있다면 그건 반환하지 않고, 같지 않다면 반환하는 로직이다.

 

타입스크립트에서 ===에 해당하는 부분은 extends로 대체 가능하고

아무것도 반환하지 않는 경우는 never 이라는 타입으로 쓸 수 있겠다.

 

type MyExclude<T, U> = T extends U ? never : T;

 

출처

https://github.com/type-challenges/type-challenges/blob/main/questions/00043-easy-exclude/README.ko.md