繼
《面向組合子的一些測(cè)試》 進(jìn)一步完善代碼,制作出詞法分析器.
我們首先需要一個(gè)Fail基類,他有一個(gè)純虛函數(shù)Parser.
1 class Fail
2 {
3 public:
4 virtual NWString Parser(NWString& input)=0;
5 };
Parser的輸入為要分析的字符串,輸出為分析完成后剩余的字符串.
然后我們需要一個(gè)Ch和一個(gè)Str分別用來(lái)分析單個(gè)字符和一個(gè)字符串.
1 class Ch : public Fail
2 {
3 public:
4 Ch(WCHAR _value) : value(_value){}
5
6 NWString Parser(NWString& input);
7
8 WCHAR Value();
9 protected:
10 WCHAR value; // 待匹配串
11 };
12
13 class Str : public Fail
14 {
15 public:
16 Str(NWString _value) : value(_value){}
17
18 NWString Parser(NWString& input);
19 protected:
20 NWString value; // 待匹配串
21 };
然后是Seq,Alt和Any,分別表示組合,選擇和循環(huán).
1 class Seq : public Fail
2 {
3 public:
4 Seq(const NAutoPtr<Fail>& _left,const NAutoPtr<Fail>& _right) : left(_left),right(_right){}
5
6 NWString Parser(NWString& input);
7 protected:
8 NAutoPtr<Fail> left;
9 NAutoPtr<Fail> right;
10 };
11
12 class Alt : public Fail
13 {
14 public:
15 Alt(const NAutoPtr<Fail>& _left,const NAutoPtr<Fail>& _right) : left(_left),right(_right){}
16
17 NWString Parser(NWString& input);
18 protected:
19 NAutoPtr<Fail> left;
20 NAutoPtr<Fail> right;
21 };
22
23 class Any : public Fail
24 {
25 public:
26 Any(const NAutoPtr<Fail>& _left,const int _count) : left(_left),count(_count){}
27
28 NWString Parser(NWString& input);
29 protected:
30 NAutoPtr<Fail> left;
31 int count;
32 };
最后我們需要一個(gè)Node類型來(lái)存放以上這幾類對(duì)象.
1 class Node
2 {
3 public:
4 Node(){}
5 Node(const NAutoPtr<Fail>& _left) : left(_left){}
6
7 friend NAutoPtr<Node> operator+(const NAutoPtr<Node>& left,const NAutoPtr<Node>& right);
8 friend NAutoPtr<Node> operator|(const NAutoPtr<Node>& left,const NAutoPtr<Node>& right);
9 friend NAutoPtr<Node> operator-(const NAutoPtr<Node>& left,const NAutoPtr<Node>& right);
10
11 static NAutoPtr<Node> OnceMore(NAutoPtr<Node> node);
12 static NAutoPtr<Node> More(NAutoPtr<Node> node);
13 static NAutoPtr<Node> NewCh(WCHAR input);
14 static NAutoPtr<Node> NewStr(NWString input);
15
16 NWString Parser(NWString& input);
17
18 NAutoPtr<Fail>& Value();
19 protected:
20 NAutoPtr<Fail> left;
21 };
下面來(lái)分析一下Node里的函數(shù):
+:對(duì)應(yīng)于Seq,用于將兩個(gè)Node連接起來(lái).
|:對(duì)應(yīng)與Alt,用于選擇兩個(gè)Node.
-:只有l(wèi)eft和right的Value()都是NAutoPtr<Ch>時(shí)才可使用,內(nèi)部有類型轉(zhuǎn)換,表示從哪個(gè)字符到哪個(gè)字符.
OnceMore:重復(fù)1次及以上.
More:重復(fù)0次以上.
NewCh:生成一個(gè)NAutoPtr<Ch>的Node對(duì)象.
NewStr:生成一個(gè)NAutoPtr<Str>的Node對(duì)象.
下面我們需要4個(gè)宏.
1 #define ONCEMORE(N) Node::OnceMore(N)
2 #define MORE(N) Node::More(N)
3 #define NEWCH(N) Node::NewCh(N)
4 #define NEWSTR(N) Node::NewStr(N)
這4個(gè)宏僅為了輸入方便
然后我們來(lái)測(cè)試一下:
1 NAutoPtr<Node> Symbol = ONCEMORE(NEWCH('_') | NEWCH('a') - NEWCH('z')) | (NEWCH('A') - NEWCH('Z'))
2 + MORE(NEWCH('_') | (NEWCH('0') - NEWCH('9')) | (NEWCH('a') - NEWCH('z')) | (NEWCH('A') - NEWCH('Z')));
3 NAutoPtr<Node> Number = ONCEMORE(NEWCH('0') - NEWCH('9'));
4 NAutoPtr<Node> Real = Number + NEWCH('.') + Number;
相信對(duì)正則表達(dá)式有一定認(rèn)識(shí)的同學(xué)已經(jīng)知道這3條語(yǔ)句分別對(duì)應(yīng)于什么正則表達(dá)式.
Symbol->[_a-zA-Z]+[_0-9a-zA-Z]*
Number->[0-9]+
Real->[0-9]+.[0-9]+
定義一個(gè)待分析的字符串.
1 NWString str = L"abcce_fg123.459agetr";
對(duì)其分析.
1 wprintf(L"%s\n",str);
2 wprintf(L"%s\n",Symbol->Parser(str));
3 wprintf(L"%s\n",Real->Parser(str));
4 wprintf(L"%s\n",Symbol->Parser(str));
分析結(jié)果.
1 abcce_fg123.459agetr
2 123.459agetr
3 agetr
4
因?yàn)闆](méi)有考慮分析效率問(wèn)題,所以使用NWString作為輸入和輸出,在實(shí)際使用中可用LPTSTR來(lái)代替NWString,同時(shí)修改響應(yīng)代碼.
最后給出
源代碼
posted on 2011-01-26 22:11
lwch 閱讀(2443)
評(píng)論(9) 編輯 收藏 引用 所屬分類:
NScript