型アサーション「as」(type assertion)

TypeScriptには、型推論を上書きする機能があります。その機能を型アサーション(type assertion)と言います。

TypeScriptコンパイラーはコードをヒントに型を推論してくれます。その型推論は非常に知的ですが、場合によってはコンパイラーよりもプログラマーがより正確な型を知っている場合があります。そのような場合は、型アサーションを用いるとコンパイラーに型を伝えることができます。型アサーションはコンパイラに「私を信じて！私のほうが型に詳しいから」と伝えるようなものです。

型アサーションの書き方

型アサーションの書き方は2つあります。1つはas構文です。

ts
const value: string | number = "this is a string";
const strLength: number = (value as string).length;

ts
const value: string | number = "this is a string";
const strLength: number = (value as string).length;

もう1つはアングルブラケット構文(angle-bracket syntax)です。

ts
const value: string | number = "this is a string";
const strLength: number = (<string>value).length;

ts
const value: string | number = "this is a string";
const strLength: number = (<string>value).length;

どちらを用いるかは好みですが、アングルブラケット構文はJSXと見分けがつかないことがあるため、as構文が用いられることのほうが多いです。

コンパイルエラーになる型アサーション

型アサーションを使えば制限なく型の情報を上書きできるかというとそうではありません。たとえば、number型をstring型にする型アサーションはコンパイルエラーになります。

ts
const num = 123;
const str: string = num as string;
Conversion of type 'number' to type 'string' may be a mistake because neither type sufficiently overlaps with the other. If this was intentional, convert the expression to 'unknown' first.2352Conversion of type 'number' to type 'string' may be a mistake because neither type sufficiently overlaps with the other. If this was intentional, convert the expression to 'unknown' first.

ts
const num = 123;
const str: string = num as string;
Conversion of type 'number' to type 'string' may be a mistake because neither type sufficiently overlaps with the other. If this was intentional, convert the expression to 'unknown' first.2352Conversion of type 'number' to type 'string' may be a mistake because neither type sufficiently overlaps with the other. If this was intentional, convert the expression to 'unknown' first.

このエラーは「number型をstring型にするのは間違いです。お互いの型に共通する部分が少なすぎるからです」という内容です。

このように型アサーションはコンパイラーの型推論を上書きできるとは言っても、無茶な型の変換はできないようになっています。

それでも自分の書いた型アサーションが正しいという場合は、unknown型を経由することで上のようなエラーを出さないようにもできます。

ts
const num = 123;
const str: string = num as unknown as string; // OK

ts
const num = 123;
const str: string = num as unknown as string; // OK

型アサーションとキャストの違い

型アサーションは、他の言語のキャストに似ています。キャストとは、実行時にある値の型を別の型に変換することです。型アサーションは、実行時に影響しません。値の型変換はしないのです。あくまでコンパイル時にコンパイラーに型を伝えるだけです。コンパイラーはその情報を手がかりに、コードをチェックします。型アサーションはキャストではないため、TypeScriptでは型アサーションをキャストとは呼ばないことになっています。実行時に型変換をするには、そのためのロジックを書く必要があります。