[제네릭] 제네릭 인터페이스, 제네릭 타입 별칭
해당 게시글은
강의 사이트, 인프런에서 이정환님이 진행하시는
'한 입 크기로 잘라먹는 타입스크립트' 를
들어보며 블로그를 작성하려고 합니다.
다음 게시글 내용은 해당 강의에 핸드북의 내용으로
출처는 다음과 같습니다.
https://ts.winterlood.com/7250edd7-a3fd-4662-b756-f11f927c73f2
타입스크립트를 소개합니다 - 타입스크립트 개론
한 입 크기로 잘라먹는 타입스크립트
ts.winterlood.com
section7/chapter3.ts 에서 실습을 진행했습니다.
제네릭 인터페이스
제네릭은 인터페이스에도 적용할 수 있습니다.
다음과 같이 인터페이스에 타입 변수를 선언해 사용하면 됩니다.
interface KeyPair<K, V> {
key: K;
value: V;
}키페어(keyPair)를 저장하는 객체의 타입을
제네릭 인터페이스로 정의했습니다.
다음과 같이 변수의 타입으로 정의해 사용할 수 있습니다.
let keyPair: KeyPair<string, number> = { ①
key: "key",
value: 0,
};
let keyPair2: KeyPair<boolean, string[]> = { ②
key: true,
value: ["1"],
};① 변수 ketPair 의 타입으로 KeyPair<string, number> 를 정의했습니다. 그 결과 K 에는 string, V 에는 number 타입이 각각 할당되어 key프로퍼티는 string 타입이고, value프로퍼티는 number 타입인 객체 타입이 됩니다. 따라서 값으로 해당 타입의 객체를 저장합니다.
② 변수 keyPair2 의 타입으로 Keypair<boolean, string[]> 를 정의했습니다. 그 결과 K에는 boolean, V 에는 string[] 타입이 각각 할당되어 key프로퍼티는 boolean 타입이고, value프로퍼티는 string[] 타입인 객체 타입이 됩니다. 따라서 값으로 해당 타입의 객체를 저장합니다.
이때 주의해야 할 점이 한 가지 있는데
제네릭 인터페이스는 제네릭 함수와는 달리
변수의 타입으로 정의할 때
반드시 꺽쇠와 함께 타입 변수에 할당할 타입을 명시해주어야 합니다.
그 이유는
제네릭 함수는 매개변수에 제공되는 값의 타입을 기준으로
타입 변수의 타입을 추론할 수 있지만,
인터페이스는 마땅히 추론할 수 있는 값이 없기 때문입니다.
인덱스 시그니처와 함께 사용하기
제네릭 인터페이스는 인덱스 시그니처와 함께 사용하면
다음과 같이 기존보다 훨씬 더 유연한 객체 타입을 정의할 수 있습니다.
interface Map<V> {
[key: string]: V;
}
let stringMap: Map<string> = {
key: "value",
};
let booleanMap: Map<boolean> = {
key: true,
};① 한 개의 타입 변수 V 를 갖는 제네릭 인터페이스 Map 을 정의했습니다. 이 인터페이스는 인덱스 시그니처로 key 의 타입은 string, value 의 타입은 string 인 모든 프로퍼티를 포함하는 객체 타입으로 정의됩니다.
② 변수 stringMap 의 타입을 Map<string> 으로 정의했습니다. 따라서 V 가 string 타입이 되어 이 변수의 타입은 key 는 string 이고, value 는 string 인 모든 프로퍼티를 포함하는 객체 타입으로 정의됩니다.
③ 변수 booleanMap 의 타입을 Map<boolean> 으로 정의했습니다. 따라서 V 가 boolean 타입이 되어 이 변수의 타입은 key 는 string 이고, value 는 boolean 인 모든 프로퍼티를 포함하는 객체 타입으로 정의됩니다.
제네릭 타입 별칭
인터페이스와 마찬가지로
타입 별칭에도 역시 제네릭을 사용할 수 있습니다.
type Map2<V> = {
[key: string]: V;
};
let stringMap2: Map2<string> = {
key: "string",
};제네릭 타입 별칭을 사용할 때에도
제네릭 인터페이스와 마찬가지로 타입으로 정의될 때
반드시 타입 변수에 설정할 타입을 명시해 주어야 합니다.
제네릭 인터페이스 활용 예
제네릭 인터페이스의 실용 사례를 하나 소개합니다.
개발자 또는 학생이 이용하는 어떤 프로그램이 있다고 가정합니다.
interface Student { ①
type: "student";
school: string;
}
interface Developer { ①
type: "developer";
skill: string;
}
interface User { ②
name: string;
profile: Student | Developer;
}
function goToSchool(user: User<Student>) { ③
if (user.profile.type !== "student") {
console.log("잘 못 오셨습니다");
return;
}
const school = user.profile.school;
console.log(`${school}로 등교 완료`);
}
const developerUser: User = {
name: "이정환",
profile: {
type: "developer",
skill: "typescript",
},
};
const studentUser: User = {
name: "홍길동",
profile: {
type: "student",
school: "가톨릭대학교",
},
};① 학생을 의미하는 Student 와 개발자를 의미하는 Developer 타입을 정의했습니다. 두 타입 모두 String Literal 타입의 type 프로퍼티를 갖고 있으며, 서로소 유니온 타입입니다.
② 학생일 수도 개발자일 수도 있는 User 타입을 정의합니다. 특정 객체가 학생이라면 profile 프로퍼티에 Student 타입의 객체가 저장될 것이고, 그렇지 안핟면 Developer 타입의 객체가 저장될 것입니다.
③ 학생 유저만 이용할 수 있는 함수 goToSchool 을 선언했습니다. 이 함수에서는 일단 User 타입의 객체를 받아 타입을 좁혀 이 유저가 학생일 때만 "등교 완료" 를 콘솔에 출력합니다.
위 코드는 겉으로 보았을 때에는
지금 당장은 별 문제가 없어보입니다.
그러나 학생만 할 수 있는 기능이 점점 많아진다고 가정하면
매번 기능을 만들기 위해 함수를 선언할 때마다 조건문을 이용해 타입을 좁혀야 하기 때문에
결국 매우 불편해질 겁니다.
게다가 타입을 좁히는 코드는 중복 코드가 될 것입니다.
이럴 때 바로 제네릭 인터페이스를 이용하면 좋습니다.
다음과 같이 User 인터페이스를 제네릭 인터페이스로 업그레이드합니다.
interface Student {
type: "student";
school: string;
}
interface Developer {
type: "developer";
skill: string;
}
interface User<T> {
name: string;
profile: T;
}
function goToSchool(user: User<Student>) {
const school = user.profile.school;
console.log(`${school}로 등교 완료`);
}
const developerUser: User<Developer> = {
name: "이정환",
profile: {
type: "developer",
skill: "TypeScript",
},
};
const studentUser: User<Student> = {
name: "홍길동",
profile: {
type: "student",
school: "가톨릭대학교",
},
};그럼 이제 goToSchool 함수의 매개변수 타입을
User<Student> 처럼 정의해
학생 유저만 이 함수의 인수로 전달하도록 제한할 수 있습니다.
결과적으로 함수 내부에서 타입을 좁힐 필요가 없어지므로
코드가 훨씬 간결해집니다.