型アサーション(as)

このレッスンでは、TypeScriptに対して「この値はこの型だと断言する」型アサーション(as)の使い方を学びます。「TypeScript as 型アサーション」で調べている方向けです。

asを使うと、TypeScriptが自動で推論した型を、開発者が指定した型に上書きできます。ただしこれは実行時のチェックを行うものではなく、あくまで「開発者がそう保証する」という宣言に過ぎません。

サンプルコードでは、unknown型の値をas stringで文字列として扱っています。値が本当に文字列であることが確実な場面で使います。

初心者がよくつまずくのが、型アサーションを乱用してしまうことです。asは「型のチェックをすり抜ける」機能でもあるため、実際の値と違う型を指定してしまうと、実行時にエラーが起きる原因になります。可能な限り、前のレッスンで学んだtypeofなどの型ガードで安全に絞り込む方法を優先しましょう。

実際の開発現場では、DOM要素の取得(document.getElementByIdなど、TypeScriptが具体的な型を推論しきれない場面)でよく型アサーションが使われます。