타입스크립트에서 타입 가드(Type Guard)는 무엇인가요?

Q1: 타입스크립트에서 타입 가드란 무엇인가요?
타입 가드는 런타임에서 변수의 실제 타입을 좁혀서 컴파일러가 더 정확한 타입 추론을 할 수 있게 도와주는 표현식입니다. 이를 통해 특정 타입임을 확인한 후 해당 타입에 맞는 안전한 코드 작성을 가능하게 합니다.

Q2: 타입 가드를 사용하는 이유는 무엇인가요?
자바스크립트는 동적 타입 언어라 변수 타입이 실행 중에 바뀔 수 있으므로, 타입스크립트에서는 컴파일러가 변수의 타입을 정확히 알지 못할 때가 많습니다. 타입 가드를 통해 타입을 좁히면 런타임 에러를 방지하고, 코드 자동완성 및 타입 검사를 강화할 수 있습니다.

Q3: 타입 가드는 어떻게 작성하나요?
주로 다음과 같은 방법으로 작성합니다.
- `typeof` 연산자 사용: 원시 타입 검사
```ts
if (typeof x === "string") { /* x는 string */ }
```
- `instanceof` 연산자 사용: 클래스 인스턴스 검사
```ts
if (obj instanceof Date) { /* obj는 Date */ }
```
- 사용자 정의 타입 가드 함수 작성: 반환 타입에 `parameterName is Type` 표시
```ts
function isNumber(x: any): x is number {
return typeof x === "number";
}

if (isNumber(value)) { /* value는 number */ }
```
- `in` 연산자 사용: 특정 프로퍼티 존재 여부 검사
```ts
if ("prop" in obj) { /* obj는 prop 프로퍼티가 있음 */ }
```

Q4: 사용자 정의 타입 가드 함수란 무엇인가요?
특정 조건으로 타입을 판별하여, 함수 반환 타입에 `parameterName is Type` 형식의 타입 술어를 사용하는 함수입니다. 이를 통해 if문 등의 조건문 내에서 변수 타입을 좁혀줍니다.

Q5: 타입 가드 사용 시 주의할 점은? - 타입 가드는 반드시 타입을 명확히 좁히는 조건이어야 합니다. 오동작하거나 모호하면 타입스크립트가 타입 추론을 하지 못합니다.
- 사용자 정의 타입 가드 함수는 `parameterName is Type`형식으로 반환 타입을 명시해야 효과적입니다.
- 런타임 오버헤드가 크거나 복잡한 로직으로 작성할 경우 디버깅이 어려워질 수 있습니다.

Q6: 타입 가드와 타입 단언(type assertion)의 차이는 무엇인가요?
- 타입 가드는 런타임에서 안전하게 타입을 좁혀주고 컴파일러가 타입을 추론하도록 도와줍니다.
- 타입 단언은 컴파일러에 "이 변수가 이 타입이다"라고 강제로 선언하는 것으로, 런타임 검증이 없으므로 잘못 사용 시 에러가 발생할 수 있습니다.

Q7: 타입 가드 예시를 보여주세요.
```ts
function printId(id: number | string) {
if (typeof id === "string") {
console.log(id.toUpperCase()); // id는 string으로 좁혀짐
} else {
console.log(id.toFixed(2)); // id는 number로 좁혀짐
}
}

function isDate(value: any): value is Date {
return value instanceof Date;
}

function process(value: string | Date) {
if (isDate(value)) {
console.log(value.toISOString());
} else {
console.log(value.trim());
}
}
```

---

요약하면, 타입스크립트의 타입 가드는 런타임에서 변수의 타입을 좁혀 타입 안전성을 높이고, 더 정확한 타입 추론과 코드 완성, 오류 방지를 돕는 기법입니다.

타입스크립트(TypeScript)는 자바스크립트의 상위 집합으로, 정적 타입 시스템을 제공하여 코드의 안정성과 가독성을 높여줍니다.

타입 가드(Type Guard)는 타입스크립트에서 변수의 타입을 좁히거나 확인하는 데 사용되는 기법으로, 런타임에서 특정 조건에 따라 변수의 타입을 결정할 수 있게 해줍니다.

