識別子や定数のトークンが持つ属性情報

Question

コンパイラにおいて，識別子や定数のトークンが持つ属性情報は，構文解析系では使わない情報ですが，制約検査系以降では必要な情報になるのか，その理由を教えてください．よろしくお願いします．

Comments

[maisumakun]

「属性情報」とは、具体的にどのような情報でしょうか。

[退会済みユーザー]

例えば，変数xyと変数zは,どちらもトークンとしては識別子ですが，前者は"xy"という文字列，後者は"z"という文字列をそれぞれ属性情報として持ちます．

[maisumakun]

えっと、疑問内容は何でしょうか？

[退会済みユーザー]

識別子や定数のトークンが持つ属性情報は，構文解析系では使わないが，制約検査系以降では必要な情報になるのはなぜかというのが疑問点です．

[maisumakun]

「構文解析系では使わない」のと「制約検査系以降では必要な情報になる」のと、どちらが疑問なのですか？

[退会済みユーザー]

2つとも疑問です．

Answer 1

，構文解析系では使わない情報ですが，制約検査系以降では必要な情報になるのか，その理由を教えてください．

それぞれの処理内容を考えれば明らかかと思います。

Comments

[maisumakun]

言葉だけで認識しようとしていませんか？「構文解析」や「制約検査」がどのような処理をしているのかまで考えてみましょう。