[Typescript] 유틸리티 타입 - 2

Typescript 유틸리티 타입

1. 서론

Typescript는 타입선언 시 활용할 수 있는 여러가지 유틸리티 타입이라는 것을 제공한다. 유틸리티 타입은 어떤 임의의 타입을 제네릭으로 받아 여러가지 형태로 쉽게 변형할 수 있도록 만들어졌고 전역에서 사용 가능하다. 덕분에 간결한 코드로 타입 안정성이 보장된 인터페이스 설계가 가능하다.

Typescript는 현재(2022.10.11 기준)까지 22가지 유틸리티 타입을 제공한다. 종류가 많기 때문에 여러 포스트으로 나누어 작성하려고 한다. 본 포스트는 이전 포스트에서 다루지 않은 나머지 유틸리티 타입들에 대해 다뤘다.

이전 포스트 바로가기

[Typescript] 유틸리티 타입 - 1

본 포스트는 Typescript 공식 레퍼런스를 참고하여 작성됐다.

Documentation - Utility Types

2. Parameters<Type>

Parameters<Type>은 Type이라는 함수 타입의 파라미터에 사용된 타입들을 튜플 타입으로 생성한다.
이때, Parameters<any>는 unknown Array를 반환하고, Parameters<string>이나 Parameters<Function> 처럼 함수 타입이 아니거나 (...args: any): any 시그니쳐와 일치하는 항목을 제공하지 않는 함수 타입은 에러가 발생하며 never 타입을 반환한다. Parameters<never>는 never를 반환한다.

3. ConstructorParameters<Type>

ConstructorParameters<Type>는 Type이라는 생성자 함수 타입의 파라미터에 사용된 타입들을 튜플 타입으로 생성한다.

Parameters<Type>와의 차이점이라고 하면 Parameters<Type>의 Type은 모든 함수 타입이 들어갈 수 있지만, ConstructorParameters<Type>의 Type은 생성자 함수 타입만 들어갈 수 있다. 그래서 일반적인 함수 타입을 넣으면 에러가 발생하면서 never 타입을 반환하게 되고, 일반적인 함수 타입 앞에 new 키워드를 붙인 생성자 함수 타입은 정상적으로 튜플을 반환한다.

4. ReturnType<Type>

ReturnType<Type>은 Type이라는 함수 타입의 리턴 타입을 반환한다. Type이 함수 타입이 아니거나 (...args: any) => any 시그니쳐에 맞지 않는 함수 타입이라면 any를 반환하게 된다.

5. InstanceType<Type>

InstanceType<Type>는 Type이라는 생성자 함수의 인스턴스 타입을 반환한다.

6. ThisParameterType<Type>

ThisParameterType<Type>은 Type이라는 함수 타입의 this 파라미터의 타입을 반환한다. 이때 this 파라미터가 없는 함수타입의 경우 unknown을 반환한다.

7. OmitThisParameter<Type>

OmitThisParameter<Type>은 Type에서 this 파라미터만 제거한 타입을 생성한다. 아래 예제를 보면 toHex 함수 선언시 명시했던 this가 noThisToHex 함수 타입의 파라미터에는 존재하지 않는 것을 확인할 수 있다.

8. ThisType<Type>

ThisType<Type>은 어떠한 타입의 변형을 위해 사용한다기보단, 문맥적인 측면에서 this의 타입을 명시해주기 위해 사용하는 타입이다. 대신 이 타입을 사용하려면 tsconfig에서 noImplicitThis를 true로 설정하거나 커맨드 라인에서 플래그를 활성화해주어야 한다.

tsconfig.json - "noImplicitThis"

위 예제에서 makeAPost의 파라미터로 사용되는 methods의 타입을 정의할때 기존 인터페이스에 ThisType<Type>을 감싸줌으로써, 인터페이스 내 모든 프로퍼티들의 this의 타입을 명시해줄 수 있다.

*makeAPost의 리턴 값은 새로운 객체를 생성하여 반환하는 것이기 때문에 타입단언이 필요했다.

9. Intrinsic String Manipulation Types

문자열 리터럴 타입의 문자열을 Upper, Lower, Capitalize, Uncapitalize 해주는 유틸리티 타입들이다.