TypeScript | 関数・クラス・ジェネリクス:ジェネリクス基礎 - ジェネリクスの再利用設計

TypeScript TypeScript
スポンサーリンク

ゴール:「そのジェネリクス“だけ”で終わらせず、プロジェクト全体で使い回せる形に育てる感覚を持つ

ここまでで、ジェネリクスそのものの書き方はかなり分かってきていると思います。
ここから一歩進めて大事になるのが、

「そのジェネリクスを“その場限り”で終わらせず、
プロジェクト全体で再利用できる“部品”として設計する」

という視点です。

これは、型の世界でいう「設計力」であり、
セキュリティの世界でいう「再利用可能な安全なコンポーネント作り」に近い感覚です。

再利用設計の基本発想:「具体から抽象を抜き出す」

まずは“ベタ書き”から始めていい

最初から「再利用可能なジェネリクスを作るぞ」と意気込む必要はありません。
むしろ、最初はベタ書きで構いません。

例えば、API レスポンスをこう書いていたとします。

type GetUserResponse = {
  success: boolean;
  data: { id: number; name: string } | null;
  errorMessage?: string;
};

type GetProductResponse = {
  success: boolean;
  data: { id: number; title: string; price: number } | null;
  errorMessage?: string;
};
TypeScript

この時点では、ジェネリクスは使っていません。
でも、ここで一歩引いて眺めると、

「success, data, errorMessage の“形”は同じで、
中身の data の型だけ違うな」

と気づけます。

共通パターンを“型パラメータ化”する

そこで、共通部分をジェネリクスとして抜き出します。

type ApiResponse<T> = {
  success: boolean;
  data: T | null;
  errorMessage?: string;
};

type GetUserResponse = ApiResponse<{ id: number; name: string }>;
type GetProductResponse = ApiResponse<{ id: number; title: string; price: number }>;
TypeScript

こうすると、

「API レスポンスという“形”は ApiResponse に集約され、
中身の型だけを T で差し替える」

という再利用可能な型になります。

ここで重要なのは、

最初から完璧なジェネリクスを設計しようとしない
重複や似た形が見えてきたタイミングで“抽象化”する

という流れです。

これは、コードのリファクタリングとまったく同じです。

再利用しやすいジェネリクスの条件を言語化する

条件1:「名前が“役割”を表している」

再利用されるジェネリクスには、必ず「いい名前」が付いています。

例えば、

ApiResponse<T>
Repository<T>
Event<TPayload>
Result<T, E>

などです。

逆に、こういう名前だと再利用されにくくなります。

UserApiResponse<T>
ProductOrUserOrSomething<T>

名前が具体的すぎると、「他の場所で使っていいのか?」と迷います。
再利用したいなら、

「何を表す型なのか」を役割ベースで名付ける

ことがとても大事です。

条件2:「変わるところだけが型パラメータになっている」

再利用しやすいジェネリクスは、

「変わるところだけが T になっていて、
変わらないところはしっかり固定されている」

という特徴があります。

例えば、これは良い例です。

type Paginated<T> = {
  items: T[];
  totalCount: number;
  page: number;
  pageSize: number;
};
TypeScript

ここで変わるのは items の中身だけです。
ページング情報はどの型でも共通です。

逆に、何でもかんでも T にしてしまうと、
「結局何を表している型なのか」が分からなくなります。

// 悪い例
type Something<T> = {
  a: T;
  b: T;
  c: T;
};
TypeScript

再利用設計では、

「どこが“本当に可変であるべきか”を見極めて、そこだけを型パラメータにする」

という意識が重要です。

関数・クラス・interfaceを“同じジェネリクス”で揃える

型だけでなく、関数も同じ T を共有させる

例えば、さきほどの ApiResponse<T> を使う関数を考えます。

type ApiResponse<T> = {
  success: boolean;
  data: T | null;
  errorMessage?: string;
};

function handleResponse<T>(res: ApiResponse<T>): T | null {
  if (!res.success) return null;
  return res.data;
}
TypeScript

ここでのポイントは、

「データの形(ApiResponse<T>)」と
「それを扱う関数(handleResponse<T>)」が
同じ T を共有している

ということです。

これにより、

User 用のレスポンスを渡せば User | null
Product 用のレスポンスを渡せば Product | null

という関係が、型レベルで自動的に保たれます。

再利用設計では、

「型だけジェネリクスにする」のではなく、
「それを扱う関数・クラスも同じ T を受け取るようにする」

ことで、プロジェクト全体の一貫性がぐっと上がります。

interface と実装クラスを同じジェネリクスでつなぐ

例えば、リポジトリの interface と実装クラス。

