評論員文章

【概述】

解析代碼分為四個步驟：第一步，初步讀取并存為二維字符數組；第二步，解讀二維數組，將其中的信息進行提取進節點并組成一條鏈表，并且將每段代碼的作用域按照體度補全（比如當遇到第五層局部變量的下一行直接變成第三層局部變量時，將添加空指令節點其修改為第五層到第四層，第四層到第三層這樣的）；第三步，初步檢查語法，要求指定關鍵字之后必須進入新的一層局部變量；第四步，補全跳行邏輯。

(資料圖片僅供參考)

【第一步】

直接創建一個初始化為0的container二維字符數組，然后將文本中的每一行讀取放進這個二維數組，然后創建一個cmd結構體作為命令起始點，并且將其初始化，之后所以的操作都會以此開端進行遍歷，這一步都在main函數中完成。

【第二步】

雖然程序已經進入cmdparse函數，但實現部分在其中的cmdread函數中。

簡單來講cmdread函數有兩大用處。首先，函數的輸入為上一條指令的地址、字符串形式的命令、作用域，然后用malloc動態地為本行指令在堆中分配內存方便后后面的操作，如果遇到scope減少就行對應的進行wrap up，具體內容見圖。

【第三步】

對初步解析好的鏈表進行遍歷，檢查在特定關鍵字后面是否如要求進行縮進，以表示進入新的局部變量范圍，這一步比較簡單沒寫注釋。

【第四步】

對于跳行的解析，也是這一章最抽象最難的一部分。在Felys中，自動解析的跳行有三種：

當while、if、elif的判斷結果為否的時候，我們需要跳過當中全部的指令直接執行靠近其作用域最近的一條，比如當前while的scope為0且while判定為否，那我們就需要跳過當中所有scope大于0的命令，那么目標就是將while之后第一條scope為0的cmd的地址寫到while的jump里面。由于編程語言都遵循層層相扣的原理，這里完美契合棧的特性，每當遇到這三者時，我們就壓入棧內，當遇到其scope結束的時候就把它彈出來，并且修改其jump的跳轉位置。在運行的時候，假如while的判斷是TRUE那么執行下一行，否則執行跳行，if和elif同理。

while的結束前的最后一行應該直接jump回while進行判斷，所以這里的目標就是將while循環中最后一行cmd的jump寫入對應的while的cmd地址，這樣執行到這里的時候就會自動跳轉到while的判斷（注：如果一條cmd在沒有關鍵字的情況下，jump卻不是NULL，那就直接執行跳行而不是下一行，這部分會在執行章節詳解）。

如果if和elif在執行完成之后需要跳過后面所有的elif和else，實現原理是遇到if或者elif的時候我們就壓棧，當遇到一條scope等于if或者elif的cmd且其關鍵字不等于elif和else的話，就清空棧中直到棧頂cmd的scope不再等于當前cmd的scope。具體內容見圖。

說實話，我當時花了整整一周時間才算得到一個穩定有邏輯操作方式，盡管我在此之前已經完全構思好了大體邏輯和期望結果，每次寫完一版之后都會遇到重大漏洞決定重構，因為不僅非常抽象而且對細節要求很高，但我這個人比較執著，執意要用符合邏輯的算法來寫而不是愚蠢的瘋狂遍歷（時間復雜度會直接起飛），最終得到了這個O(2n)的版本（語法檢查那個遍歷不算），我還是很滿意的。

【總結】

如果你基本理解了解析遍，那么恭喜你對Felys整體構造已經有了相當的了解，暫時看不懂也沒關系，因為每一章節都是可以獨立閱讀的，可以先看看其他的回過頭來再理解整體架構。