Object Type
속성 이름과 값 타입을 가진 타입을 정의한다.
Indexed Type
인덱스 시그니처에서 인덱스 접근 타입까지
객체 키와 값 타입은 keyof와 T[K]를 통해 안전하게 연결된다.
키에서 값 타입을 얻는 흐름
lookup typekeyof T
객체 타입의 키들을 유니온으로 추출한다.
K extends keyof T
허용된 키만 받도록 제약을 건다.
T[K]
선택한 키에 해당하는 값 타입을 얻는다.
Index Signature
동적 키를 받을 때 가능한 값 타입을 제한한다.
Utility
Pick, Record 같은 유틸리티 타입의 기반이 된다.
객체 타입keyof키 제약T[K] 추출
인덱스 접근 타입은 런타임 값 접근이 아니라 타입 수준 조회다. 키 제약을 함께 걸어야 안전하다.