<aside> 💡 타입 추론에서 발생할 수 있는 몇 가지 문제와 그 해법을 알아보자.

[ 알 수 있는 것 ]

• ts가 어떻게 타입을 추론하는지
• 언제 타입 선언을 작성해야 하는지
• 타입 추론이 가능해도 명시적으로 타입 선언을 작성해야 하는 상황은 언제인지

</aside>

item 19

• 타입 추론이 된다면 명시적 타입 구문은 필요하지 않음.

• 가독성을 해치고 추후 정의한 타입을 변경할 때 자동으로 추론된 타입은 역시나 자동으로 타입을 입력하지만 하드하게 적어주면 오류를 내어 다시 하드하게 바꿔줘야 하기 때문.

• 비구조화 할당문은 모든 지역 변수의 타입이 추론되도록 함.

• 일반적으로 함수의 매개 변수는 타입 추론이 되지 않지만 기본 값이 있을 경우엔 타입 추론이 되기 때문에 추가로 타입을 지정해줄 필요가 없음.

• 타입 정보가 있는 라이브러리에서, 콜백 함수의 매개변수 타입은 자동으로 추론됨.

  // Don't do this:
      app.get('/health', (request: express.Request, response: express.Response) => {
        response.send('OK');
  });
  
  // Do this:
      app.get('/health', (request, response) => {
        response.send('OK');
  });
  

• 그럼에도 불구하고 타입을 명시하고 싶은 경우

  • 객체 리터럴을 정의해 잉여 속성 체크를 동작시키고 싶을 때.
  • 함수의 반환 타입. 구현상의 오류를 체크하기 위함 + 구현 상의 오류가 사용자 코드의 오류로 표시되지 않음.

• eslint 규칙 중 no-inferrable-types를 사용해 작성된 모든 타입이 정말 필요한지 확인할 수 있음.

item 20

• let 등으로 선언한 변수의 값은 바뀔 수 있지만 그 타입은 보통 바뀌지 않음.
• ex) let a = ‘123’으로 선언 후 a=123로 다시 선언했을 때 타입 추론은 여전히 string임.
• 해결 방법

  1. 유니온 타입으로 범위 확장하기 ex) string | number 이 방법은 앞으로의 더 많은 문제를 일으킬 수 있음.

  2. 다른 타입에는 다른 변수 사용하기 scope가 달라 같은 변수명이어도 shadowed 변수라면 다른 변수를 사용하지 않아도 됨.

     const id = "12-34-56"; fetchProduct(id);
     
     {
     	const id = 123456; // OK 
     	fetchProductBySerialNumber(id); // OK
     }
     

item 21

• 타입스크립트는 지정된 단일 값을 가지고 할당 가능한 값들의 집합을 유추하는데 이를 넓히기라고 함.
• 넓히기로 인해 오류가 발생되면, 명시적 타입 구문 또는 const 단언문을 추가하는 것을 고려하자.