C++における(抽象)構文木の表現

C++でプログラミング言語の構文木を表現する方法はそれこそ星の数ほどあると思われる。その中で自分の用途ではどのようなものが適しているのかしばしば考えることがある。 例えば単純な式を表す構文を考えよう。 <expr> ::= <add_expr> <add_expr> ::= <mul_expr> | <add_expr> "+" <mul_expr> | <add_expr> "-" <mul_expr> <mul_expr> ::= <primary_expr> | <mul_expr> "*" <primary_expr> | <mul_expr> "/" <primary_expr> <primary_expr> ::= "(" <expr> ")" | <integer_literal> | <float_literal> 登場するのは+-*/の二項演算子、整数リテラル、浮動小数点