輸入一條SQL語句,PostgreSQL如何解析輸入的SQL,識別SQL類型以及基表/字段等信息?接下來的幾節將逐一進行解析.
本節介紹了開源工具語法分析器Bison.

一、Bison

基本概念
Bison是一個語法分析器,和Flex配合使用,它可以將用戶提供的語法規則轉化成一個語法分析器。Flex生成token stream,Bison根據定義的產生式和動作表來解析token stream,從而解析句子.
Bison自定義語法文件,一般以.y作為文件擴展名,其格式如下:

%{
Declarations
%}
Definitions
%%
Productions
%%
User subroutines

其中Declarations(聲明)和 User subroutines(用戶自定義過程)和Flex的.l文件是一樣的,Bison會將這些代碼原樣的拷貝到y.tab.c文件中;Definitions(定義)段和Flex類似,也是在這個段定義一些Bison專有的變量,稍后再解釋這個文件中的這個段里的代碼;最重要的是Productions 段,這里面是用戶編寫的語法產生式.

示例
下面用Flex和Bison實現一個簡單的乘法器.
mul.l
詞法文件

%{
#include "y.tab.h"
void yyerror(const char *msg);
void undefined_char(char c);
%}
%%
[0-9]+          { yylval = atoi(yytext); return T_NUMBER; }
[*()\n]        { return yytext[0]; }
.               { return 0; /* end when meet everything else */ }
%%
int yywrap(void) { 
    return 1;
}
void undefined_char(char c) {
    char buf[32] = "Unrecognized character: ?";
    buf[24] = c;
    yyerror(buf);
}
void yyerror(const char *msg) {
    printf("Error :%s\n", msg);
    exit(1);
}

mul.y
語法文件

%{
#include <stdio.h>
%}
%token T_NUMBER
%left '*'
%%
S   :   S E '\n'        { printf("result = %d\n", $2); }
    |   /* empty */     { /* empty */ }
    ;
E   :   E '*' E         { $$ = $1 * $3; }
    |   T_NUMBER        { $$ = $1; }
    ;
%%
int main() {
    return yyparse();
}

makefile

CC = gcc
OUT = mul
OBJ = lex.yy.o y.tab.o
MUL_L = mul.l
MUL_Y = mul.y
build: $(OUT)
run: $(OUT)
    ./$(OUT)
clean:
    rm -f *.o lex.yy.c y.tab.c y.tab.h y.output $(OUT)
$(OUT): $(OBJ)
    $(CC) -o $(OUT) $(OBJ)
lex.yy.c: $(MUL_L) y.tab.c
    flex $<
y.tab.c: $(MUL_Y)
    bison -vdty $<

執行:

[xdb@localhost mul]$ make run
./mul
23*3
result = 69

二、參考資料

Bison