青青草原综合久久大伊人导航_色综合久久天天综合_日日噜噜夜夜狠狠久久丁香五月_热久久这里只有精品

隨筆 - 31  文章 - 128  trackbacks - 0
<2025年9月>
31123456
78910111213
14151617181920
21222324252627
2829301234
567891011

常用鏈接

留言簿(5)

隨筆分類(38)

隨筆檔案(31)

收藏夾(4)

College

High School

最新隨筆

搜索

  •  

積分與排名

  • 積分 - 56709
  • 排名 - 407

最新評論

  • 1.?re: [yc]詳解link
  • 面試的時候面試官就問過我什么是編譯和鏈接,我說編譯就是把代碼文件生成目標文件,鏈接就是把目標文件生成可執行文件,他說不對,又問我什么是動態鏈接,還問我預編譯都做什么處理。。。都在這里找到了答案!!!!
  • --王至乾
  • 2.?re: [yc]詳解link
  • @劉偉
    我是說博主,不是叫你啊
  • --溪流
  • 3.?re: [yc]詳解link
  • 誰是石老師,我不是哈@溪流
  • --劉偉
  • 4.?re: [yc]詳解link
  • 石老師?我是溪流~
  • --溪流
  • 5.?re: [yc]詳解link
  • 期待樓主下文啊,多謝樓主了
  • --劉偉

閱讀排行榜

評論排行榜

    最近為了解析SQL語法,懷著試一試的心態去翻了翻boost的spirit庫,因為該庫的文檔的簡介里寫著LL parser framework  represents parsers directly as EBNF grammars in inlined C++。看著framework這個詞自然覺得這個庫很牛B,試用了一下果然如此。
    所謂EBNF即擴展巴克斯范式,是一種描述Context-Free Language的文法。在目前常見的非自然語言中,大部分都可以用EBNF表示。例如:
      group  ::='('exp
')'
      factor ::=integer|
group
      term   ::=factor(('*'factor)|('/'factor
))*
      exp    ::=term(('+'term)|('-'term
))*
這是一個整數表達式的EBNF。該段描述用spirit在C++中的實現則是:
   

   rule<> group, factor, term, exp;
   group  
= '(' >> exp >> ')';
   factor 
= int_p | group;
   term   
= factor >> *(('*' >> factor) | ('/' >> factor));
   exp    
= term >> *(('+' >> term) | ('-' >> term));

這里使用=代替::=, 用>>代替空格連接。并且由于C++語法所限,EBNF中后置的*在spirit中改為前置。
等式左邊的單詞被稱為一個rule,等式右邊為rule的定義。我們可以看出一個group是一個exp加上一對括號,一個factor是一個整數或者一個group,一個term是一個或多個factor用*/連接,一個exp是一個或多個term用+-連接。處于最頂端的exp可以據此識別出以下表達式
   

   12345
   
-12345
   
+12345
   
1 + 2
   
1 * 2
   
1/2 + 3/4
   
1 + 2 + 3 + 4
   
