[이펙티브 타입스크립트] 타입 추론과 타입 넓히기

타입스크립트가 결국 타입을 위한 언어이기 때문에, 변수를 선언할 때마다 타입을 명시해야 한다고 생각할 수 있다. 그러나 타입스크립트의 많은 타입 구문은 사실 불필요하다.

이렇게 아무 생각없이 명시했던 타입들이 있다. 하수의 코드. 타입 추론이 된다면 명시적 타입 구문은 필요하지 않다. 오히려 코드가 길어지고 가독성이 안좋아질 수 있기 때문에.

하지만 타입이 추론될 수 있음에도 타입을 명시하는 것이 더 좋은 몇가지 상황들이 있다. 더 정확한 위치에 오류를 표시하기 위함이다.

• 객체 리터럴을 정의할 때
• 함수의 반환값을 명시할 때

---

타입 넓히기

let 으로 선언하는 경우. 값이 재할당될 가능성이 있다.
따라서 처음 초기화한 값을 가지고 할당 가능한 값들의 집합을 유추해야 함.
어느정도 가능성을 열어주기 위해서 타입 넓히기를 한다.

 

해결하기 위해서

• 명시적 타입 구문
• 추가적인 문맥 제공 (함수의 매개변수로 전달. 매개변수의 타입이 지정되어 있다면 그걸로 되니까) ->26
• const 단언문 사용 (as const) -> 최대한 좁은 타입으로 추론함
  • 타이핑을할때 리터럴 타입으로 보는거야
  • 객체의 경우에는 readonly 변수로 추론

 

type Language = 'Javascript' | 'Typescript' | 'Python';
function setLanguage(language: Language){/* ... */}

let language = 'Javascript';
setLanguage(language);     // 'string' 형식의 인수는 
                           // 'Langugae' 형식의 매개변수에 할당될 수 없습니다

let 변수로 분리하면, 타입스크립트는 할당 시점에 타입을 추론한다. 타입 넓히기가 적용되어서 string 타입으로 추론하게 된다. string타입은 Language 타입에 할당 불가능하므로 오류가 발생한다.

 

명시적 타입 구문

let language: Language = 'JavaScript'

타입 선언에서 language의 가능한 값을 제한한다.

 

추가적인 문맥 제공

setLanguage('Javascript')

인라인 형태에서 타입스크립트는 함수 선언을 통해 매개변수가 Language 타입이어야 한다는 것을 알고 있다. 따라서 'Javascript' 문자열 리터럴은 할당 가능하다.

 

const 변수로 선언

const language = 'Javascript

타입체커에게 변경할 수 없는 값이라고 알려준다. 따라서 더 정확한 타입인 문자열 리터럴로 추론할 수 있다.

 

---

 

타입 좁히기

• null 걸러주기
• 타입 가드
• 타입에 명시적 태그 사용