[TS] 분산적인 조건부 타입
TIL
분산적인 조건부 타입type StringNumberSwitch = T extends number ? string : number;let a: StringNumberSwitch; // stringlet b: StringNumberSwitch; // number 위 조건부 타입에 Union을 할당해 보자.let c: StringNumberSwitch; // string | numbernumber | string은 number의 서브타입이 아니므로 number가 될 것 같지만, 실제로는 string | number가 된다. 동작 원리조건부 타입의 타입 변수에 Union 타입을 할당하면 분산적인 조건부 타입으로 동작한다.1단계: Union 타입 분리StringNumberSwitch은 다음과 같이 분리된다.Str..