本文へスキップ

フロー型解析とは?

ふろーがたかいせき

コード実行フローに基づいて型を絞り込む静的解析。

フロー型解析はif文などの制御フローに基づいて変数の型を自動で絞り込む静的解析でTypeScriptの型ガードやKotlinのスマートキャストが代表例。

使い方・例文

TypeScriptでif(typeof x === 'string')と書くとブロック内でxがstring型に絞り込まれる。

この用語をシェア

𝕏 でポスト LINE

最終更新:

関連用語