Typescript: 할당성

할당성

서브타입과 수퍼타입의 관계는 모든 정적 타입 언어에서 중요한 개념이다
할당성 또한 중요하다
할당성이란 A 라는 타입을 B 라는 타입이 필요한 곳에 사용할 수 있는지를 결정하는 규칙을 의미한다

열거형이 아닌 타입에서는
다음의 규칙 중 하나를 만족하면 할당이 가능하다

1. A <: B
2. A 가 any

규칙1: 서브타입에 대한 정의로 A 가 B 의 서브타입이면 B 가 필요한 곳에는 A 를 사용할 수 있다
규칙2: 예외를 설명하며 자바스크립트 코드와 상호 운용할 때 유용하다

열거형의 경우 다음의 규칙 중 하나를 만족하면 할당이 가능하다

1. A 가 열거형 B 의 멤버인 경우
2. B 는 number 타입의 멤버를 최소 한 개 이상 가지고 있으며 A 는 number 인 경우

규칙 1: 단순 타입과 내용이 같다 (A 가 열거형 B 의 멤버라면 A 의 타입은 B 이고 B <: B 와 같다
규칙 2: 열거형 처리 시 편리하게 적용할 수 있다 (타입 안정성이 떨어지므로 열거형 자체를 사용하지 않는 편이 좋다)