01 타입스크립트 소개
02 ECMAScript
03 타입스크립트 기초 문법
04 인터페이스와 클래스
05 타입의 호환성
06 타입 시스템 심화
07 고급 타입
08 모듈과 네임스페이스
09 실제 프로젝트에서 사용하기
10 유용한 라이브러리 소개
부록 II : 자바스크립트 언어 생태계

5.5 제너릭의 호환성

타입스크립트가 제너릭 타입 간의 호환성을 판단하는 법에 대해 다룬다.

제너릭의 호환성은 기본적으로 객체의 호환성과 비슷하게 동작한다. 이 때 크게 두 가지 경우의 수가 있는데, 모든 타입 변수가 어떤 타입인지 알려진 경우와 그렇지 않은 경우이다. 공식 예제와 함께 살펴보자.

모든 타입 변수가 어떤 타입인지 알려진 경우

interface NotEmpty<T> {
data: T;
}
let x: NotEmpty<number>;
let y: NotEmpty<string>;

위의 예제에서 x와 y는 각각 NotEmpty<number>NotEmpty<string> 타입을 가진다. 하지만 이 경우, 제너릭 인터페이스의 정의를 잘 보면

  • NotEmpty<number>{ data: number }

  • NotEmpty<string>{ data: string } 으로

고쳐 씀으로써 타입 변수를 완전히 제거할 수 있다. 따라서 NotEmpty<number>NotEmpty<string>에 할당 가능한지 여부를 판단하는 일은 객체 타입간의 할당 여부를 판단하는 일과 다를 바 없다.

이 경우, numberstring에 할당 불가능하므로 아래와 같은 할당을 시도한다면 타입 에러가 날 것이다.

y = x; // 타입 에러

어떤 타입인지 알려지지 않은 타입 변수가 있는 경우

제너릭 타입의 호환성을 판단하는 시점에 타입 변수가 알려져 있지 않은 경우도 존재한다.

const identity = function<T>(x: T): T {
// ...
};
const reverse = function<U>(y: U): U {
// ...
};

이 때, identityreverse 함수의 타입에는 타입 변수가 남아 있다. 이럴 때에는 아직 남아 있는 타입 변수를 모두 any 타입으로 대체하고 호환성을 판단한다. 예를 들어 아래와 같은 할당은 허용된다.

identity = reverse;

타입 변수 Tany로 대체한 (x: any) => any 와 타입 변수 Uany로 대체한 (y: any) => any 는 서로 할당 가능한 타입이기 때문이다.