概要

TypeScript には 型アサーション（type assertion） という仕組みがあります。

これは、

「この値の型は、TypeScript が思っている型とは違って、

開発者である自分が正しい型を知っている」

ということを コンパイラ（TypeScript の型チェック）に伝えるための書き方 です。

型アサーションは、

TypeScript が自動で型を判断できない場面で、

エラーを回避したり、次の処理を書きやすくするために使われます。

初学者向けに一言で説明

型アサーションとは、「この値はこの型だよ」と TypeScript に教えてあげる書き方です。

具体例

const value: unknown = "Hello, TypeScript";

// 型アサーションを使う
const message = value as string;

console.log(message.length);

その具体例に対する解説

まず、unknown 型について説明します。