05.Type.inference.md

5. 타입 추론

타입 추론이란

TS는 타입이 정의도어 있지 않은 변수의 타입을 자동으로 추론하는 것

let a = 10;
// number 타입으로 추론

따라서 TS는 프로그래머에게 모든 변수에 일일이 타입을 정의하지 않아도 되는 편리함을 제공함.

그러나 모든 상황에 타입을 잘 추론하는 것은 아님. 예를 들어 다음과 같이 함수의 매개변수 타입은 자동으로 추론할 수 없음

function func(param){ // 오류

}

그리고 이렇게 타입 추론이 불가능한 변수에는 암시적으로 any 타입이 추론됨. 그러나 엄격한 타입 검사 모드에서는 이런 암시적 any 타입의 추론을 오류로 판단하게 됨. 따라서 이번에는 어떤 상황에 타입 추론이 가능한지 살펴보자.

타입 추론이 가능한 상황들

1. 변수 선언

일반적인 변수 선언의 경우 초기값을 기준으로 타입이 잘 추론됨

let a = 10;
// number 타입으로 추론

let b = "hello";
// string 타입으로 추론

let c = {
  id: 1,
  name: "이정환",
  profile: {
    nickname: "winterlood",
  },
  urls: ["https://winterlood.com"],
};
// id, name, profile, urls 프로퍼티가 있는 객체 타입으로 추론

→ 복잡한 객체 타입도 문제 없이 잘 추론함

2. 구조 분해 할당

객체와 배열을 구조 분해 할당하는 상황에서도 타입이 잘 추론됨

let { id, name, profile } = c;

let [one, two, three] = [1, "hello", true];

3. 함수의 반환값

함수 반환값의 타입은 return 문을 기준으로 잘 추론됨

function func() {
  return "hello";
}
// 반환값이 string 타입으로 추론된다

4. 기본값이 설정된 매개변수

기본값이 설정된 매개변수의 타입은 기본값을 기준으로 추론됨

function func(message = "hello") {
  return "hello";
}

주의해야 할 상황들

1. 암시적으로 any 타입으로 추론

변수를 선언할 때 초기값을 생략하면 암시적인 any 타입으로 추론됨. 참고로 이때 매개변수의 타입이 암시적 any로 추론될 때와 달리 일반 변수의 타입이 암시적 any 타입으로 추론되는 상황은 오류로 판단하지 않음

let d;
// 암시적인 any 타입으로 추론

그리고 이 변수에 값을 할당하면 그 다음 라인부터 any 타입이 해당 값의 타입으로 변화함

let d;
d = 10;
d.toFixed();

d = "hello";
d.toUpperCase();
d.toFixed(); // 오류 

→ d=10; 다음 라인부터 d가 number 타입이 되고, d = “hello” 다음 라인부터는 d가 string이 됨

→ 따라서 마지막 라인 d가 string 타입일 때 toFixed같은 number 타입의 메서드를 사용하려고하면 오륙 ㅏ발생…

→ 이를 any의 진화라고 표현하기도 함

2. const 상수의 추론

const로 선언된 상수도 타입 추론이 진행됨. 그러나 let으로 선언한 변수와는 다른 방식으로 추론됨

const num = 10;
// 10 Number Literal 타입으로 추론

const str = "hello";
// "hello" String Literal 타입으로 추론

→ 상수는 초기화 떄 설정한 값을 변경할 수 없기 때문에 특별히 가장 좁은 타입으로 추론됨

최적 공통 타입(Best Common Type)

다음과 같이 다양한 타입의 요소를 담은 배열을 변수의 초기값을 설정하면, 최적의 공통 타입으로 추론됨

let arr = [1, "string"];
// (string | number)[] 타입으로 추론