コードを解析するRubyをご覧ください

実用的で便利なコンテンツから少し離れて、Rubyパーティーのすっきりとしたトリックを紹介するのは楽しいと思いました。

Rubyがプログラムを実行する前に、プログラムを解析する必要があります。パーサーは一種のステートマシンです。また、Rubyにステートマシンが行うすべてのことをログに記録させるために使用できる、あまり知られていないコマンドラインフラグがあります。

次の例を見てください：

a = 1 + 2

-yを使用してこれを実行した場合 フラグを立てると、次の出力が得られます：

$ ruby -y sample.rb
Starting parse
Entering state 0
Reducing stack by rule 1 (line 903):
-> $$ = nterm $@1 ()
Stack now 0
Entering state 2
Reading a token: Next token is token tIDENTIFIER ()
Shifting token tIDENTIFIER ()
Entering state 35
Reading a token: Next token is token '=' ()
Reducing stack by rule 509 (line 4417):
   $1 = token tIDENTIFIER ()
-> $$ = nterm user_variable ()
Stack now 0 2
Entering state 113
Next token is token '=' ()
Reducing stack by rule 100 (line 1764):
   $1 = nterm user_variable ()
-> $$ = nterm lhs ()
Stack now 0 2
...
140 more lines

ここに表示されているのは、Rubyパーサーがファイル内の各トークンを循環し、次の操作を実行していることです。

• トークンをスタックに追加します
• スタックをルールのリストと比較します
  • トークンがルールに一致する場合は、状態遷移を実行します
  • 一致しない場合は、スタックに別のトークンを追加して、再試行してください。

すべての状態とルールは、parse.yで定義されています。このファイルは、Cにある実際のパーサーを生成するためにbisonパーサージェネレーターによって処理されます。