# 타입스크립트 타입 추론 / 단언 / 가드
# 타입 추론
타입스크립트가 해당 코드를 판단하는 기준에 대해 알아봅니다.
# 기본
타입스크립트는 코드에서 변수를 선언하거나, 할당 할때 추론이 일어납니다.
let x = 3; // 선언함으로 x는 number라는 추론 일어남
또는 함수를 선언하고, 파라미터에 기본값을 넣으면 추론 일어납니다.
// 파라미터에 기본값을 선언함으로 b는 number라는 추론이 일어남
function test(b = 10) {
return b;
}
# 인터페이스 추론
interface DropDown<T> {
value: T;
title: string;
}
interface DetailedDropDown<K> extends DropDown<K> {
des: string;
tag: K;
/** extends에 의해 아래 타입이 추가됨
* value: K, title: string
* */
}
// 인터페이스의 제네릭의 값에 따라 정의된 타입이 론되는 상황
let shoppingItem: DropDown<string> = { value: "test", title: "test2" };
let detailedItem: DetailedDropDown<string> = {
value: "test3",
title: "test4",
des: "test5",
tag: "test6"
};
# best common type 추론 방식
배열 안에 여러 타입이 정의된 경우 추론은 유니온 타입으로 정의됩니다
const arr = [1, 2, true, "string"]; // (number | boolean | string)[]
# 타입 단언 (type assertion)
타입스크립트에서 추론하는 값보다 개발자가 해당 변수의 타입을 더 잘 알고있을때, 변수에 원하는 타입을 강제로 부여합니다.
let a;
a = "20";
a = 10;
let b = a;
// ts에서 a는 any로 추론하기 때문에 b도 any라고 ts는 추론한다.
// 그러나 개발자는 b가 10
// 즉, number임을 알기 때문에 b에 number를 강제로 assertion 한다
let b = a as number;
DOM Api를 조작할 때, 가장 많이 사용합니다. (querySelector, getElementById 등등)
let div = document.querySelector(".container");
div.innerText = "..."; // error: Object is possibly null.
위처럼 정의하면 div는 container이라는 class가 없을 수 있기 때문이다. HTMLDivElement | null
이라는 타입을 보장받습니다. 타입 단언을 모른다면 null을 타입 가드 시켜주기 위해 아래와 같이 코드를 짭니다.
let div = document.querySelector(".container");
if (div) {
div.innerText = "...";
}
만약 container이라는 class가 코드가 실행되는 시점에 무조건 존재한다라고 개발자가 확신한다면 type assertion을 이용하여 타입 가드를 제거하고 타입 단언으로 null 값을 제거합니다.
let div = document.querySelector(".container") as HTMLDivElement;
div.innerText = "...";
# 타입 가드 (type guard)
함수의 파라미터로 유니온 타입이 지정되는 경우 타입이 2개 이상임으로 공통되는 속성만 사용이 가능합니다. 이럴 경우 각 타입을 분기 처리하여 타입별로 로직을 분리 하기 위한 작업입니다.
interface Dev {
name: string;
skill: string;
}
interface Person {
name: string;
age: number;
}
function introduce(): Dev | Person {
return { name: "d", age: 33, skill: "c" };
}
const tony = introduce(); // Dev | Person 으로 공통된 속성만 사용가능. 즉, tony.skill 불가
// skill을 빼고 싶다면? -> type assertion으로 사용 가능
if ((tony as Dev).skill) {
console.log((tony as Dev).skill);
} else if ((tony as Person).age) {
console.log((tony as Person).age);
}
// 너무 assertion을 많이 씀으로 타입 가드 함수를 만든다.
// 타입 가드 정의
// target is Dev -> 넘겨 받은 파라미터가 해당 타입인지를 확인
function isDev(target: Dev | Person): target is Dev {
// skill이 있다면 Dev이다
return (target as Dev).skill !== undefined;
}
if (isDev(tony)) {
// name, skill 사용 가능
console.log(tony.skill);
} else {
// name, age 사용 가능
console.log(tony.age);
}