generic constraint

제네릭 제약 설계 판단 기준

제약 조건은 타입을 줄이는 문법이 아니라 함수 내부에서 사용할 수 있는 능력을 보장하는 계약입니다.

property

속성이 필요하다

T extends { length: number }처럼 함수가 읽는 속성만 최소로 요구합니다.

key

유효한 키만 받는다

K extends keyof T로 존재하지 않는 속성 접근을 호출부에서 막습니다.

object

스프레드를 쓴다

extends object로 원시값을 제외하고 병합 가능한 입력만 허용합니다.

new

생성자가 필요하다

팩토리 함수는 인스턴스 타입과 생성자 시그니처를 함께 제약합니다.