타입스크립트는 정적 타입 언어로, 변수의 타입을 명시적으로 선언할 수 있습니다. 그러나 때로는 여러분이 타입을 명시적으로 선언하지 않아도 타입스크립트가 해당 변수의 타입을 유추할 수도 있습니다. 이것이 타입 추론입니다.

타입 추론의 원리

타입스크립트는 변수가 선언될 때 해당 변수를 초기화하는 값에 따라 해당 변수의 타입을 추론합니다. 또한, 변수를 사용하는 방식과 해당 변수를 할당하는 방식도 타입 추론에 영향을 줍니다.

예를 들어, 다음 코드를 살펴봅시다.

let x = 3;

위의 코드에서 x 변수의 타입은 숫자로 추론됩니다. 왜냐하면 3이라는 초기값이 숫자이기 때문입니다.

또 다른 예로, 다음 코드를 살펴봅시다.

let arr = [1, 2, 3];

위의 코드에서 arr 변수의 타입은 number[](숫자 배열)로 추론됩니다. 왜냐하면 배열의 각 요소가 숫자이기 때문입니다.

명시적 타입과 타입 추론

명시적 타입 선언은 코드의 가독성을 높이고 오류를 줄이는 데 도움을 줄 수 있지만, 타입 추론은 코드를 더 유연하게 만들어 줄 수 있습니다. 따라서 프로젝트의 요구에 따라 적절하게 사용하는 것이 중요합니다.

타입 추론은 타입스크립트를 편리하게 사용할 수 있도록 도와줍니다. 그러나 항상 코드를 이해하기 쉽고 유지보수하기 쉽도록 명시적인 타입 선언을 고려해야 합니다.

References

• Type Inference - TypeScript official documentation