generics とは何で、なぜ役に立つのですか？

Question

Accepted Answer

**generics** を使うと、型でパラメータ化された再利用可能なコードを書けます。これは、コードが使われるときに埋められる「型変数」です。generics は、**型安全性を失うことなく** 再利用をもたらします（代替手段である `any` は型安全性を失います）。 ```ts // Without generics you'd choose between repetition or `any`: function firstAny(arr: any[]): any { return arr[0]; } // loses the element type // With a generic, the type flows through: function first(arr: T[]): T { return arr[0]; } const n = first([1, 2, 3]); // T inferred as number → n: number const s = first(["a", "b"]); // T inferred as string → s: string ``` `T` はプレースホルダーです。TypeScript は引数からそれを **推論（infer）** するため、戻り値の型は正確になります。`first([1,2])` は `any` ではなく `number` を返します。 ## generic な型とクラス ```ts interface ApiResponse { data: T; status: number; } const res: ApiResponse = await getUser(); // res.data is User class Box { constructor(private value: T) {} get(): T { return this.value; } } const box = new Box(123); // Box ``` ## 複数の型パラメータ ```ts function pair(k: K, v: V): [K, V] { return [k, v]; } pair("id", 42); // [string, number] ``` ## なぜ重要なのか generics は、TypeScript におけるほぼすべての再利用可能な抽象化を支えています。`Array`、`Promise`、`Map`、React の `useState`、データ取得ユーティリティ、コレクションなどです。 generics により、1 つの実装が多くの型に対して機能しつつ、入力から出力までの完全な型情報を保持できます。入力と出力の型の関係は、消去されることなく維持されます。