我最近开始学习lex,所以我练习并决定制作一个识别正常变量声明的程序. (有点)
这是我的代码：
%{
#include "stdio.h"
%}
dataType "int"|"float"|"char"|"String"
alphaNumeric [_\*a-zA-Z][0-9]*
space [ ]
variable {dataType}{space}{alphaNumeric}+
%option noyywrap
%%
{variable} printf("ok");
. printf("incorect");
%%
int main(){
yylex();
}
有些情况下输出应该返回ok
int var3 int _varR3 int _AA3_
如果我键入输入：int float,它返回ok,这是错误的,因为它们都是保留字.
所以我的问题是我应该修改什么来使我的表达式忽略空格后的’dataType’字样？
谢谢.
这实际上不是解决这个特定问题的方法.
原文链接：/regex/451914.html通常的做法是编写单独的模式规则来识别关键字和变量名称. (加上一个忽略空格的模式规则.)这意味着tokenizer将为输入int var3返回两个标记.识别出两个令牌是有效声明是解析器的责任,解析器将重复调用tokenizer以解析令牌流.
但是,如果您真的想将两个单词识别为单个标记,那么肯定是可能的. (F)lex不允许在正则表达式中使用负向前瞻,但您可以使用模式匹配优先级规则来捕获错误的令牌.
例如,你可以这样做：
dataType int|float|char|String
id [[:alpha:]_][[:alnum:]_]*
%%
{dataType}[[:white:]]+{dataType} { puts("Error: two types"); }
{dataType}[[:white:]]+{id} { puts("Valid declaration"); }
/* ... more rules ... */
以上使用Posix字符类而不是写出可能的字符.有关Posix字符类的列表,请参阅man isalpha;字符类组件[：xxxxx：]包含isxxxxx标准库函数接受的字符.我修复了模式,以便它允许dataType和id之间有多个空格,并简化了id的模式.
