[타입스크립트] 제네릭 타입 명시 주의사항

 

1. 제네릭 타입 명시 주의사항

제네릭의 타입을 명시할 때는 모든 필요한 제네릭 타입을 명시하거나 반대로 아무 것도 명시해서는 안 된다.

인수 배열 멤버의 타입을 대변하는 T, 반환 배열 멤버 타입을 대변하는 U 이렇게 두 가지 제네릭 타입이 필요하다. T타입의 요소를 포함하는 배열을 전달하면 매핑 함수가 T 타입의 값을 가지고 U 타입의 값으로 변환한다. 그리고 최종적으로 U 타입의 항목을 포함한느 배열을 반환한다.

 

즉, 이렇게 쓰거나 ( 타입 명시)

function map<T, U>(array: T[], f: (item: T) => U): U[] {
  let result = [];
  for (let i = 0; i < array.length; i++) {
    result[i] = f(array[i]);
  }
  return result;
}
console.log(map<string, boolean>(["a", "b", "c", "d"], (_) => _ === "a")); //[ false, false, true ]

이렇게 써야 한다. (타입 추론)

function map<T, U>(array: T[], f: (item: T) => U): U[] {
  let result = [];
  for (let i = 0; i < array.length; i++) {
    result[i] = f(array[i]);
  }
  return result;
}
console.log(map(["a", "b", "c", "d"], (_) => _ === "a")); //[ false, false, true ]

 

 

2. 타입스크립트는 제네릭 함수로 전달한 인수의 정보를 이용해 제네릭의 구체 타입을 추론하므로 때로는 아래와 같은 상황이 펼쳐질 수 있다.

let promise = new Promise((resolve) => resolve(45));
promise.then((result) => result * 4);
                         ~~~~~~

위에서 타입스크립트가 result를 {}로 추론한 것은

타입스크립트에 충분한 정보를 제공하지 않았기 때문이다.

타입스크립트는 제네릭 함수의 인수에만 의지하여 제네릭 타입을 추론하는데,

인수가 아무 것도 없으니 기본적으로 T를 {}로 간주한 것이다.

 

Promise의 제네릭 타입 매개변수를 명시해서 이 문제를 해결할 수 있다.

let promise = new Promise<number>((resolve) => resolve(45));
promise.then((result) => result * 4);