타입스크립트는 정적 타입을 가진 언어로, 변수의 타입을 명시적으로 선언하지 않아도 값을 통해 타입을 추론할 수 있습니다. 이를 타입 추론이라고 합니다.

타입 추론의 예시

let num = 10; // 변수 num의 타입은 number로 추론됩니다.

위의 예시에서 num 변수에 값을 할당할 때, 타입스크립트는 할당된 값의 타입을 분석하여 num의 타입을 number로 추론합니다.

기본 타입 추론 규칙

타입스크립트의 타입 추론은 다음과 같은 규칙을 따릅니다.

• 변수가 선언될 때 초기화된 경우, 초기 값의 타입을 변수의 타입으로 추론합니다.
• 변수가 선언될 때 초기화되지 않은 경우, 타입은 any로 추론됩니다.

let str; // 변수 str의 타입은 any로 추론됩니다.
str = "hello"; // str은 이제 string 타입으로 추론됩니다.

함수의 반환값 타입 추론

함수에서 반환값의 타입도 타입 추론됩니다.

function greet() {
    return "Hello, world!"; // 함수의 반환값의 타입은 string으로 추론됩니다.
}

명시적 타입 주석과 타입 추론

명시적으로 타입을 주석으로 선언하는 것도 가능하지만, 변수의 초기화 값과 주석의 타입이 일치하지 않으면 컴파일러가 오류를 발생시킵니다.

let message: string; // 변수의 타입을 명시적으로 주석으로 선언
message = "Hello, world!"; // 변수의 값과 주석의 타입이 일치하므로 정상 동작
// message = 10; // 컴파일 오류: number 타입은 string 타입에 할당될 수 없습니다.

타입 추론은 코드를 간결하게 유지하는 동시에 안정성을 제공하는데 도움을 줍니다. 하지만 경우에 따라 명시적인 타입 주석이 필요한 상황도 있으므로 상황에 맞게 사용하는 것이 중요합니다.

결론

타입스크립트의 타입 추론은 코드 작성을 쉽게 만들어주면서도 타입 안정성을 유지할 수 있도록 도와줍니다. 변수, 함수, 반환값 등 여러 가지 요소에서 타입 추론이 적용되므로, 적극 활용하여 개발 생산성을 높이고 코드의 안정성을 유지할 수 있습니다.

참고 문헌: 타입스크립트 공식 문서

본 내용은 타입스크립트의 타입 추론에 대한 기본적인 이해를 제공하기 위한 것으로 실제 사용 시 타입스크립트의 공식 문서 및 정확한 규칙을 확인하는 것이 좋습니다.