こんにちは。TypeScriptの世界へようこそ。
型システムという強力な武器を手にすると、開発体験は劇的に向上します。しかし、多くの人が「interfaceとtypeを使い分けた後、実行時にその型をどう保証すればいいのか？」という壁にぶつかります。
今日は、TypeScriptにおける「型安全な識別」、すなわちカスタム型ガード（User-Defined Type Guards）の真髄を一緒に解き明かしていきましょう。
—
なぜ「型ガード」が必要なのか？
TypeScriptの型情報は、コンパイル時にすべて消え去ります（Type Erasure）。つまり、実行時のJavaScriptには型情報なんて存在しないのです。
APIから返ってきたレスポンスや、`unknown`型のデータに対し、「これは本当に期待したInterfaceの形をしているか？」をチェックするのは、我々エンジニアの責任です。これを怠ると、実行時にプロパティアクセスで`undefined`を叩き、アプリがクラッシュします。
そこで登場するのが `is` キーワードです。
—
基礎：`is` キーワードを使った魔法の関数
カスタム型ガードの定義は非常にシンプルです。戻り値の型として `引数名 is 型名` を指定するだけです。
interface Admin {
id: number;
role: ‘admin’; // 判別用リテラル型
manage: () => void;
}
interface User {
id: number;
role: ‘user’;
view: () => void;
}
// これがカスタム型ガード関数
function isAdmin(person: Admin | User): person is Admin {
// personがAdminであることを判定するロジック
return person.role === ‘admin’;
}
この `person is Admin` という書き方。これがTypeScriptコンパイラに対する「私を信じてくれ、この関数が `true` を返したなら、この変数は間違いなく `Admin` 型だ」という強力な契約書（Type Assertion）になります。
—
実践：なぜこれが「効率的」なのか？
もし型ガードを使わずに `if` 文だけで判定しようとすると、コンパイラは型を絞り込んでくれません。
const person: Admin | User = getPerson();
if (person.role === ‘admin’) {
// ここでは TypeScript が賢いので絞り込んでくれる（制御フロー分析）
person.manage();
} else {
// ここでは自動的に User になる
person.view();
}
「あれ？じゃあ型ガード関数はいらないのでは？」と思ったあなた、鋭いですね。しかし、複雑な構造や、サードパーティのライブラリから返ってきたオブジェクトに対しては、「判定ロジックをカプセル化する」ことが不可欠になります。
// 複雑な検証ロジックを関数内に隠蔽できる
function isAdmin(person: any): person is Admin {
return (
typeof person === ‘object’ &&
person !== null &&
person.role === ‘admin’ &&
typeof person.manage === ‘function’
);
}
このように、型ガード関数を作っておけば、どんな場所でも `if (isAdmin(data))` と書くだけで、その後のブロック内では補完が効き、型安全が保証されます。これはコードの再利用性と可読性を劇的に高めます。
—
陥りやすい罠：ここだけは注意！
初学者がよくやってしまうミスが二つあります。
1. `boolean` を返しているだけでは不十分
「`return !!obj.id`」のような関数を作っても、TypeScriptはそれを型ガードとは認識しません。必ず戻り値の型定義に `is` を含めてください。これがないと、`if` 文の中でも型は絞り込まれません。
2. 実行時チェックの甘さ
`is` キーワードは「コンパイラを騙す」ことも可能です。例えば、実際にはプロパティがないのに `is Admin` を返すと、実行時にエラーになります。型ガード関数の中身は、「実行時に本当にそのプロパティが存在するか」を厳格にチェックしてください。
—
まとめ：TypeScriptを掌握するということ
型ガードをマスターすることは、「コンパイル時の静的な型」と「実行時の動的な値」の間に信頼の橋を架けることです。
1. `is` を使う: 戻り値の型に `arg is Type` を指定する。
2. ロジックを隠蔽する: 複雑な判定は型ガード関数に委譲する。
3. 信頼を担保する: 関数の中身は実行時にも安全であることを保証する。
これさえ押さえておけば、どんなに複雑なデータ構造を扱う現場でも、自信を持ってコードを書けるようになります。
TypeScriptは、あなたの書いたコードを理解しようと必死にサポートしてくれます。そのサポートに「型ガード」という形でヒントを与えてあげれば、TypeScriptは最強のパートナーになりますよ。
さあ、次のコミットでは自信を持って `is` キーワードを使ってみてください！応援しています。