1、Bison(2015-01-3012:42:55)標(biāo)簽： 雜談BISON 用于語(yǔ)法分析器的自動(dòng)生成，它可以很方便地生成一個(gè)所謂的抽象語(yǔ)法樹(shù)樹(shù)的每一個(gè)子樹(shù)都代表了一個(gè)特定的語(yǔ)法成分，便于后期處理。這個(gè)工具可以在網(wǎng)上下載獲SQL 可以讓我們把精力專注在語(yǔ)法規(guī)則上，而不是具體的分析函DBMS 護(hù)的模塊之一。BISON 源文件的結(jié)構(gòu)我們需要按照 BISON 的要求，書(shū)寫 BISON 的源程序（gramma.y）會(huì)把它的C BISON 的源文件通常由八個(gè)部分組成：一自由定義部分:%BISON 原封不動(dòng)地復(fù)制到輸出的.C 文件中。通常等。二語(yǔ)法棧的聯(lián)合(UNION)結(jié)構(gòu)一個(gè)語(yǔ)法成分，所以采用一個(gè) UNIO

2、N：%unionUnion 中的每一個(gè)項(xiàng)，都是一個(gè)語(yǔ)法規(guī)則的每一個(gè)非終結(jié)符；以整數(shù)四則表達(dá)式為例：exp:expexp|exp-exp|exp*exp|exp/exp|(exp)| lt_integer；lt_integer: LT_INTEGER;這里有兩個(gè)語(yǔ)法規(guī)則，對(duì)應(yīng)了兩個(gè)非終結(jié)符號(hào)exp是表達(dá)lt_integer表示整數(shù)常量（LT_INTEGER表示詞法分析程序返回的一個(gè)確認(rèn)為整數(shù)的單詞）可以書(shū)寫為：%par_exp_t*exp; int;par_exp_texp存放unionDM6UNION大約490490個(gè)語(yǔ)法規(guī)則產(chǎn)生式。UNION那么每一個(gè)規(guī)約出來(lái)的C 指針三非終結(jié)符的類型聲明U

3、NION 類型非終結(jié)符號(hào)對(duì)應(yīng)起來(lái)：%type非終結(jié)符如上例，這部分應(yīng)該寫為：%type exp%type lt_integer看上去似乎有點(diǎn)多余，每一行都是一個(gè)簡(jiǎn)單的重復(fù)。但前面UNION UNION 改為:%par_exp_t*eeee; intiiii;那么對(duì)應(yīng)的類型聲明需要改為：%type exp%type lt_integer;一致的寫法。四：?jiǎn)卧~（token）聲明分析程序支持的單詞：%tokenLT_INTEGERSQL 語(yǔ)法，關(guān)鍵字如：SELECTFROMWHERE 等， 都可以定義為單詞:%token KW_SELECT, KW_FROM%token KW_WHERE五. 確定運(yùn)

4、算符的優(yōu)先級(jí)%left-%left*/%left()%left表達(dá)式計(jì)算中：1 2 3 別識(shí)別為：（1 2）3), (12 3)優(yōu)先級(jí)低的符號(hào)列在前面，高有限級(jí)的符號(hào)列在后面;同一行的表示優(yōu)先級(jí)相同。所以上面的書(shū)寫方式，符合“先除，后加減，括號(hào)最優(yōu)先”的原則。除了%left 以后，還有%right, %nonassoc 等用來(lái)只是右結(jié)合，或者不結(jié)合等說(shuō)明符號(hào)，可查看 bison 的詳細(xì)說(shuō)明。六.聲明語(yǔ)法的開(kāi)始符號(hào)%start exp這是告知 bison, 這是語(yǔ)法最終需要規(guī)約的非終結(jié)符號(hào)。七.語(yǔ)法規(guī)則定義%開(kāi)始出了關(guān)于表達(dá)式的語(yǔ)法規(guī)則：%exp:expexp|exp-exp|exp*exp|e

5、xp/exp|(exp)| lt_integerlt_integer:LT_INTEGER;C源代碼%C 助代碼。這部分代碼將被原封不動(dòng)地復(fù)制到輸出的.C 文件中。給語(yǔ)法規(guī)則配上規(guī)約動(dòng)作C 動(dòng)作應(yīng)該緊接在語(yǔ)法規(guī)則的后面。如上例:exp:expexp$ = new_node(PAR_EXP, 1);$-tag = 1;$-exp1 = $1;$-exp2 = $3; g_root = $;|(exp)$ = $2;這里僅列出了其中的兩個(gè)子規(guī)則, 其中 A, B, C, D 四個(gè)語(yǔ)句構(gòu)成了第一個(gè)子規(guī)則的語(yǔ)句塊:Aexp生成一個(gè)結(jié)構(gòu), 用$指向它。$是一個(gè)bison如果沒(méi)有規(guī)約動(dòng)作代碼，缺省情況下賦予$NULL。new_node 是一個(gè)需要自己編寫的函數(shù),用于生成各個(gè)子節(jié)點(diǎn)，PAR_EXP是一個(gè)事先定義的常量。顯然，對(duì)于不同的new_node這樣的函數(shù)， 一般放在.y文件的最后一個(gè)部分。Btag1 保留第一個(gè)子表達(dá)式；$11個(gè)語(yǔ)法成分所在的語(yǔ)法棧中對(duì)應(yīng)的值保留第二個(gè)子表達(dá)式；$33個(gè)語(yǔ)法置，用$2tag=1，已經(jīng)把相應(yīng)的信息保存到$中，所以不需要管它。E$expg_root就是語(yǔ)法樹(shù)的根。F賦給$par_exp 節(jié)點(diǎn)。最終的函數(shù) yyparse()bison yyarse()， g_root 將指向一個(gè)完成的語(yǔ)法樹(shù)。如果輸入的字符串有語(yǔ)法錯(cuò)誤，則分析器將停止分析，在退如果輸入的字符