lex

本文为原创，部分bat代码来自熊春雷前辈的博文： http://blog.csdn.net/pandaxcl/archive/2006/07/04/873898.aspx 为什么要使用lex和yacc 最近的项目需要写一个Language Service，于是不可避免的涉足到了lex和yacc。lex和yacc原本是UNIX系统下的两个工具，用于编写涉及文本分析的程序。在Linux下面有两个GNU的工具：flex和bison，用来代替原始的lex和yacc。熊春雷前辈在上面的博文中介绍了如何获取flex和bison的Win32版，和如何在Win32环境下配置这两个工具，其中还要用到Windows版本的GCC，还是挺麻烦的。 为什么要在Visual Studio2008中调试lex和yacc程序 正如上面所说的配置环境和使用GCC对于大多数Windows程序员来说是挺麻烦的，事实上我们完全可以使用Visual Studio带的C/C++编译器。使用Visual Studio2008的强大编辑环境，能够轻松的调试你的lex和yacc程序。 配置思路 事实上，上面提到的flex和bison分别将*.l和*.y编译成C语言代码，然后我们用Visual Studio带的C/C++编译器就可以编译这个C代码，生成可执行文件。（顺便提一下，在开发Language Service时

LEX_STRING service_thd_alloc.h struct st_mysql_lex_string { char *str; size_t length; }; my_global.h typedef struct st_mysql_lex_string LEX_STRING; 来源： https://www.cnblogs.com/jie828/p/12410875.html

2.4.3 yacc解决二义性和冲突的方法 在2.3.8中已涉及到二义性和冲突的问题，这里再集中介绍一下，这在写Yacc源程序时会经常碰到。二义性会带来冲突。在2.3.8中我们介绍了yacc可以用为算符确定优先级和结合规则解决由二义性造成的冲突，但是有一些由二义性造成的冲突不易通过优先级方法解决， 如有名的例子： stat：IF bexp THEN stat |IF bexp THEN stat ELSE stat ; 对于这样的二义性造成的冲突和一些不是由二义性造成的冲突，Yacc提供了下面两条消除二义性的规则： A1．出现移进／归约冲突时，进行移进； A2. 出现归约／归约冲突时，按照产生式在yacc源程序中出现的次序，用先出现的产生式归约。 我们可以看出用这两条规则解决上面的IF语句二义性问题是合乎我们需要的。所以用户不必将上述文法改造成无二义性的。当Yacc用上述两条规则消除了二义性，它将给出相应信息。 下面再稍微严格地介绍一下Yacc如何利用优先级和结合性来解决冲突的。 Yacc源程序中的产生式也有一个优先级和结合性．这个优先级和结合性就是该产生式右部最后一个终结符或文字字符的优先级和结合性，当使用了％Prec子句时，该产生式的优先级和结合性由％Prec子句决定。当然如果产生式右部最后一个终结符或文字字符没有优先级或结合性，则该产生式也没有优先级或结合性。 根据终结符

Lex的匹配策略： 1. 按最长匹配原则确定被选中的单词 2. 如果一个字符串能被若干正规式匹配，则先匹配排在前面的正规式。 lex源程序的写法：Lex源程序必须按照Lex语言的规范来写，其核心是一组词法规则（正规式）。一般而言，一个Lex源程序分为三部分，三部分之间以符号%%分隔。 定义段 %% 词法规则段 %% 辅助函数段 Lex源程序中常用到的变量及函数： yyin和yyout：这是Lex中本身已定义的输入和输出文件指针。这两个变量指明了lex生成的词法分析器从哪里获得输入和输出到哪里。默认：键盘输入，屏幕输出。 yytext和yyleng：这也是lex中已定义的变量，直接用就可以了。 yytext：指向当前识别的词法单元（词文）的指针 yyleng：当前词法单元的长度。 ECHO：Lex中预定义的宏，可以出现在动作中，相当于fprintf(yyout, “%s”,yytext)，即输出当前匹配的词法单元。 yylex()：词法分析器驱动程序，用Lex翻译器生成的lex.yy.c内必然含有这个函数。 yywrap()：词法分析器遇到文件结尾时会调用yywrap()来决定下一步怎么做： 若yywrap()返回0，则继续扫描 若返回1，则返回报告文件结尾的0标记。 1. 用lex翻译器编译lex源程序命令（假设filename.l是lex源程序名）： flex filename