Genel kısıtlamalar nedir?

Question

Accepted Answer

A **generic constraint** (`T extends ...`) bir genel parametrenin hangi türlerde olabileceğini kısıtlar, böylece onun üzerinde belirli özellikleri veya yöntemleri güvenle kullanabilirsiniz. Bir kısıtlama olmadan, bir genel *herhangi bir şey* olabilir, bu nedenle herhangi bir üyeye sahip olduğunu varsayamazsınız. ```ts // ❌ without a constraint, you can't access .length — T might be a number function longestBad(a: T, b: T) { return a.length > b.length ? a : b; // Error: 'length' does not exist on 'T' } // ✅ constrain T to things that HAVE a length function longest(a: T, b: T): T { return a.length > b.length ? a : b; } longest("abc", "de"); // ✅ strings have length longest([1, 2], [3]); // ✅ arrays have length longest(1, 2); // ❌ numbers have no length ``` Kısıtlama bir *vaad*tır: "`T` her zaman en azından bu şekle sahip olacak," bu da derleyicinin `.length` öğesine izin vermesini sağlarken `T` öğesini hassas tutar (dönüş türü gerçek array/string türüdür, kısıtlama değil). ## Anahtarlarla kısıtlama (çok yaygın) ```ts function pluck(obj: T, key: K): T[K] { return obj[key]; } ``` `K extends keyof T` `key` öğesinin `obj` öğesinin gerçek bir özelliği olduğunu garanti eder — ve `T[K]` kesin türünü döndürür. ## Varsayılan tür parametreleri ```ts interface Box { value: T; } // T defaults to string if not specified ``` ## Neden önemli Kısıtlamalar esneklik ve güvenlik arasındaki denge: genel kodun minimum bir şekle (`.length` var, `K` anahtarı var, bazı tabana genişler) güvenmesine izin verirken çağıranın belirli türünü korur. Utility işlevleri, tür-güvenli nesne erişimi ve tür parametresi ile *bir şeyler yapması* gereken herhangi bir genel için gereklidirler.