こんにちは。TypeScriptの深淵を覗き込み、日々の開発を「型による守護」で満たしているエンジニアの皆さん。
今日は、TypeScriptにおける「柔軟性と堅牢性の究極のバランス」とも言える「Mapped Types（マップ型）を用いた部分更新（Partial Update）の型安全化」について、その本質を紐解いていきましょう。
API設計において、すべてのプロパティを必須とする`interface`は非常に便利ですが、PATCHリクエストのように「更新したい部分だけ送る」という要件に直面したとき、多くの人が一度は頭を抱えます。
ここをクリアすれば、あなたはもうTypeScriptの型システムの基本を完全に掌握したと言っても過言ではありません。一緒に見ていきましょう。
—
1. なぜ「そのまま」ではダメなのか？
まず、ユーザー情報を管理する`interface`を定義してみましょう。
interface User {
id: number;
name: string;
email: string;
age: number;
}
この`User`型は「すべてのプロパティが揃っていて初めて正当なデータである」という強い規約です。しかし、APIのPATCHリクエストで「名前だけ変えたい」というとき、このままでは不都合が生じます。
// 悪い例：無理やり代入しようとすると…
const update: User = { name: “Alice” };
// エラー: ‘id’, ‘email’, ‘age’ が足りません。
「じゃあ、全部をオプショナル（`?`）にすればいいのでは？」と思うかもしれません。しかし、それをしてしまうと、今度は「絶対に存在してほしいはずのidまでオプショナルになってしまう」という、型安全性の崩壊を招きます。
2. Mapped Typesによる「型変換」の魔術
ここで登場するのが Mapped Types です。これは既存の型を「写し取り、加工する」ための強力なツールです。
まずは「すべてのプロパティをオプショナルにする」という操作を、自分自身の手で実装してみましょう。
type PartialUser = {
// [K in keyof T] は「Tのキーをすべて取り出す」という意味
[K in keyof User]?: User[K];
};
const update: PartialUser = { name: “Alice” }; // これならOK！
このコードの何が素晴らしいか、わかりますか？
1. 自動追従: `User`型に新しく`address`プロパティが追加されても、`PartialUser`は自動的にそれを取り込みます。
2. 型安全: `name`以外の存在しないキー（例えば `hoge`）を入力しようとすると、TypeScriptが即座にエラーを吐いてくれます。
補足：標準ライブラリの `Partial`
実は、TypeScriptにはこれを汎用的に行った `Partial
type PartialUser = Partial
現場ではこれを使うのが正解ですが、「内部で何が起きているか」を理解していることが、バグを未然に防ぐエンジニアへの第一歩です。
3. 陥りやすい「罠」：ReadOnlyと組み合わせる場合
現場でよくあるミスに、「IDだけは更新させたくない」というケースがあります。
これには、Mapped Typesの「修飾子操作」を知っておく必要があります。
// IDは必須、それ以外はオプショナルな更新用型
type UpdateUser = Pick
const validUpdate: UpdateUser = { id: 1, name: “Bob” }; // OK
const invalidUpdate: UpdateUser = { name: “Bob” }; // エラー: idが欠けている
ここで使った `Pick`（抜き出す）と `Omit`（取り除く）は、Mapped Typesをより直感的に扱うためのユーティリティです。
- Omit: `User`から`id`を排除する。
- Partial: 残ったもの全てをオプショナルにする。
- Pick: `User`から`id`だけを抜き出す。
- & (交差型): それらを合体させる。
このように型をパズルのように組み立てることで、「更新時に絶対に守るべきルール」を型レベルで強制できるのです。
4. 最後に：なぜ「型」を厳密にするのか？
初学者のうちは、「`any` を使えばエラーは消えるのに、なぜわざわざこんな面倒なことを？」と感じるかもしれません。
しかし、TypeScriptの真髄は「実行前に、データがどう動くかをシミュレーションすること」にあります。
Mapped Typesを使って部分更新を定義することで、エディタは「このオブジェクトには `name` があるかもしれないし、ないかもしれない」という状態を完璧に認識します。その結果、あなたの書くコードは、実行時に発生しうる「未定義によるクラッシュ」から守られるのです。
TypeScriptをマスターするということは、言語の機能を覚えることではありません。「コードの意図を、コンパイラに対してどれだけ正確に伝えられるか」というコミュニケーション能力を磨くことなのです。
この「型による思考」を身につければ、どんな複雑なAPI仕様変更がきても、あなたは恐れることなくリファクタリングを完遂できるはずですよ。
それでは、また次回の深淵でお会いしましょう。ハッピーコーディング！