[TypeScript] - 타입 추론

 

타입 추론

- 타입 추론이란 타입스크립트가 코드를 해석해 나가는 동작을 의미한다.

 

타입 추론의 기본

 

 

위와 같이 x에 대한 타입을 따로 지정하지 않더라도 일단 x는 number 로 간주한다 이렇게 변수를 서ㅏㄴ언하거나 초기화 할 때 타입이 추론된다 이외에도 변수 속성 인자의 기본 값 함수의 반환 값 등을 설정할 때 타입 추론이 일어난다 

 

가장 적절한 타입 

 

타입은 보통 몇 개의 표현식을 바탕으로 타입을 추론한다 그리고 그 표현식을 이용하여 가장 근접한 타입을 추론하게ㅐ 되는데 가장 근접한 타입을 가장 적절한 타입이라고 한다

 

 

위 변수 arr의 타입을 추론하기 위해서는 배열의 각 아이템을 살펴봐야 한다.

 

 

 

배열의 각 아이템의 타입은 크게 number와 null로 구분된다 이때 Best Common Type 알고리즘으로 다른 타입들과 가장 잘 호환되는 타입을 선정한다.

 

문맥상의 타이핑 

 

- 타입스크립트에서 타입을 추론하는 또 하나의 방식은 바로 문맥상으로 타입을 결정하는 것이다 이 문맨ㄱ상의 타이핑은 코드의 위치를 기준으로 일어난다.

 

 

위 예시를 보면 타입스크립트 검사기 관점에서 window.onmousedown에 할당되는 함수의 타입을 추론하기 위해 window.onmousedown 타입을 검사한다.

 

타입 검사가 끝나고 나면 함수의 타입이 마우스 이벤트와 연관이 있다고 추론하기 때문에 mouseEvent인자에

button 속성은 있지만 kangaroo 속성은 없다고 결론을 내린다.

 

위 예제를 보면 오른쪽의 함수는 window.onscroll 에 할당되었기 때문에 함수의 인자 uiEvent는 UIEvent으로 간주된다

 

UIEvent는 button 속성이 없다고 추론하기 때문에 error가 발생한다.

 

문맥상의 타이핑을 좀 더 이해하고자 한다면 위 예제처럼 코드를 바꿔볼 수 있다

오른쪽 함수 표현식이 앞의 예제와 동일하지만 함수가 할당되는 변수만으로 타입을 추정하기 어렵기 때문에 아무 에러가 나지 않는다.