こんにちは。TypeScriptという広大な荒野へようこそ。
日々コードを書き進める中で、`unknown`と`never`という二つの「型」に出会ったことはありませんか？これらは単なる文法上の記号ではなく、TypeScriptの型システムにおける「宇宙の始まりと終わり」のような重要な概念です。
今日は、外部からの入力データを安全に扱うための「型変換の作法」について、深い部分まで解説していきますね。ここを理解すれば、あなたの書くコードは驚くほど堅牢になりますよ。
—
1. 宇宙の果てと特異点：`unknown`と`never`
まず、この二つの概念を直感的に捉えてみましょう。
- `unknown`（トップ型）： 「何が入っているかわからない」型。何でも入れられますが、使うときは「お前は一体誰だ？」と問い詰める（型チェックを行う）まで何もさせてもらえません。非常に慎重なやつです。
- `never`（ボトム型）： 「あり得ない」型。値が存在し得ない場所を表します。関数の無限ループや、到達不能なエラー処理の型として現れます。
概念図（型の階層）
[ any ] <-- 逃げ道（極力使わないこと！） | [ unknown ] <-- 全ての型の親。何でも許容するが、厳格なガードが必要。 | ... (string, number, Interfaceなど) ... | [ never ] <-- 全ての型の子供。値が存在しない状態。 ---
2. 外部データは「unknown」から始まる
APIから返ってきたデータや、フォームの入力値。これらはTypeScriptから見れば「ただの`unknown`」です。「サーバーから送られてきたから、きっとこの型だよね」と信じてはいけません。 その信頼が型安全を崩壊させるバグの入り口になります。
陥りがちなアンチパターン
interface User {
id: number;
name: string;
}
// 外部APIからのレスポンスをそのままキャスト（強引な型変換）してしまうのは危険！
const rawData: unknown = { id: “123”, name: “Alice” }; // idが文字列で来ているバグ
const user = rawData as User;
console.log(user.id.toFixed(2));
// 実行時エラー！ “123”.toFixed は存在しないため、ここでアプリがクラッシュします。
`as User`（型アサーション）は、コンパイラに「俺は正しいから黙っていろ」と命令する行為です。これを使うと、TypeScriptの守護神である静的解析が効かなくなります。
—
3. ベストプラクティス：User-Defined Type Guard
では、どうすれば安全に`unknown`を`Interface`に変換できるのでしょうか。答えは「型ガード（Type Guard）」です。
自分でチェック関数を書き、TypeScriptに「この条件を満たせば、こいつは間違いなくUserだ」と教えてあげるのです。
function isUser(data: unknown): data is User {
// 1. オブジェクトであるか？
// 2. id は数値か？
// 3. name は文字列か？
return (
typeof data === ‘object’ &&
data !== null &&
‘id’ in data && typeof (data as any).id === ‘number’ &&
‘name’ in data && typeof (data as any).name === ‘string’
);
}
// 実践的な使い方
const rawData: unknown = fetchApiResponse();
if (isUser(rawData)) {
// このブロック内では、TypeScriptが賢くrawDataをUser型だと認識します！
console.log(rawData.id.toFixed(2)); // 安全に処理できる
} else {
console.error(“データ構造が壊れています”);
}
この`data is User`という戻り値の型表記が、TypeScriptに対する強力な「証明」になります。これこそが、型安全な開発の真骨頂です。
—
4. `never`を使って「漏れ」を防ぐ
最後に、`never`の賢い使い方を紹介します。これは網の目を塞ぐ役割を果たします。
type Status = “pending” | “success” | “error”;
function handleStatus(status: Status) {
switch (status) {
case “pending”: return “処理中”;
case “success”: return “成功”;
case “error”: return “失敗”;
default:
// ここに到達したということは、Statusが想定外（未実装）であることを意味する
const _exhaustiveCheck: never = status;
return _exhaustiveCheck;
}
}
もし将来、`Status`に `”loading”` が追加されたらどうなるでしょう？ `switch`文で処理漏れが発生し、`default`句で`status`（この場合は`loading`）を`never`に代入しようとしてコンパイルエラーが出ます。「ここを修正し忘れているよ！」とTypeScriptが教えてくれるのです。
—
まとめ：TypeScriptを掌握するために
- `unknown` は「疑え」。使う前に必ず型ガードで正体を暴く。
- `never` は「防げ」。網の目を塞いで、予期せぬ状態をコンパイル時に排除する。
- `as` による型アサーション は、どうしても必要な時以外は封印する。
TypeScriptの型システムは、あなたの書いたコードを監視する「厳しくも優しいコーチ」です。彼らの警告を無視せず、対話するようにコードを書く。その姿勢こそが、大規模な開発でも揺るがない、最高品質のフロントエンドを生み出す鍵になります。
今日学んだことを、ぜひ明日からのコーディングで試してみてくださいね。応援しています！