타입 추론은 TypeScript에서 변수나 매개변수의 타입을 해당 값의 타입을 기반으로 추측하는 기능으로, 보다 간편하게 코드를 작성할 수 있도록 도와줍니다. 그러나 때로는 타입 추론이 원하는 대로 동작하지 않을 때가 있습니다. 이때 명시적으로 타입을 지정해주는 것이 도움이 될 수 있습니다.

타입 추론의 문제점

타입 추론의 문제점은 때로는 우리가 예상한 것과 다르게 타입을 추론할 수 있다는 것입니다. 예를 들어, 다음과 같은 예제가 있습니다.

let x = 3;
x = "hello"; // 에러: string 타입은 number 타입에 할당될 수 없습니다

위 예제에서 x는 초기 값으로 숫자 3을 할당했지만, 나중에 문자열을 할당할 경우 에러가 발생합니다. 대부분의 경우 TypeScript는 변수의 초기 값이나 함수의 매개변수를 통해 타입을 추론하지만, 때때로 이러한 추론이 예상과 다르게 이루어질 수 있습니다.

명시적인 타입 어노테이션

이러한 문제를 해결하기 위해 우리는 명시적으로 타입을 지정할 수 있습니다. 다음은 위 예제를 명시적으로 타입을 지정해준 예제입니다.

let x: number = 3;
x = "hello"; // 에러: string 타입은 number 타입에 할당될 수 없습니다

이렇게 명시적으로 타입을 지정해주면 TypeScript는 해당 타입을 사용하고, 변수나 매개변수를 선언한 시점에서 타입이 어떤 형태인지 명확하게 알 수 있습니다.

결론

타입 추론은 TypeScript의 강력한 기능이지만, 때로는 우리가 의도한 대로 동작하지 않을 수 있습니다. 이때 명시적인 타입 어노테이션을 사용하여 원하는 타입을 명확하게 지정해줄 수 있습니다. 이는 코드의 가독성을 높여주고, 잠재적인 버그를 사전에 방지할 수 있는 좋은 방법입니다.