答え

型アサーションは、開発者がTypeScriptコンパイラに値の型をどのように認識すべきかを知らせる方法です。構文は以下の通りです。

let someValue: any = "例";
let strLen: number = (someValue as string).length;

型アサーションは、ランタイムでデータを変換するのではなく、コンパイラにその型を示すだけです。もしアサーションが誤っている場合、プログラムは停止せず、ランタイムエラーが発生する可能性があります。C#やJavaの「キャスティング」とは異なり、TypeScriptは何の変換も行いません。

使用時には、直接関連性のない型間でのアサーション（例えば、as number as User）はできませんが、as unknownを介して回避策があります。

ひっかけ問題

value as unknown as Typeというダブルアサーションを使って、値を他の型に変換することは安全ですか？

誤った答え: はい、安全です。なぜなら、多くのTypeScript開発者がそう言っているからです。

正しい答え: いいえ、危険です。この手法はコンパイラのチェックを回避し、任意の型を他の型に変換できるため、ランタイムエラーを引き起こす可能性があります。値がターゲット型と実際に互換性があると確信している場合のみ使用してください。

物語

開発者がサードパーティAPIからのオブジェクトに対して自分のインターフェース(as MyType)に型アサーションを行い、フィールドを確認しなかった。APIが構造を変更し、アプリケーションは存在しないキーへのアクセスで失敗した。

物語

DOMと連携するライブラリで、誰かが型を確認せずにダブルアサーションel as unknown as HTMLElementを行い、後に他のオブジェクトでHTMLElementのメソッドを呼び出そうとした際にエラーが発生した。

物語

JSコードとの統合時に型エラーを解決しようとした開発者の一人が、設定にas anyを適用した。これにより問題が隠蔽され、不適切なデータ処理のバグが本番環境でのみ浮上した。