유형 추론(Type inference)은 TypeScript에서 변수의 유형을 지정하지 않아도 컴파일러가 변수의 사용에 따라 유형을 추론하는 기능입니다. 이는 코드를 간결하게 작성하고 오류를 줄이는 데 도움이 됩니다.

기본적인 유형 추론

일반적으로 TypeScript에서 변수를 선언할 때, 유형을 지정하지 않으면 컴파일러가 할당된 값으로부터 유형을 추론합니다.

예를 들어:

let num = 10; // num의 유형은 number로 추론됨
let str = "hello"; // str의 유형은 string으로 추론됨

함수의 반환 유형으로 추론

함수의 반환 유형을 지정하지 않으면, 컴파일러는 함수의 본문을 분석하여 반환하는 값의 유형을 추론합니다.

function add(a: number, b: number) {
    return a + b; // 반환값에 따라 add 함수의 유형은 (a: number, b: number) => number로 추론됨
}

유형 가드와 유형 추론

TypeScript에서 “유형 가드”는 조건문을 사용하여 특정 유형으로 값을 필터링할 수 있는 구문입니다. 이러한 유형 가드를 사용하면 컴파일러가 자동으로 해당 유형으로 유형을 추론합니다.

예를 들어:

function isString(value: any): value is string {
    return typeof value === 'string';
}

let input: any = "hello";
if (isString(input)) {
    console.log(input.toUpperCase()); // input의 유형은 여기서 string으로 추론됨
}

결론

유형 추론을 사용하면 TypeScript에서 유형을 명시적으로 지정하지 않아도 자동으로 유형을 추론하여 코드를 작성할 수 있습니다. 이를 통해 코드의 가독성을 유지하고 오류를 줄일 수 있습니다.

더 많은 정보는 TypeScript 공식 문서를 참고하시기 바랍니다.