interface Repository<T> {
  add(item: T): void;
  getAll(): T[];
}

class InMemoryRepository<T> implements Repository<T> {
  private items: T[] = [];

  add(item: T): void {
    this.items.push(item);
  }

  getAll(): T[] {
    return this.items;
  }
}
TypeScript

ここでは、

Repository<T> が「操作の契約」
InMemoryRepository<T> が「その契約を満たす実装」

という関係になっています。

どちらも T を持っているので、

User 用の Repository<User>
Product 用の Repository<Product>

のように、型を揃えたまま差し替えができます。

再利用設計の観点では、

「interface と実装クラスの両方をジェネリクスにしておくと、
後から別実装(DB版、メモリ版など)を差し替えやすい」

というメリットがあります。

セキュリティ視点の「再利用可能な安全コンポーネント」としてのジェネリクス

「安全なパターン」をジェネリクスとして固定する

例えば、「検証済みの値だけを通す」パターンを考えます。

type ValidationResult<T> =
  | { ok: true; value: T }
  | { ok: false; error: string };
TypeScript

これをプロジェクト全体で使うと、

メールアドレスの検証結果
パスワードポリシーの検証結果
入力フォームの検証結果

など、あらゆる「検証」という行為が、
同じ型パターンで表現されるようになります。

これはセキュリティ的に言えば、

「検証の結果を、毎回バラバラな形で返さない」
「成功・失敗の扱い方を統一する」

という意味で、とても重要です。

ジェネリクスを再利用設計するときは、

「安全なパターン(検証済み、認証済み、署名済みなど)を
型として“テンプレート化”できないか?」

という視点を持つと、一気に価値が上がります。

「危険なものを“型で隔離する”」ジェネリクス

例えば、「まだ検証していない生の入力」と
「検証済みの安全な値」を型で分けることもできます。

type RawInput = string;

type SafeEmail = { value: string };

type ValidationResult<T> =
  | { ok: true; value: T }
  | { ok: false; error: string };

function validateEmail(input: RawInput): ValidationResult<SafeEmail> {
  const trimmed = input.trim();
  if (!trimmed.includes("@")) {
    return { ok: false, error: "Invalid email" };
  }
  return { ok: true, value: { value: trimmed } };
}
TypeScript

ここで ValidationResult<T> は完全に再利用可能なジェネリクスです。
SafeEmail の部分だけを差し替えれば、
SafePassword や SafeUrl などにも使えます。

こういう「安全な型」をジェネリクスで包んでおくと、

「検証済みのものだけが、この先の処理に進める」

という“安全なパイプライン”を型で表現できます。

実務で意識したい「ジェネリクス再利用設計のステップ」

ステップ1:まずは重複をそのまま書いてみる

いきなり抽象化しない。
似たような型や関数が 2〜3 個見えたら、「パターン」を探す。

ステップ2:「何が共通で、何が違うか」を言葉にする

例えば、

「レスポンスの形は同じで、中身だけ違う」
「イベントの枠は同じで、payload だけ違う」
「操作のセットは同じで、対象の型だけ違う」

といった具合に、共通部分と可変部分を言語化する。

ステップ3:共通部分をジェネリクスとして抜き出す

共通部分を型・interface・クラスとして定義し、
可変部分だけを T, U, TPayload などの型パラメータにする。

ステップ4:そのジェネリクスを“名前付きの部品”として扱う

ApiResponse<T>ValidationResult<T> のように、
意味のある名前を付けて、プロジェクト全体で使い回す。

まとめ:ジェネリクスの再利用設計を自分の言葉で説明すると

最後に、あなた自身の言葉でこう整理してみてください。

ジェネリクスの再利用設計とは、

「一度書いた“型のパターン”を、
型パラメータ(T など)で抽象化して、
プロジェクト全体で使い回せる“型の部品”に育てること」。

そのためには、

共通パターンを見つける
変わるところだけを型パラメータにする
役割ベースの名前を付ける
型だけでなく、それを扱う関数・クラスも同じジェネリクスで揃える

という流れを意識する。

まずは、自分のコードの中から、

「形は同じだけど、中身だけ違う型」
「同じような処理をしている関数」

を 2〜3 個見つけてみてください。

そして、それを

type Xxx<T> = ...
interface Xxx<T> { ... }
class Xxx<T> { ... }
TypeScript

のどれかに抽象化できないか、試してみてください。

そこで、

「ジェネリクスは“その場の便利機能”じゃなくて、
プロジェクト全体で使える“安全な型コンポーネント”にできるんだ」

と感じられたら、
ジェネリクスの再利用設計の感覚は、もうかなりいいところまで来ています。

タイトルとURLをコピーしました