Dev Study
← 解説「型アサーション as」に戻る

サンプルコードで身につける: 型アサーション as

解説で学んだ概念を、5つの具体例で確認します。素朴な例から実務寄りの例へと進みます。

1unknown を as で扱えるようにする

as の最も基本の形です。unknown のままでは一切の操作ができませんが、「これは文字列だと自分が保証する」と as で伝えれば、string のメソッドが使えるようになります。

TypeScript

2as は実行時には何もしない

as はコンパイル時の型情報を上書きするだけで、実行時の値は一切変換しません。typeof の結果が変わらないことで確かめられます。だからこそ、間違った as もコンパイルが通ってしまう点に注意が必要です。

TypeScript

3オブジェクトの形を as で保証する

外部から unknown で受け取ったオブジェクトを、自分の知っている型として扱う例です。type で形を定義してから as で変換すると、その後はプロパティ名の補完やチェックが効く通常の世界に戻れます。

TypeScript

4JSON.parse の結果に型を付ける

JSON.parse の戻り値は型情報のない any なので、そのままでは型チェックが働きません。パース直後に as で自分の知っている型を付けるのが、外部データを型の世界に持ち込む実務の入口です。

TypeScript

5APIレスポンスの配列を as で受けて集計

API のレスポンス本文をパースして as で型を付け、その後は普通の型付きデータとして処理する実務の流れです。as を書くのはデータの入口の1か所だけにし、以降のコードは型チェックに守らせるのがよい設計です。

TypeScript