코드 베이스의 유형을 감지하고 검증하는 것은 런타임 오류를 방지하는 데 도움이 됩니다. TypeScript에서는 이를 위해 타입 가드(type guard)와 타입 단언(type assertion)이라는 두 가지 주요 접근 방식을 제공합니다. 이번 글에서는 이 두 방식을 비교하고, 성능 측면에서 어떤 차이가 있는지 살펴볼 것입니다.

타입 가드와는 무엇인가?

타입 가드는 런타임에서 특정 유형의 변수를 점진적으로 확인하여 해당 유형에 대한 작업을 수행할 수 있도록 도와주는 TypeScript의 기능입니다. 이것은 JavaScript로 컴파일된 TypeScript 코드에서 더 세심한 유형 검사를 수행하여 런타임 오류를 줄이는 데 도움이 됩니다.

예를 들어, 다음과 같이 instanceof 연산자를 사용하여 타입 가드를 구현할 수 있습니다.

class Car {
    honk() {
        console.log('Beep beep');
    }
}

class Bicycle {
    ringBell() {
        console.log('Ring ring');
    }
}

function handleVehicle(vehicle: Car | Bicycle) {
    if (vehicle instanceof Car) {
        vehicle.honk(); // 컴파일러가 Car 타입으로 추론
    } else {
        vehicle.ringBell(); // 컴파일러가 Bicycle 타입으로 추론
    }
}

타입 단언이란 무엇인가?

타입 단언은 개발자가 컴파일러에게 “나는 이 변수가 특정 유형이다”라고 알려주는 것입니다. 주로 타입 가드로 충분한 유형 추론이 이루어지지 않을 때 사용됩니다. 이를 통해 컴파일러는 해당 변수를 지정된 유형으로 처리할 것이며, 따라서 런타임 오류가 줄어들게 됩니다.

다음은 타입 단언의 예시입니다.

let someValue: any = "this is a string";
let strLength: number = (someValue as string).length; // 컴파일러에게 someValue가 string 타입임을 알려줌

성능 비교

타입 가드와 타입 단언은 모두 런타임 오류를 방지하는 데 도움을 주지만, 성능 측면에서 약간의 차이가 있습니다. 타입 가드는 특정 조건에 따라 더 많은 유형 검사를 수행하므로 약간의 오버헤드가 발생할 수 있습니다. 반면, 타입 단언은 단순히 컴파일러에게 유형을 알려주는 것이므로 런타임에 추가적인 비용이 발생하지 않습니다.

그러나 실제로 이러한 차이가 애플리케이션의 성능에 미치는 영향은 보통 미미하며, 대부분의 상황에서 개발자가 읽기 쉽고 이해하기 쉬운 코드를 유지하는 것이 더 중요합니다.

두 가지 방법 모두 런타임 오류를 방지하는 데 도움이 되므로, 코드 내에서 일관되고 명확하게 사용하는 것이 중요합니다.

결론

타입 가드와 타입 단언은 TypeScript 코드에서 런타임 오류를 줄이는 데 도움을 줍니다. 두 가지 방법은 성능 면에서 약간의 차이가 있지만, 대부분의 경우에는 미미하며, 코드 가독성과 유지 보수성을 고려할 때 선택해야 합니다.

기술적 비교를 통해 동적 타입 언어의 런타임 오류 방지 향상을 위한 올바른 선택이 중요하다는 것을 알 수 있습니다.