[Typescript] 제너릭(Generic)

타입스크립트도 일반적인 타이핑 언어들과 마찬가지로 타입 일반화 기능을 제공한다.

제너릭을 쉽게 말하면, 타입 정의에 구멍을 뚫어놓고 그때그떄 채워서 쓸 수 있도록 하는 것이다.

함수 제너릭

함수에는 다음과 같이 제너릭 파라미터를 설정하고 사용할 수 있다.
함수명 오른쪽에 꺽쇠 열고, 임의로 사용할 타입명을 적은 뒤에, 함수 내에서 사용하면 되는 것이다.
그럼 다음과 같이 호출할 수 있다.

보통 함수는 매개변수 전달시에 타입 파라미터 추론이 되기 때문에, 굳이 타입명을 명시해서 호출하는 경우는 거의 없다.

클래스 제너릭

클래스와 인터페이스도 당연히 제너릭이 지원된다.
마찬가지로 클래스명, 인터페이스명 오른쪽에 꺽쇠 열고 타입 파라미터를 적으면 된다.

타입 제너릭

더해서, 타입 alias에도 제너릭을 사용할 수 있다.

이런걸 이용해서 메타프로그래밍도 하고 그러는데, 그런건 차차 다뤄보겠다.

제너릭 함수의 타입

이건 타입스크립트의 재미있는 부분 중 하나다.

타입스크립트에서는 타입이 구체화되지 않은 함수 제너릭 자체도 값으로서 사용할 수가 있다.
타입의 표현법은 대략 다음과 같다. 기존 함수타입 왼쪽에 타입파라미터만 추가된 형태다.
<타입파라미터>(매개변수...)=>반환타입

보통 제너릭시스템이 존재하는 다른 언어들에서는, 제너릭은 껍데기일 뿐이라 이런건 잘 안되는 편이다.

제너릭 제약조건

그런데, 제너릭 타입을 받는다고 해도 다른 문제들이 남아있다.

제너릭 타입은 말 그대로 모든 타입이 건너올 수 있다는 뜻이고, 해당 제너릭을 구현할 시점에는 어떤 타입이 들어올 지를 알 수가 없다.
무슨 타입인지를 모르니 무슨 값이 들어있는지도 모르고, 어떤 메서드가 있는지도 모른다.

때문에 아래처럼 함수가 들어올 것을 기대하고 함수의 length를 가져오려고 해도, 컴파일러는 그것을 알 수가 없으니 에러를 던진다.

이런 문제를 해결하고자 사용하는 것이 바로 타입 파라미터에 제약을 거는 것이다.

타입 파라미터 옆에 extends로 클래스나 인터페이스를 지정해주면, 해당 클래스나 인터페이스를 구현하는 타입값만이 타입 파라미터로 들어올 수 있게 된다.

그리고 해당 클래스임을 보장할 수 있으니 우리가 바라던 값들을 꺼내올 수 있다!

제약조건에 맞지 않는 값이 들어온다면 오류를 던진다.

extends를 여러개 하고싶다면 &로 연결한다.

제너릭을 사용한다면 이런식으로 제약을 걸어서 기능을 구현할 일이 많을 것이다.

참고로, 기본 연산자는 제너릭 타입 값에는 사용할 수 없다.

정 하고싶다면 any같은걸 써야한다.

참조
https://www.typescriptlang.org/docs/handbook/2/generics.html