extends constraints

제네릭 제약 조건 설계

제네릭 제약은 타입 변수를 좁혀 함수 내부에서 안전하게 사용할 속성과 메서드를 보장합니다.

extends 제약

필요 조건 선언

T가 특정 구조에 할당 가능해야 함을 타입 변수 선언에서 명시합니다.

T extends Constraint
여러 변수

관계 제약 표현

객체 타입 T와 그 키 K처럼 타입 변수 사이의 의존 관계를 선언합니다.

K extends keyof T
class 타입

생성자와 인스턴스

클래스 자체를 값으로 받을 때 new 가능한 타입을 제약으로 표현합니다.

new () => T
typeof 활용

값에서 타입 얻기

이미 존재하는 값의 타입을 추출해 제약이나 매개변수 타입에 재사용합니다.

typeof config
과한 제약 필요 이상의 속성을 요구하면 재사용 가능한 입력 범위가 줄어듭니다.
추론 유지 제약을 걸어도 호출부에서 구체 타입 정보가 보존되는지 확인합니다.
오류 메시지 제약 위반 메시지는 어떤 속성이 부족한지 전달하는 설계 피드백입니다.

제네릭 제약은 자유도를 완전히 닫지 않으면서 함수가 필요한 안전성만 확보합니다.