Required type 이란?

전달 받은 파라미터에서 옵셔널 값을 디폴트 값으로 처리하는 것이 일반적 입니다.
이때 디폴트 값은 개발자 의해 명시되지만 타입은 여전히 옵셔널 처리 되어 있어
타입이 변경되거나 추가 될때 디폴트 값을 제대로 반영하지 못 할 수도 있습니다.
그래서 디폴트 값의 타입은 파라미터 타입의 모든 속성을 Required 처리하여 만들어 줄 수 있습니다.

만들어 보기

이미 타입스크립트에서는 내장 타입으로 Required 타입을 제공합니다.
그러나 Requried 타입은 인터페이스 내의 프로퍼티에 대해서만 Required 처리 합니다.
이 문제를 해결하여 인터페이스 내의 모든 타입에 대해 재귀적으로 Required 처리 할 수 있는 타입을 만들어 봅시다.

// 아래 내장 타입들은 Required 처리를 지원하지 않습니다. (충분히 더 존재 할 수 있으며 상황에 따라 추가합니다.)
type ExcludeType = Element | Window | NodeList | HTMLCollection;

// 1. object 이외의 프리미티 값인 경우 해당 값을 반환
// 2. ExcludeType 타입에 속하면 원래 타입을 그대로 반환
// 3. 자기 자신의 타입을 다시 반환하여 재귀적으로 수행
type RequiredParams<T> = T extends object
  ? {
      [K in keyof T]-?: T[K] extends infer U
        ? U extends ExcludeType
          ? U
          : RequiredParams<U>
        : T[K];
    }
  : T;

결과

interface Params {
  name?: {
    last?: string;
    first: string;
  };
}

type Requried = RequiredParams<Params>;
const result: Required = {
  // last 속성이 없으므로 컴파일 에러 발생
  name: {
    first: 'first',
  },
};

위와 같이 사용 할 경우 Requried 타입은 name, last 속성에 옵셔널이 삭제된 상태로 타입이 추론됩니다.
타입스크립트를 사용하는 목적은 런타임 에러를 컴파일 타임에 추론 가능하도록 하여
소스 코드의 안정성을 높이고 예측 가능한 코드로 만드는데 있으므로 이런 유틸 타입을 적절하게 사용하면
제품의 안정성을 높일 수 있습니다.