Generic constraint란 무엇인가요?

Question

Accepted Answer

**Generic constraint**(`T extends ...`)는 generic 매개변수가 될 수 있는 타입을 제한하여, 그것에 대해 특정 프로퍼티나 메서드를 안전하게 사용할 수 있게 합니다. 제약이 없으면 generic은 *무엇이든* 될 수 있으므로 어떤 멤버를 가졌다고 가정할 수 없습니다. ```ts // ❌ 제약이 없으면 .length에 접근할 수 없음 — T가 number일 수도 있음 function longestBad(a: T, b: T) { return a.length > b.length ? a : b; // 오류: 'length'는 'T'에 존재하지 않음 } // ✅ T를 length를 가진 것으로 제약 function longest(a: T, b: T): T { return a.length > b.length ? a : b; } longest("abc", "de"); // ✅ string은 length를 가짐 longest([1, 2], [3]); // ✅ array는 length를 가짐 longest(1, 2); // ❌ number는 length가 없음 ``` 제약은 *약속*입니다: "`T`는 항상 최소한 이 shape를 가질 것이다." 이를 통해 컴파일러는 `.length`를 허용하면서도 `T`를 정확하게 유지합니다(반환 타입은 제약이 아니라 실제 array/string 타입입니다). ## 키로 제약하기(매우 흔함) ```ts function pluck(obj: T, key: K): T[K] { return obj[key]; } ``` `K extends keyof T`는 `key`가 `obj`의 실제 프로퍼티임을 보장하고, `T[K]`는 그 정확한 타입을 반환합니다. ## 기본 타입 매개변수 ```ts interface Box { value: T; } // 지정하지 않으면 T는 string으로 기본 설정 ``` ## 왜 중요한가 제약은 유연성과 안전성 사이의 균형입니다: generic 코드가 최소한의 shape(`length`를 가짐, 키 `K`를 가짐, 어떤 베이스를 extends함)에 의존하면서도 호출자의 구체적인 타입을 보존하게 합니다. 유틸리티 함수, 타입 안전한 객체 접근, 그리고 타입 매개변수로 무언가를 *해야 하는* 모든 generic에 필수입니다.