TypeScript における any と unknown の使い分け | TechDistill
> Source: Qiita_Trend
Execute Primary Source
// Problem
型が不明な値を扱う際、安易に'any'を使用することで、型チェックが機能しない領域がコードベース全体に波及する問題がある。これにより、コンパイルエラーをすり抜けた実行時エラーが頻発し、TypeScriptを導入している意義そのものが失われるリスクが生じる。
// Approach
型安全性を維持するため、基本戦略として'unknown'を採用する。'typeof'、'instanceof'、あるいはユーザー定義型ガードを用いた型絞り込みを強制することで、値の構造を確定させてから操作を行う手法を提示する。'any'は、レガシーコードの移行など、限定的なスコープでのみ使用するよう制限する。
// Result
型安全性の向上と、実行時エラーの抑制を実現する。'unknown'による防御的な実装は、APIレスポンスやcatchブロックの例外処理において堅牢なコードを実現する。また、ダブルアサーションを避ける指針を示すことで、型設計の不備を早期に発見し、健全な型システムを維持できる。
Senior Engineer Insight
> 大規模なプロダクション環境において、'any'の混入は技術負債の温床となる。型情報の伝播は、一度発生すると修正コストが指数関数的に増大するため、CI/CDプロセスにおいて'any'の使用を制限する静的解析ルールを設けるべきだ。本記事が推奨する「迷ったらunknown」という原則は、開発体験（DX）と堅牢性のバランスを取る上で極めて合理的である。ただし、複雑なオブジェクトに対して手動の型ガードを記述し続けることは、実装コストと保守性の観点から限界がある。実戦では、Zodなどのスキーマバリデーションライブラリを併用し、境界領域での型確定を自動化・宣言的に行う設計を推奨する。