【入門編】関数の引数に「Mapped Types」を適用して設定オブジェクトを型安全にする – TypeScript コア・型システムの基礎解析バイブル

こんにちは。TypeScriptの世界へようこそ。

型システムを単なる「エラーを防ぐための道具」と捉えているなら、それは非常にもったいないことです。TypeScriptの型システムは、「コードがどう振る舞うべきか」という設計図を、コンパイラという相棒と共有するための高度なコミュニケーションツールです。

今日は、その中でも特に強力な武器である「Mapped Types（マップ型）」を使って、関数の設定オブジェクトを「完璧に制御する」手法を伝授します。ここをマスターすれば、あなたの書くコードの信頼性は一段上のステージへと駆け上がりますよ。

—

まずは、よくある状況を見てみましょう。設定オブジェクトを受け取る関数を定義するとき、多くの人がこう書きます。

interface AppConfig {
theme: ‘light’ | ‘dark’;
retryCount: number;
enableCache: boolean;
}

function initApp(config: AppConfig) {
// 処理…
}

これでも動きますが、現実はもっと過酷です。「設定の一部だけを更新したい」「特定のキーだけを必須にしたい」といった要件が降ってきた途端、インターフェースをいくつも作って管理が崩壊し始めます。

ここで登場するのが Mapped Types です。これは「既存の型のキーを走査し、新しい型を生成する」という魔法のような仕組みです。

—

Mapped Typesの基本構文は `[P in keyof T]` です。これは「Tという型のすべてのキー（P）について、こういうルールで型を定義する」という意味になります。

例えば、「設定オブジェクトの全項目を、後から一部だけ変更可能にする（Partial）」という要件を、Mapped Typesで自作してみましょう。

// Mapped Typesによる「一部変更可能」な型定義
type PartialConfig = {
[P in keyof T]?: T[P];
// Pはキーの名前、T[P]はそのキーに対応する元の型
// ? は「オプショナル（省略可能）」にするという意味
};

// これを使うと…
const mySettings: PartialConfig = {
theme: ‘dark’ // retryCountとenableCacheを省略しても怒られない！
};

このコードのポイントは、「型をハードコードせず、元の型から自動生成している」という点です。もし `AppConfig` に設定項目が増えても、この `PartialConfig` は自動的に追従します。これが「型安全」の真髄です。

—

Mapped Typesを使うとき、初心者が必ずと言っていいほどハマるのが「読み取り専用（readonly）」や「必須化」の操作です。

よくあるのが、「引数に渡したオブジェクトのキーを制限したいが、型定義が複雑すぎて型推論が効かなくなる」というケースです。

// 悪い例：型を厳密にしようとしてジェネリクスを使いすぎて混乱する
function configure(config: { [P in keyof T]: T[P] }) { … }

この書き方だと、コンパイラは `T` が何なのかを特定できず、あなたの意図を汲み取れません。ここで重要なのは、「制約（extends）」を正しく設定することです。

// 良い例：キーをAppConfigの範囲内に限定する
function updateConfig(key: K, value: AppConfig[K]) {
console.log(`Setting ${key} to ${value}`);
}

updateConfig(‘theme’, ‘light’); // OK
// updateConfig(‘font’, ‘large’); // エラー！’font’はAppConfigに存在しません

このように `K extends keyof AppConfig` と書くことで、「AppConfigに存在するキー以外は許さない」という制約をコンパイラに強いることができます。

—

最後に、現場でよく使う「すべての設定を読み取り専用にする」Mapped Typesを紹介します。設定値が勝手に書き換えられるのを防ぐ、非常に堅牢なテクニックです。

type ReadonlyConfig = {
readonly [P in keyof T]: T[P];
};

const config: ReadonlyConfig = {
theme: ‘light’,
retryCount: 3,
enableCache: true
};

// config.theme = ‘dark’; // コンパイルエラー！読み取り専用なので変更不可

—

Mapped Typesは、最初は呪文のように見えるかもしれません。しかし、これは「型のメタプログラミング」です。

1. まずは小さなインターフェースから始める
2. `keyof` でキーを取り出し、`[P in K]` でループさせる
3. `?` や `readonly` を付与して変身させる

この手順を繰り返せば、どんな複雑な設定オブジェクトも、あなたの意のままに型安全を保てるようになります。

TypeScriptは、あなたの書いたコードを監視し、バグを未然に防いでくれる最強のパートナーです。そのパートナーに「今の設計はどうあるべきか」を正しく伝えるために、ぜひこのMapped Typesを使いこなしてください。

ここまで理解できれば、あなたはもうTypeScriptの基礎を卒業し、設計者としての視座を手に入れたと言っても過言ではありません。何か分からないことがあれば、いつでもまた聞きに来てくださいね。あなたのコードがより美しくなることを応援しています！