意味解析（コンパイラ） とは？

構文解析は、式や文の並びが文法に合うかを調べる。意味解析は、その名前が何を指すか、型の使い方が合うかなどを確かめるよ。TypeScriptで「let n: number = "hello";」と書くと、文の形は読めても、数値型へ文字列を代入しているので型検査のエラーになる。

言語や演算のルールによるよ。JavaScriptなどでは文字列と数値の足し算が文字列の連結になる場合がある。見た目だけで間違いと決めず、その言語で許される型や変換を確認するのが大切だね。

変数や関数の名前がどの宣言を指すか、使える範囲か、引数が合うかなども確認する。名前と型などの情報を管理するシンボルテーブルは、そのための道具だよ。何をいつ検査するかは言語と実装によって違うんだ。

構文の木に型などの情報を付けていく構成があるけれど、必ず独立した一回の工程とは限らないよ。たとえばClangでは、構文解析中に意味解析のSemaが呼ばれ、正しいプログラムのASTを作る。図は役割の違いを簡略化した例なんだ。

すべてのバグが消えるわけではないよ。縦5、横4の面積を求めたいのに「5 + 4」と足してしまっても、数値の型としては正しい。利用者が求める結果か、実行時の条件は満たすかは、テストや確認も必要だね。