1 * 2 * 3 * 4
   (
1 + 2* (3 + 4)
   (
-1 + 2* (3 + -4)
   
1 + ((6 * 200- 20/ 6
   (
1 + (2 + (3 + (4 + 5))))

    得到一個rule之后,我們就可以用 parse函數對一個串進行識別了。例如
         

         parse( " (1 + (2 + (3 + (4 + 5)))) " , exp);


該函數返回一個結構parse_info,可以通過訪問其中的full成員來判斷是否成功識別,也可以訪問stop成員來獲知失敗的位置。這里要特別提一點,關于各個符號之間的空格,spirit的文檔的正文說的是給parse再傳一個參數space_p,通知parse跳過所有的空格,然而在FAQ中又提到,如果使用以上方法定義rule,第三個參數傳space_p會失敗。原因是使用rule默認定義的規則被稱為character level parsing,即字符級別解析,而parse的第3個參數僅適用于phrase level parsing,即語法級別解析。要使用第3個參數可以有幾種方法。
      1。在parse的第二個參數直接傳入一個EBNF表達式,不創建rule對象。
         

            parse( " hello world " * anychar_p, space_p);  


      2。以rule<phrase_scanner_t>創建rule。
         

            rule < phrase_scanner_t >  exp; 

注意雖然可以用這兩個辦法屏蔽空格,但是這樣可能完全改變EBNF文法的語義,尤其是在語言本身需要識別空格的時候。對于這種情況,可以不使用第三個參數,并在需要出現空格的地方加上space_p,或者+space_p及*space_p,其中+和*分別表示后面的符號連續出現一次以上和0次以上。例如一個以空格分隔的整數列表可以寫成int_p >> *(+space_p >> int_p)
   如上使用parse可以識別一個串,但并不能做更多的操作,例如將語法里的各個成分提取出來。對于這樣的需求,可以通過actor實現。下面是使用actor的一個簡單例子
   

   bool
   parse_numbers(
char const* str, vector<double>& v)
   
{
      
return parse(str,

   
//  Begin grammar
      (
         real_p[push_back_a(v)] 
>> *(',' >> real_p[push_back_a(v)])
      )
      ,
      
//  End grammar
      space_p).full;
   }

注意到real_p后面的[],中括號里面是一個仿函數(函數指針或者函數對象),該仿函數具有如下調用型別
   

   void operator()(IterT first, IterT last) const;
   
void operator()(NumT val) const;
   
void operator()(CharT ch) const;


一旦spase發現了匹配real_p的子串,就會調用該functor。不同的rule可能會對應不同的調用型別。
第一個型別針對一般規則,first和last為兩個指向字符的迭代器(一般為char*),匹配的子串為[first, last)
第二個型別針對數字型規則,如real_p和int_p, 參數val是一個數字類型。
第三個性別針對單字符型規則,如space_p, 參數ch是一個字符類型。
real_p[push_back_a(v)]中的push_back_a是一個spirit已經定義好的functor,它會將匹配好的內容依照匹配到的時間順序調用v的push_back函數加入到v中。

   到此spirit的常用功能就都介紹完了。要詳細深入了解可以參考spirit的文檔。

最后在題一個注意要點。spirit的各種EBNF連接都是指針連接,因此才能在expression被賦值前就在group的定義里面使用。所以在使用EBNF的時候一定要小心不要將局部變量的rule提供給全局或者類成員變量使用,例如:
   

   class A
   
{
      rule
<> s;
      A()
      
{
         rule
<> r = int_p | hex_p;

         s 
= r >> *(+space_p >> r); //error, r destructed after return 
      }

   }
;

如果真想使用局部作用域,可以在局部的rule前面加上static.

posted on 2005-12-18 12:02 shifan3 閱讀(7151) 評論(5)  編輯 收藏 引用 所屬分類: templateBoostC++

FeedBack:
# re: boost::spirit初體驗 2005-12-18 20:22 Windreamer Is Not DREAMER
贊,華麗的石老師
沒想到spirit竟然這么厲害??
看來我真得系統的把Boost好好看一遍,走馬觀花的看一圈真是暴殄天物啊

順便來踩踩地方~~~~~~~
沙發~~~~~~~~~~~~~~~~~~  回復  更多評論
  
# re: boost::spirit初體驗 2006-02-15 20:02 firestorm
我現在也在為一個oracle sql的簡單解析重組而煩惱!考慮使用lex和yacc,但是時間不太允許,想找個免費的數據庫的源碼看看,發現都不是很好用的哪種。
郁悶~  回復  更多評論
  
# re: boost::spirit初體驗 2006-09-13 19:51 manzheng

不懂,但還是re一下

~~~~~~~~~  回復  更多評論
  
# re: [yc]boost::spirit初體驗 2007-12-25 17:18 aaaaaaaaaa
英文閱讀太累,看到這個感覺沒那么冷了~~~~~  回復  更多評論
  
# re: [yc]boost::spirit初體驗 2007-12-25 17:20 aaaaaaaaaa
英文終究還是要看的,但有類似這種中文介紹做預習,感覺好多了,再頂~~~~~~  回復  更多評論
  
青青草原综合久久大伊人导航_色综合久久天天综合_日日噜噜夜夜狠狠久久丁香五月_热久久这里只有精品
  • <ins id="pjuwb"></ins>
    <blockquote id="pjuwb"><pre id="pjuwb"></pre></blockquote>
      <noscript id="pjuwb"></noscript>
            <sup id="pjuwb"><pre id="pjuwb"></pre></sup>
              <dd id="pjuwb"></dd>
              <abbr id="pjuwb"></abbr>
              久久精视频免费在线久久完整在线看| 欧美精品97| 国模精品娜娜一二三区| 午夜精品久久久久久久99热浪潮 | 精品av久久久久电影| 久久综合网hezyo| 免费久久精品视频| 9色国产精品| 亚洲免费在线电影| 在线日韩av| 99国产精品国产精品久久| 国产精品福利网站| 玖玖在线精品| 欧美日韩在线一区| 久久久久久久久伊人| 欧美成人精品在线观看| 亚洲一二三区在线| 久久精品国产综合| 亚洲视频欧美在线| 欧美有码在线视频| 亚洲美女视频网| 午夜久久一区| 艳妇臀荡乳欲伦亚洲一区| 亚洲一区免费在线观看| 伊人成人在线| 亚洲夜间福利| 日韩视频中文字幕| 欧美一区二区视频在线| 99热这里只有精品8| 性视频1819p久久| 中日韩美女免费视频网址在线观看 | 亚洲福利国产| 亚洲免费视频成人| 亚洲最新中文字幕| 久久全国免费视频| 欧美一区二区成人| 欧美国产一区二区在线观看 | 久久久久综合| 在线观看日韩精品| 国产精品99久久久久久久女警| 国产亚洲精品久久久| 日韩视频―中文字幕| 永久域名在线精品| 欧美在线黄色| 亚洲欧美日韩一区| 欧美日本高清一区| 欧美成熟视频| 亚洲成在人线av| 欧美自拍丝袜亚洲| 欧美在线关看| 国产精品亚洲美女av网站| 亚洲精品乱码久久久久久黑人| 黑人巨大精品欧美一区二区| 日韩视频在线播放| 亚洲精品午夜精品| 欧美肥婆在线| 91久久久久| 亚洲乱码国产乱码精品精天堂| 老司机精品福利视频| 玖玖精品视频| 亚洲国产高清aⅴ视频| 久久人人爽爽爽人久久久| 久久成人免费网| 国产自产v一区二区三区c| 亚洲男人天堂2024| 久久se精品一区二区| 国产麻豆精品theporn| 亚洲欧美999| 久久精品一区二区三区四区| 国产亚洲人成网站在线观看| 欧美中文字幕视频在线观看| 久久久九九九九| 精品成人一区二区| 老司机午夜精品视频| 亚洲激情av| 亚洲一区bb| 国产婷婷色一区二区三区四区| 久久爱www久久做| 免费不卡在线视频| 亚洲精品日韩在线| 欧美日韩性生活视频| 亚洲一区日韩| 免费成人黄色av| 日韩图片一区| 国产欧美三级| 美国十次成人| 亚洲视频一区在线观看| 久久精品一区二区三区中文字幕| 亚洲成色最大综合在线| 欧美日韩福利视频| 午夜免费久久久久| 欧美激情精品久久久| 亚洲婷婷在线| 狠狠色丁香婷婷综合影院| 欧美成人一区二区| 亚洲午夜在线视频| 欧美国产日韩在线观看| 亚洲伊人久久综合| 亚洲福利视频免费观看| 欧美午夜免费| 另类av导航| 亚洲欧美亚洲| 亚洲精品欧美激情| 久久久精品日韩欧美| 一本一道久久综合狠狠老精东影业 | 一区二区精品在线| 久久综合伊人77777尤物| 亚洲免费电影在线观看| 国产精品女人毛片| 美女诱惑一区| 欧美一区二区三区日韩视频| 亚洲精品免费电影| 久久在线免费观看视频| 亚洲一区二区三区视频| 亚洲国产cao| 国产日韩欧美在线看| 欧美日本一区二区高清播放视频| 欧美在线资源| 亚洲天堂成人在线观看| 欧美国产丝袜视频| 久久久久久久综合狠狠综合| 在线亚洲精品福利网址导航| 在线看欧美视频| 国产一区香蕉久久| 国产精品乱人伦中文| 欧美日韩国产区一| 美国十次成人| 麻豆精品视频在线| 久久精品视频在线看| 午夜久久美女| 亚洲欧美国产高清| 亚洲午夜一区二区| 99国产精品99久久久久久粉嫩| 亚洲国产另类精品专区 | 久久精品视频在线| 欧美一级视频| 欧美一区二区三区久久精品| 亚洲午夜日本在线观看| 99re6热只有精品免费观看 | 久久噜噜亚洲综合| 久久精品99久久香蕉国产色戒| 亚洲欧美日韩网| 亚洲综合日韩| 午夜亚洲性色福利视频| 亚洲欧美日韩精品综合在线观看| 亚洲欧美日韩国产综合精品二区| 亚洲无限乱码一二三四麻| 亚洲婷婷免费| 欧美一区=区| 久久久精品五月天| 另类激情亚洲| 欧美日韩国产va另类| 欧美日韩国产小视频| 欧美视频在线观看| 国产精品视频在线观看| 国产一区二区在线观看免费播放| 国产自产女人91一区在线观看| 韩日精品视频| 日韩一级片网址| 亚洲欧美日韩在线不卡| 欧美在线一二三区| 免费美女久久99| 亚洲免费高清视频| 午夜国产精品视频免费体验区| 久久精品人人做人人爽| 免费成人av资源网| 欧美视频在线不卡| 国内精品久久久久影院色| 亚洲黄网站黄| 亚洲欧美日韩人成在线播放| 老**午夜毛片一区二区三区| 亚洲国产视频a| 亚洲欧美日韩国产中文在线| 久久亚洲国产成人| 欧美日韩国产精品| 亚洲免费成人av| 亚洲男人的天堂在线观看| 亚洲一区二区三区三| 欧美伊人久久久久久午夜久久久久| 久久嫩草精品久久久久| 亚洲人成人一区二区在线观看| 亚洲午夜羞羞片| 欧美h视频在线| 国产欧美在线看| 亚洲精品国产精品国自产观看浪潮| 亚洲免费一在线| 亚洲二区视频在线| 午夜精品一区二区三区在线播放| 欧美暴力喷水在线| 国产拍揄自揄精品视频麻豆| 99riav1国产精品视频| 久久精品盗摄| 一区二区三区四区五区在线| 麻豆成人91精品二区三区| 国产精品拍天天在线| 日韩视频精品| 欧美韩日精品| 久久久久国产精品厨房| 国产精品综合网站| 亚洲在线视频观看|