이를 통해 개발자는 보다 안전하고 예측 가능한 코드를 작성할 수 있습니다.

타입 가드의 필요성 자바스크립트는 동적 타이핑 언어이기 때문에 변수의 타입이 런타임에 결정됩니다.

이로 인해 타입 관련 오류가 발생할 수 있으며, 이러한 오류는 런타임에서만 발견되기 때문에 디버깅이 어려울 수 있습니다.

타입스크립트는 이러한 문제를 해결하기 위해 정적 타입 검사를 도입했지만, 여러 타입을 가질 수 있는 변수(예: 유니온 타입)에서는 타입을 명확히 구분해야 할 필요가 있습니다.

이때 타입 가드가 유용하게 사용됩니다.

타입 가드의 종류 타입 가드는 여러 가지 방법으로 구현할 수 있으며, 주요 방법은 다음과 같습니다.

1. typeof 연산자 : `typeof` 연산자는 기본 데이터 타입(예: string, number, boolean 등)을 확인하는 데 사용됩니다.

이를 통해 변수의 타입을 좁힐 수 있습니다.

```typescript function example(value: string | number) { if (typeof value === "string") { console.log(value.toUpperCase()); // value는 string 타입 } else { console.log(value.toFixed(

2)); // value는 number 타입 } } ```

2. instanceof 연산자 : `instanceof` 연산자는 객체가 특정 클래스의 인스턴스인지 확인하는 데 사용됩니다.

이를 통해 객체의 타입을 좁힐 수 있습니다.

```typescript class Dog { bark() { console.log("Woof!"); } } class Cat { meow() { console.log("Meow!"); } } function makeSound(animal: Dog | Cat) { if (animal instanceof Dog) { animal.bark(); // animal은 Dog 타입 } else { animal.meow(); // animal은 Cat 타입 } } ```

3. 사용자 정의 타입 가드 : 사용자 정의 타입 가드는 함수의 반환 타입을 사용하여 특정 조건에 따라 타입을 좁히는 방법입니다.

이때 반환 타입은 `value is Type` 형식으로 지정합니다.

```typescript interface Fish { swim: () => void; } interface Bird { fly: () => void; } function isFish(animal: Fish | Bird): animal is Fish { return (animal as Fish).swim !== undefined; } function move(animal: Fish | Bird) { if (isFish(animal)) { animal.swim(); // animal은 Fish 타입 } else { animal.fly(); // animal은 Bird 타입 } } ```

4. in 연산자 : `in` 연산자는 객체가 특정 속성을 가지고 있는지 확인하는 데 사용됩니다.

이를 통해 객체의 타입을 좁힐 수 있습니다.

```typescript interface Car { drive: () => void; } interface Bicycle { pedal: () => void; } function useVehicle(vehicle: Car | Bicycle) { if ("drive" in vehicle) { vehicle.drive(); // vehicle는 Car 타입 } else { vehicle.pedal(); // vehicle는 Bicycle 타입 } } ``` 타입 가드의 장점 1. 안전성 : 타입 가드를 사용하면 코드의 안전성을 높일 수 있습니다.

타입스크립트는 타입을 명확히 구분하기 때문에, 잘못된 타입에 대한 접근을 방지할 수 있습니다.



2. 가독성 : 코드의 가독성이 향상됩니다.

타입 가드를 통해 변수의 타입을 명확히 알 수 있으므로, 다른 개발자가 코드를 이해하기 쉬워집니다.



3. 자동 완성 : IDE에서 타입 가드를 사용하면, 변수의 타입이 좁혀지기 때문에 자동 완성 기능이 더욱 정확하게 작동합니다.

결론 타입스크립트의 타입 가드는 변수의 타입을 안전하게 확인하고 좁히는 데 매우 유용한 도구입니다.

다양한 방법을 통해 타입을 확인할 수 있으며, 이를 통해 코드의 안정성과 가독성을 높일 수 있습니다.

타입스크립트를 사용하는 개발자라면 타입 가드를 적극적으로 활용하여 보다 안전하고 효율적인 코드를 작성하는 것이 중요합니다.