ジェネリック制約(generic constraints)とは何ですか?

Question

Accepted Answer

**ジェネリック制約**(`T extends ...`)は、ジェネリックパラメータが取れる型を制限することで、特定のプロパティやメソッドを安全に使えるようにします。制約がなければ、ジェネリックは *何にでも* なり得るため、何らかのメンバーを持つと仮定することはできません。 ```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 ``` 制約とは *約束* です。「`T` は常に少なくともこの形を持つ」ということを保証するため、コンパイラは `.length` を許可しつつ、`T` を正確に保ちます(戻り値の型は制約そのものではなく、実際の配列や文字列の型になります)。 ## キーへの制約(非常によくあるパターン) ```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 defaults to string if not specified ``` ## なぜ重要なのか制約は柔軟性と安全性のバランスです。ジェネリックなコードが最小限の形(`.length` を持つ、キー `K` を持つ、ある基底型を継承する)に依存できるようにしつつ、呼び出し側の具体的な型を保ちます。これはユーティリティ関数、型安全なオブジェクトアクセス、そして型パラメータに対して何かを *する* 必要があるあらゆるジェネリックにとって不可欠です。