こんにちは！TypeScriptの世界へようこそ。
日々のコーディングで、TypeScriptの「型」の恩恵を感じていますか？
「型エラーが出て最初は難しく感じたけれど、エラーのおかげで実行前にバグに気づけて助かった！」という経験をした方も多いのではないでしょうか。
TypeScriptの本当の面白さは、単に「変数に型をつける」だけではなく、「すでにある型を、状況に合わせて自由に変形させて再利用する」ところにあります。
今回は、実務でも非常によく使う「関数の引数」に焦点を当てます。
ベースとなる設定オブジェクトの型を1つ用意し、関数の役割に応じて`Required`や`Pick`といった「Utility Types」を動的に適用して、関数の引数を型レベルで完璧にバリデーションするという、一歩進んだテクニックを解説します。
「ここをクリアすれば、TypeScriptの基本から応用への架け橋はバッチリマスターできますよ！」
それでは、一緒に楽しく学んでいきましょう！
—
1. なぜ関数の引数を「型レベル」で制御したいのか？
例えば、Webアプリケーションで「ユーザー情報」を扱うシーンを想像してみてください。
以下のような、すべての項目がオプショナル（あってもなくても良い）なベースとなる型があるとします。
// ベースとなるユーザー設定の型
type UserConfig = {
id?: string;
name?: string;
email?: string;
theme?: ‘light’ | ‘dark’;
};
この型は、ユーザーがプロファイルを「部分的に更新する」ときなどには非常に便利です。
しかし、「新規にユーザーを登録する関数」を作るとなったらどうでしょう？
// 新規登録なのに、idやemailが「空っぽ（undefined）」でも通ってしまったら困りますよね
function registerUser(config: UserConfig) {
// 実行時エラーの危険性！
console.log(`登録中: ${config.id.toUpperCase()}`); // TypeError: Cannot read properties of undefined
}
「新規登録のときだけは、`id` と `email` を必須（Required）にしたい。でも、わざわざそのために `RegisterUserConfig` という似たような型をもう一つ手書きでゼロから作るのは面倒だし、共通の項目が増えたときにメンテナンスが大変…」
そう思ったことはありませんか？
ここで活躍するのが、TypeScriptが提供するUtility Types（ユーティリティ型）を、関数の引数に直接適用するテクニックです。
—
2. 道具の紹介：`Pick` と `Required` の魔法
まずは、今回使う2つの強力な道具をおさらいしておきましょう。これらは「既存の型を入力として受け取り、新しい型を出力する関数」のようなイメージです。
① `Pick`（つまみ食い）
型の中から、必要なプロパティだけを抜き出します。
// UserConfig から ‘id’ と ‘email’ だけを抜き出した型を作る
type IdentityInfo = Pick
/
コンパイラの中での評価イメージ：
type IdentityInfo = {
id?: string;
email?: string;
}
/
② `Required`（オプショナルを許さない）
型の中のすべてのオプショナル（`?`）を取り除き、すべてを必須にします。
// すべてのプロパティを必須にする
type StrictConfig = Required
/
コンパイラの中での評価イメージ：
type StrictConfig = {
id: string; // ? が消えた！
name: string; // ? が消えた！
email: string; // ? が消えた！
theme: ‘light’ | ‘dark’; // ? が消えた！
}
/
—
3. 【実践】関数の引数でUtility Typesを動的に組み合わせる
それでは、この2つを組み合わせて、「`UserConfig`をベースにしつつ、`id`と`email`だけは絶対に必須にする」という型を、関数の引数定義の中でダイレクトに作ってみましょう。
TypeScriptでは、型同士を結合する `&`（交差型 / Intersection Types）を使うことで、これを美しく表現できます。
// ベースの型（何でもオプショナル）
type UserConfig = {
id?: string;
name?: string;
email?: string;
theme?: ‘light’ | ‘dark’;
};
// 新規登録用の関数
function registerUser(
// 1. UserConfig から ‘id’ と ‘email’ を抜き出して、それを「必須」にする
// 2. それ以外の元のプロパティも合わせて受け取れるようにする
config: Required
) {
// コンパイラは、この時点で id と email が「絶対に存在する」と知っています！
console.log(`ID: ${config.id.toUpperCase()}`); // 安全にアクセス可能！
console.log(`Email: ${config.email.toLowerCase()}`); // 安全にアクセス可能！
// name や theme はオプショナルなので、undefined の可能性があります
console.log(`Name: ${config.name?.trim()}`);
}
このコードで何が起きているのか？（図解的解説）
引数の型 `Required
1. `Pick
- 結果: `{ id?: string; email?: string; }`
2. `Required<...>` の適用
- 結果: `{ id: string; email: string; }`（`?` が消えて必須になりました！）
3. `& UserConfig`（元の型と合体）
- `{ id: string; email: string; }`
- `&`
- `{ id?: string; name?: string; email?: string; theme?: ‘light’ | ‘dark’; }`
- 最終結果: `{ id: string; email: string; name?: string; theme?: ‘light’ | ‘dark’; }`
「必須のルール」が「オプショナルのルール」に勝ち、見事に `id` と `email` だけが必須化されました。元の `UserConfig` を一切書き換えることなく、関数の引数のためだけにその場で型をカスタマイズできたのです！
—
4. 実際に使ってみよう（コンパイルエラーの挙動）
この関数を呼び出すとき、TypeScriptがどのようにあなたを守ってくれるかを見てみましょう。
// ❌ パターン1: 必要な項目が足りない場合
registerUser({
name: “Alice”,
// エラー！ ‘id’ と ‘email’ が足りませんと怒られます
});
// ❌ パターン2: id はあるけれど email がない場合
registerUser({
id: “user-001”,
name: “Bob”,
// エラー！ プロパティ ‘email’ は型 ‘…’ に必須ですが、ここにはありません
});
// パターン3: 必要なものがすべて揃っている場合
registerUser({
id: “user-002”,
email: “charlie@example.com”,
name: “Charlie”, // オプショナルな項目を渡してもOK
theme: “dark” // オプショナルな項目を渡してもOK
});
コーディング中のエディタ（VS Codeなど）では、引数を書き始めた瞬間に「`id` と `email` が足りないよ」と赤い波線で優しく教えてくれます。実行ボタンを押す前にバグを防げる、これがTypeScriptの最大の魅力ですね。
—
5. 陥りやすい文法エラーと対策
この高度な型定義に挑戦するとき、初心者が陥りやすいポイントがあります。
罠：`Required` とだけ書いてしまう
「必須にしたい」からといって、単純に `Required
// ❌ これだと、name も theme も全部渡さなければならなくなります
function setupUser(config: Required
setupUser({
id: “1”,
email: “test@example.com”
// エラー：’name’ と ‘theme’ がありません！
});
対策:
必ず「必須にしたい一部のキー」を `Pick` で切り出してから `Required` をかけ、それを元の型と `&` で合体させる、という手順を意識しましょう。
—
6. 【ステップアップ】ジェネリクスを使ってさらに動的にする
「先輩、このテクニックは便利ですが、関数ごとに `Required
素晴らしい着眼点です！
それなら、この「特定のキーだけを必須にする」という処理自体を、独自のUtility Type（カスタムユーティリティ型）として共通化してみましょう。ここで登場するのが「ジェネリクス（型の引数）」です。
// 「型 T のうち、キー K に指定したプロパティだけを必須にする」カスタム型
type MakeRequired
Omit
- `Omit
- `Required
- これらを `&` で合体させます。
これを使うと、関数の引数は驚くほどスッキリします！
// id と email を必須にしたい関数
function registerUser(config: MakeRequired
console.log(config.id); // 必須（string）
console.log(config.email); // 必須（string）
console.log(config.name); // オプショナル（string | undefined）
}
// theme だけを必須にしたい別の関数
function applyTheme(config: MakeRequired
console.log(config.theme); // 必須（’light’ | ‘dark’）
}
どうでしょうか？
まるでTypeScript標準の機能であるかのように、自作の型バリデーションをきれいに埋め込むことができました。これならコードの意図も一目で伝わりますよね。
—
まとめ：型はあなたを縛るものではなく、自由にするための翼
今回のポイントを整理しましょう。
1. ベースとなる型を汚さず、関数の引数の文脈に合わせてその場で型を変形するのがスマートな設計。
2. `Required
3. `&`（交差型）を使って元の型と合成することで、他のオプショナルな項目もそのまま活かせる。
4. 慣れてきたらジェネリクスを使ってカスタム型（`MakeRequired`）に共通化すると、コードが劇的にスッキリする。
型定義を工夫することは、未来の自分や、一緒に働くチームのメンバーへの「最高のプレゼント」になります。コンパイラという頼もしい相棒と対話しながら、ぜひこの動的な型定義をあなたのプロジェクトでも試してみてくださいね。
一歩ずつ、確実にTypeScriptを掌握していきましょう！応援しています！