5.1 조건부 타입

1. extends와 제네릭을 활용한 조건부 타입

extends

목적

• 타입을 확장할때와 타입을 조건부 설정할때 사용

  • 타입 확장

    • 기존 인터페이스의 속성을 상속하고, 추가적인 속성을 정의 가능

    // 타입 확장
    interface Animal {
      name: string;
    }
    
    interface Dog extends Animal {
      breed: string;
    }
    
    const myDog: Dog = {
      name: 'Buddy',
      breed: 'Golden Retriever',
    };
    

  • 조건부 타입에서의 extends

    type IsString<T> = T extends string ? 'String 타입입니다' : 'String 타입이 아닙니다';
    
    // 타입 체크
    type A = IsString<string>; // 'String 타입입니다'
    type B = IsString<number>; // 'String 타입이 아닙니다'
    

• 제네릭 타입에서는 한정자 역할로도 사용

function printLength<T extends { length: number }>(value: T): void {
  console.log(value.length);
}

// 사용 예시
printLength('Hello'); // 출력: 5
printLength([1, 2, 3]); // 출력: 3
// printLength(123); // 오류: number 타입에는 'length' 속성이 없습니다.

사용 방법

• T extends U ? X : Y
• 조건부 타입에서 자바스크립트 삼항 연산자와 함께 사용

활용 예시

1. 제네릭과 extends를 함께 사용해 제네릭으로 받는 타입 제한. 따라서 개발자는 잘못된 값을 넘길수 없기 때문에 휴먼 에러 방지 가능
2. extends를 활용해 조건부 타입을 설정했다. 조건부 타입을 사용해서 반환값을 사용자가 원하는 값으로 구체화할 수 있다. 이에 따라 불필요한 타입 가드, 타입 단언등을 방지할 수 있다.

infer

특징

• extends를 사용할 때 infer 키워드 사용 가능
• 역할 : 타입을 추론하는 역할

사용 방법

• 삼항 연산자를 사용한 조건문의 형태를 가짐
  • extends로 조건을 서술, infer로 타입을 추론하는 방식

목적(책에 없는 내용)

• 복잡한 타입 안에서 특정 부분의 타입을 추론하고 그 결과를 다른 곳에서 활용하는데 매우 유용하다. 주로 배열, 함수, 튜플 등의 내부 타입을 추론하는 데 많이 사용된다.