분산적인 조건부 타입 섹션 질문

어 저도 뭔가 같은? 이상함을 느껴서 생각해봤는데

number| boolean | string 이 수퍼 타입이에요!!

number| boolean | string extends number는

수퍼타입 extends 서브타입인거에요. 말이 안되죠.

이전에 배운

type a = {
name: string
}

type b = {
name: string;
age: 
}

에서 type a가 수퍼타입, type b가 서브타입이었다는 것 때문에 착각하신 것 같아요.

안녕하세요 이정환입니다.

T extends number ? ...와 같은 조건부 타입에서

[T] extends [number] ? ...와 같이 extends 양쪽을 모두 대괄호로 감싸주시면 이 조건부 타입은 이제 분산적이지 않은 조건부 타입으로 동작하게 됩니다.

따라서 이때의 d 의 타입 StringNumberSwitch<boolean | number | string>은 다음과 같이 계산됩니다.

1. 타입변수에 타입 할당 : T = boolean | number | string

2. 조건식 boolean | number | string extends number은 거짓이 됨

3. 이 조건부 타입은 조건이 참일 경우 string 거짓일 경우 number 타입을 반환하므로 결과는 number타입이 됨