「Felys」簡易腳本語言【解析】
【概述】
解析代碼分為四個步驟：第一步，初步讀取并存為二維字符數(shù)組；第二步，解讀二維數(shù)組，將其中的信息進行提取進節(jié)點并組成一條鏈表，并且將每段代碼的作用域按照體度補全（比如當(dāng)遇到第五層局部變量的下一行直接變成第三層局部變量時，將添加空指令節(jié)點其修改為第五層到第四層，第四層到第三層這樣的）；第三步，初步檢查語法，要求指定關(guān)鍵字之后必須進入新的一層局部變量；第四步，補全跳行邏輯。
【第一步】
直接創(chuàng)建一個初始化為0的container二維字符數(shù)組，然后將文本中的每一行讀取放進這個二維數(shù)組，然后創(chuàng)建一個cmd結(jié)構(gòu)體作為命令起始點，并且將其初始化，之后所以的操作都會以此開端進行遍歷，這一步都在main函數(shù)中完成。
【第二步】
雖然程序已經(jīng)進入cmdparse函數(shù)，但實現(xiàn)部分在其中的cmdread函數(shù)中。
簡單來講cmdread函數(shù)有兩大用處。首先，函數(shù)的輸入為上一條指令的地址、字符串形式的命令、作用域，然后用malloc動態(tài)地為本行指令在堆中分配內(nèi)存方便后后面的操作，如果遇到scope減少就行對應(yīng)的進行wrap up，具體內(nèi)容見圖。
【第三步】
對初步解析好的鏈表進行遍歷，檢查在特定關(guān)鍵字后面是否如要求進行縮進，以表示進入新的局部變量范圍，這一步比較簡單沒寫注釋。
【第四步】
對于跳行的解析，也是這一章最抽象最難的一部分。在Felys中，自動解析的跳行有三種：
當(dāng)while、if、elif的判斷結(jié)果為否的時候，我們需要跳過當(dāng)中全部的指令直接執(zhí)行靠近其作用域最近的一條，比如當(dāng)前while的scope為0且while判定為否，那我們就需要跳過當(dāng)中所有scope大于0的命令，那么目標(biāo)就是將while之后第一條scope為0的cmd的地址寫到while的jump里面。由于編程語言都遵循層層相扣的原理，這里完美契合棧的特性，每當(dāng)遇到這三者時，我們就壓入棧內(nèi)，當(dāng)遇到其scope結(jié)束的時候就把它彈出來，并且修改其jump的跳轉(zhuǎn)位置。在運行的時候，假如while的判斷是TRUE那么執(zhí)行下一行，否則執(zhí)行跳行，if和elif同理。
while的結(jié)束前的最后一行應(yīng)該直接jump回while進行判斷，所以這里的目標(biāo)就是將while循環(huán)中最后一行cmd的jump寫入對應(yīng)的while的cmd地址，這樣執(zhí)行到這里的時候就會自動跳轉(zhuǎn)到while的判斷（注：如果一條cmd在沒有關(guān)鍵字的情況下，jump卻不是NULL，那就直接執(zhí)行跳行而不是下一行，這部分會在執(zhí)行章節(jié)詳解）。
如果if和elif在執(zhí)行完成之后需要跳過后面所有的elif和else，實現(xiàn)原理是遇到if或者elif的時候我們就壓棧，當(dāng)遇到一條scope等于if或者elif的cmd且其關(guān)鍵字不等于elif和else的話，就清空棧中直到棧頂cmd的scope不再等于當(dāng)前cmd的scope。具體內(nèi)容見圖。
說實話，我當(dāng)時花了整整一周時間才算得到一個穩(wěn)定有邏輯操作方式，盡管我在此之前已經(jīng)完全構(gòu)思好了大體邏輯和期望結(jié)果，每次寫完一版之后都會遇到重大漏洞決定重構(gòu)，因為不僅非常抽象而且對細節(jié)要求很高，但我這個人比較執(zhí)著，執(zhí)意要用符合邏輯的算法來寫而不是愚蠢的瘋狂遍歷（時間復(fù)雜度會直接起飛），最終得到了這個O(2n)的版本（語法檢查那個遍歷不算），我還是很滿意的。
【總結(jié)】
如果你基本理解了解析遍，那么恭喜你對Felys整體構(gòu)造已經(jīng)有了相當(dāng)?shù)牧私?，暫時看不懂也沒關(guān)系，因為每一章節(jié)都是可以獨立閱讀的，可以先看看其他的回過頭來再理解整體架構(gòu)。
