Co jsou obecné omezení (generic constraints)?

Question

Accepted Answer

**Obecné omezení** (`T extends ...`) omezuje, jaké typy mohou být generický parametr, takže můžete bezpečně používat určité vlastnosti nebo metody na něm. Bez omezení může být generický *cokoliv*, takže nemůžete předpokládat, že má nějaké členy. ```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 ``` Omezení je *slib*: "`T` bude vždy mít alespoň tento tvar," což umožňuje kompilátoru povolit `.length` a přitom zachovat přesnost `T` (návratový typ je skutečný typ pole/řetězce, ne omezení). ## Omezení klíčů (velmi běžné) ```ts function pluck(obj: T, key: K): T[K] { return obj[key]; } ``` `K extends keyof T` garantuje, že `key` je skutečná vlastnost `obj` — a `T[K]` vrací jeho přesný typ. ## Výchozí parametry typů ```ts interface Box { value: T; } // T defaults to string if not specified ``` ## Proč na tom záleží Omezení jsou rovnováhou mezi flexibilitou a bezpečností: umožňují kódu s obecným typem spoléhat se na minimální tvar (má `.length`, má klíč `K`, rozšiřuje nějakou základní třídu) a přitom zachovávají konkrétní typ volajícího. Jsou nezbytné pro utility funkce, type-safe přístup k objektům a jakýkoli obecný typ, který potřebuje *udělat* něco se svým parametrem typu.