java實現C編譯器 for 迴圈語句的解析和執行

int a = 0;

我們當前的解析器是解析不了的，必須把上面的語句轉換為：

int a;

a = 0;

要想使當前的直譯器能夠解析並執行變數宣告同時付初值的功能，實現起來較為複雜，所以我決定先把這個功能放一放，把精力先使用在更為重要的實現上。

本節我們要為直譯器增加的功能是對for迴圈進行解析和執行，for迴圈的語法表示式如下：

statement -> for lp opt_expr  test semi end_opt_expr rp statement(84)

其對應的執行樹結構如下：

對於乙個具體的迴圈語句：

for (i= 0; i
< 3; i++)

i = 0 對應於節點optexpr, i < 3 對應節點test, i++ 對應節點endoptexpr, a = a+ 1; 對應最後乙個statement節點。

直譯器在執行for 語句時，先執行optexpr節點，然後執行test節點，如果test節點執行後返回的值大於0，則執行最下面的statement節點，然後再執行endoptexpr節點，也就是for 迴圈後面的i++語句。

整個流程執行完畢後，解釋著再次執行test節點，如果執行後返回值不等於0，則繼續執行最下面的statement節點和endpotexpr節點，如果返回值等於0，則執行結束。

public icodenode buildcodetree(int production, string text) 
break
; case cgrammarinitializer.expr_to_endopt:
node = icodefactory.createicodenode(ctokentype.end_opt_expr);
node.addchild(codenodestack.pop());
break
; ...
}

增加的**就是用來構造前面所說的關於for迴圈執行樹的幾個節點。在statementexecutor的實現中，我們增加了對for迴圈的這裡寫**片實現：

public
class
statementexecutor
extends
baseexecutor;
@override
public object execute(icodenode root) 
break;
default:
executechildren(root);
break;
}return root;
}private
boolean
isloopcontinute(icodenode root, looptype type) 
return
false;}}

executechild(root, 0); 對應於執行樹中的optexpr節點，也就是執行for語句中的變數初始化語句，也就是i = 0; isloopcontinute 執行的是執行樹中第二個節點，也就是test節點，對應的是for 語句中的 i < 3語句，如果返回的結果不等於0，也就是迴圈條件滿足，那麼執行迴圈體內部的語句**，也就是通過呼叫

executechild(root, 3);, 從而執行執最下面的statement節點，對應於例子中，就是 a = a + 1; 最後通過呼叫executechild(root, 2); 執行endoptexpr節點，對應於for迴圈，就是語句i++;

我們需要新增新的**，以便直譯器能正確執行i++語句，該語句對應的語法表示式是：

unary -> unary incop

所以我們需要在unarynodeexecutor中，新增相應的實現**，具體改動如下：

public
class
unarynodeexecutor
extends
baseexecutor catch (exception e) 
break;}}
}

我們先拿到變數i所對應的symbol物件，通過該物件的valuesetter介面，使得變數的值自加1.

通過上面的**改進，我們的直譯器對c語言的執行能力可以得到進一步加強，可以正確解析和執行下面的c語言**：

void f() 
}

java實現C編譯器 for 迴圈語句的解析和執行

編譯器實現（六）

c 編譯器編譯過程

C 編譯器大全

java實現C編譯器 for 迴圈語句的解析和執行

編譯器實現（六）

c 編譯器編譯過程

C 編譯器大全

相關推薦