こんにちは！TypeScriptの型システムの世界へようこそ。
フロントエンドからバックエンドまで、日々の開発で「もっと型をスマートに書けないかな」と悩んだりしていませんか？
今回は、TypeScriptの真骨頂であるMapped Types（マッピング型）を使って、関数の引数に渡す設定オブジェクトを「動的に必須化する」という、実務でめちゃくちゃ役立つテクニックを解説します。
「オプショナル（省略可能）な設定を許しつつ、ある条件のときだけ特定のプロパティを強制的に必須にしたい」——そんな現場の要望を、TypeScriptの型エンジンに華麗に解決してもらいましょう。ここをクリアできれば、あなたの型定義スキルは一段と洗練されますよ。一緒にマスターしていきましょう！
—
1. なぜ「動的な必須化」が必要なのか？
まずは、私たちがよく直面するシチュエーションを想像してください。
例えば、アプリケーション全体で使う設定（Config）オブジェクトを受け取る関数があるとします。
interface AppConfig {
apiEndpoint?: string;
timeout?: number;
useCache?: boolean;
debugMode?: boolean;
}
この設定オブジェクト、すべてのプロパティが `?` （オプショナル）になっていますよね。つまり、ユーザーは何も設定を渡さなくても関数を呼び出せます。
function initializeApp(config?: AppConfig) {
// 処理…
}
initializeApp(); // エラーにならない！
さて、ここで要件が変わりました。
「`useCache` が `true` のときだけ、`apiEndpoint` を絶対に指定させたい（必須にしたい）」
これをただの `interface` や通常の型だけでやろうとすると、関数内部で「あ、 `useCache` が true なのに `apiEndpoint` がない！」と実行時エラーにするか、anyの迷宮に迷い込むことになります。
ですが、TypeScriptの Mapped Types と Conditional Types（条件付き型） を組み合わせれば、「コンパイル時（コーディング中）」にこれを完璧に検知して強制する ことができるんです。
—
2. Mapped Typesの基本をおさらい
Mapped Typesとは、既存の型をベースにして、新しい型を「ループ処理」のように生み出す仕組みです。
イメージとしては、こんな感じです。
// 既存の型から、すべてのプロパティを読み取り専用（readonly）にする例
type ReadonlyConfig
readonly [K in keyof T]: T[K];
};
- `keyof T` で、オブジェクト `T` のプロパティ名（キー）をユニオン型としてすべて取り出す。
- `in` を使って、そのキーを一つずつループさせる。
- `[K in keyof T]` で新しいプロパティのキーを作り直す。
この仕組みを応用して、「特定の条件に合致したときだけ、プロパティのオプショナル（`?`）を剥ぎ取る」という魔法を書いていきます。
—
3. 実装：条件付きMapped Typesで設定を動的に必須化する
それでは、今回のメインテーマである「動的な必須化」をコードで実現してみましょう。
次のようなジェネリック関数と型定義を用意します。
// 1. ベースとなる設定インターフェース
interface AppConfig {
apiEndpoint?: string;
timeout?: number;
useCache?: boolean;
debugMode?: boolean;
}
// 2. 「ある条件」に基づいてプロパティの必須・任意を切り替えるMapped Type
// T: 全体の設定型, U: 必須化したい条件（ここでは ‘useCache’ など）
type RequireWhenEnabled
T[ConditionKey] extends true
? T & Required
: T; // そうでなければそのまま
// 3. 実際に使う関数のシグネチャ
// ※実際には関数オーバーロードや条件付き型を関数の引数レベルで適用します
もう少し実用的に、関数に渡されたオブジェクトのプロパティ（例: `useCache: true`）を型推論させながら、`apiEndpoint` を必須にするアプローチを見てみましょう。
実務で最もよく使われる、関数オーバーロードを使ったスマートな書き方はこちらです。
// 設定のベース
interface Config {
apiEndpoint?: string;
useCache?: boolean;
timeout?: number;
}
// パターンA: useCacheがtrueの場合（apiEndpointが必須になる）
interface CacheEnabledConfig extends Config {
useCache: true;
apiEndpoint: string; // ← 必須（オプショナルではない）！
}
// パターンB: 通常の設定（すべてオプショナル）
interface StandardConfig extends Config {
useCache?: false | undefined;
}
// 関数本体（オーバーロードで型を分岐）
function configureApp(config: CacheEnabledConfig): void;
function configureApp(config?: StandardConfig): void;
function configureApp(config: Config = {}) {
console.log(“Config applied:”, config);
if (config.useCache && !config.apiEndpoint) {
throw new Error(“apiEndpoint is required when useCache is true!”);
}
}
どのように型評価されるのか？
このコードを書いたとき、TypeScriptのコンパイラは次のように頭の中で型を評価しています。
1. 開発者が `configureApp({ useCache: true })` と書こうとする。
2. TypeScriptは `CacheEnabledConfig` の型をチェックし、「おっと、`apiEndpoint` が足りないぞ！」と赤く波線を引いて教えてくれる。
3. 開発者が `configureApp({ useCache: true, apiEndpoint: ‘https://api.example.com’ })` と書くと、条件が満たされ、無事にコンパイルが通る。
実行時ではなく、コードを書いているその瞬間にエディタが教えてくれる。これがTypeScriptの最大の強みですよね。
—
4. 初学者が陥りやすい文法エラーと罠
このあたりの高度な型定義に挑戦し始めると、いくつかの「つまずきポイント」に遭遇します。代表的なものを挙げておくので、頭の片隅に置いておいてくださいね。
トラップ1: オプショナル（`?`）と `undefined` の混同
TypeScriptにおいて、`key?: string` と `key: string | undefined` は厳密には似て非なるものです。
Mapped Typesで `-?` 修飾子（オプショナルを剥がす構文）を使うとき、元のプロパティが `undefined` を許容しているかどうかで挙動が変わることがあります。
// オプショナルを強制的に剥ぎ取る `-?` の例
type ForceRequired
[K in keyof T]-?: T[K]; // ‘?’ をマイナスして必須化する
};
この `-?` は非常に強力ですが、元の型設計をしっかり理解していないと思わぬ型エラーを生む原因になります。まずは基本の `Required
トラップ2: ジェネリクスの制約（extends）忘れ
Mapped Typesの中で `in keyof T` を使う際、ジェネリック型 `T` がオブジェクト型であることを保証しないと、TypeScriptは「おいおい、本当にプロパティを持ってるのか？」と怒り出します。
// ❌ エラーになりやすい例
type BadMap
[K in keyof T]: T[K];
};
// ⭕️ オブジェクトであることを制約（extends object）するのが安全
type GoodMap
[K in keyof T]: T[K];
};
「`T extends object`（または `T extends Record
—
まとめ：型は「ドキュメントであり、セーフティネットである」
今回は、Mapped Typesを活用して、関数の引数にある条件に応じた動的な必須化を行うテクニックを解説しました。
- Mapped Types を使えば、既存の型をベースに自由自在に変形できる。
- 条件付き型（Conditional Types）やオーバーロードと組み合わせることで、「ある設定が有効なときだけ、別の設定を必須にする」という高度な制約をコンパイル時にかけられる。
- エディタがリアルタイムでミスを教えてくれるため、実行時エラーを未然に防げる。
最初は少し難しく感じるかもしれませんが、自分で型を組み立てて、エディタがピタッと補完してくれたときの爽快感は格別です。ぜひ、ご自身のプロジェクトのちょっとした設定オブジェクトなどで試してみてくださいね。
ここをクリアできたあなたなら、もうTypeScriptの基本はバッチリマスターできていますよ！次のステップへ進みましょう！