TypeScriptの'as'演算子が危険な理由
利用可能な言語 :
Sébastien TIMONER
Web開発とチームマネジメントのエキスパートとして、高性能なデジタルソリューションの作成と最適化を専門としています。React.js、Node.js、TypeScript、Symfony、そしてIoT向けのZephyr OSなどの最新技術における豊富な専門知識を活かし、offroadLabsにて様々な業界の企業向けに、設計から本番環境までの複雑なSaaSおよびIoTプロジェクトの成功を確実にします。
offroadLabsでは、技術的専門知識と協力的なアプローチを組み合わせたカスタム開発サービスを提供しています。革新的なSaaSソリューションの作成、Zephyr OSを使用したIoTシステムの開発、既存アプリケーションの近代化、またはチームのスキルアップ支援など、各プロジェクトの特定のニーズに合わせた堅牢で高性能なソリューションの提供に取り組んでいます。
エクサンプロヴァンス地域またはフルリモートでのプロジェクトに対応可能です。
TypeScriptはコードの安全性のために使用されますが、as演算子がTypeScriptの型の互換性の警告を無視してコンパイルを強制できることに気づいているでしょう。この柔軟性は魅力的に見えますが、多くの場合、落とし穴が隠されています。asの過度な使用が実行時エラーを引き起こす理由と、これらの罠を回避する方法について一緒に見ていきましょう。
asの問題点：隠されたコンパイルエラーTypeScriptでは、as演算子は_型アサーション_と呼ばれるものを可能にします。これは「私は自分がしていることを理解している」とTypeScriptに伝えることを意味します。しかし、この機能は型チェックをバイパスするため、時として悪い選択となり得ます。asを使用すると、TypeScriptが検証できない場合でも、型が正しいことを保証する責任があなたに移ります。具体的な例で見てみましょう。
asで強制するPerson型の特定のプロパティを持つオブジェクトがあり、異なる型に強制的に変換しようとする例を見てみましょう。
typescript
この例では、employeeはroleプロパティを持っていませんが、asのおかげでTypeScriptはコンパイル時にエラーを返しません。しかし、実行時にはemployee.roleはundefinedとなり、コードがstring型の値を期待している場合にエラーが発生する可能性があります。
as unknown asでチェックをバイパスする開発者が時としてunknownを経由して型を強制するチェーンキャストを使用することがあります：
typescript
ここでは、どんな値も取り得るdataをunknownを経由してnumber型にキャストしています。コンパイル時には問題なく見えますが、実行時にはdataが実際には文字列だったため、加算はNaNを生成します。
不完全なオブジェクトを完全な型に強制的に変換する典型的なケースを見てみましょう：
typescript
partialProductオブジェクトはpriceプロパティが欠けているにもかかわらず、Product型に変換されています。この欠落はasのおかげでTypeScriptには検出されませんが、この値を事前チェックなしで使用すると実行時エラーが発生する可能性があります。
asによって生成される問題を回避するために、特に外部ソースからのデータの場合、実行時にデータを検証することが良い実践です。ここでZodの出番です。Zodは、安全な型を定義し、実行時に検証することができるTypeScriptのスキーマ検証ライブラリです。
Zodを使用すると、asで型を強制する代わりに、事前定義されたスキーマでデータを検証および変換できます：
typescript
この例では、ZodがpartialProductがProductスキーマを満たしているかチェックします。プロパティが欠けている場合、Zodはundefined値を通過させる代わりに検証エラーを返します。Zodのおかげで、データを安全に保ち、不完全または不正な型に関連する実行時エラーを回避できます。
as演算子はTypeScriptのチェックをバイパスする簡単な解決策になりますが、特に検証なしで型を強制する場合、実行時エラーのリスクを引き起こします。Zodのようなライブラリを使用することで、実行時にデータを検証し、asが唯一の解決策に見えた場合でも、TypeScriptの安全性を完全に活用することができます。