제네릭스(Generics)란?

• 함수나 클래스를 정의할 때 타입을 미리 확정 짓지 않고, 사용하는 시점에 타입을 파라미터로 전달받아 외부에서 지정하는 기법
• 객체(함수, class 등) 별로 다른 타입의 자료가 저장 가능
• 변수를 선언할때 변수의 타입을 지정해주듯이, 제네릭은 객체(Object)에 타입을 지정해주는 것
• 컴파일시 타입체크를 하여, 타입 안정성을 높이고 형변환의 번거로움을 줄이는 목적
  • 의도하지 않은 타입의 객체가 저장되는 것을 막는다.
  • 저장된 객체를 꺼내올 때 잘못 된 형변환 되어 발생하는 오류를 줄여준다.
• 다이아몬드 연산자 <> 안에 타입명을 기재하여 표기
• 한 번의 선언으로 다양한 타입을 처리할 수 있는 재사용성과 컴파일 단계에서 타입을 체크하는 안전성을 동시에 확보하기 위함
  • any를 쓰면 어떤 타입이든 받을 수 있지만, 함수가 반환하는 값의 타입 정보를 잃어버려 타입 안정성이 상실
  • 입력된 타입이 그대로 반환 타입으로 이어지므로, 타입 정보를 끝까지 추적하여 타입 안정성 증가

제네릭의 사용처

• 여러 타입에 대해 동일한 로직을 반복해서 작성하고 있을 때
• any를 쓰고 있는데, 반환되는 값의 타입이 무엇인지 정확히 알고 싶을 때
• 라이브러리(예: API 응답 데이터 처리)에서 어떤 데이터가 올지 미리 알 수 없을 때

제네릭의 활용 예시

제네릭 함수

제네릭 함수 실행 순서

제네릭 인터페이스

제네릭 클래스

제네릭 제약 조건 (Constraints)

• 특정 조건을 만족하는 타입만 받도록 제한 가능

• extends 키워드를 사용

  interface RequiredLength {
      length: number;
  }
  
  function getLength<T extends RequiredLength>(arg: T): number {
      return arg.length;
  }
  getLength([]);
  getLength('test');
  // getLength(1); // Error Argument of type 'number' is not assignable to parameter of type 'RequiredLength'.