타입스크립트 - 타입 추론(Type Inference)

🎯목적 :

TS  타입 추론(Type Inference), 정리 및 복습

 

---

1. 타입추론 이란?

정적타입 언어를 사용할 때 단점은 타입을 정의하는데

시간과 노력이 많이 필요해서 생산성이 저하될 수 있다.

 

TS의 경우 다양한 경우에 대해 타입추론을 제공하기 때문에 꼭 필요한 경우에만 타입을 정의할 수 있다.

// Type Inference

let abc = "abc"; // string
let number = 2; // number

// abc = 123; // Error
// number = "abcd"; // Error

const n1 = 123; // string
const n2 = "123"; // number

const array2 = [1, 2, 3]; // Array
const [x1, x2, x3] = array2; // Array
// array2.push('a'); // Error

const obj = { numId: 1, stringId: "1" };
const { numId, stringId } = obj;
console.log("👉👉  obj", numId === stringId); // Error

 

 

---

2.  함수의 타입추론

함수에서는 파라미터와, 함수의 타입도 추론이 가능하다

 

// 함수의 타입 추론
const func1 = (a = 1, b = "b") => {
  return `${a}, ${b}`;
};
// const test_ = func1(3, 5); // Error 타입추론으로 파라미터 b의 타입은 string 이기 때문.
// const test_2: number = func1(3, 5); // Error 타입추론으로 string을 return하기 때문.

//    vv 여기서 return 값이 number | string 을 추론 하고있음.
const func2 = (value: number) => {
  if (value < 10) {
    return value;
  } else {
    return `${value} is big`;
  }
};

const teste1 = func2(9);
console.log("👉👉  teste1", teste1);

const teste2 = func2(11);
// const teste2 = func2("11"); // Error 파라미터에서 받는 값이 number이기 때문에 에러 발

다만 함수에 default를 지정했을 경우,

 

타입이 지정된 것으로 간주해 다른 타입의 데이터가 들어오면

에러를 발생시킨다.

 

---

 

 최종 정리 

1. 타입추론은 타입스크립트가 코드를 해석해나가는 동작을 의미
2. 타입을 정의하는데 시간과 노력이 많이 필요해서 생산성이 저하
3. 다양한 경우에 대해 타입추론을 제공하기 때문에 필요한 경우에만 타입을 정의할 수 있다.