如何在lex中创建没有特定字母组的正则表达式

发布时间：2020-12-14 02:28:59 所属栏目：百科来源：网络整理

导读：我最近开始学习lex,所以我练习并决定制作一个识别正常变量声明的程序. (有点) 这是我的代码： %{#include "stdio.h"%}dataType "int"|"float"|"char"|"String"alphaNumeric [_*a-zA-Z][0-9]*space [ ]variable {dataType}{space}{alphaNumeric}+%option noy

我最近开始学习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’字样？

谢谢.

这实际上不是解决这个特定问题的方法.

通常的做法是编写单独的模式规则来识别关键字和变量名称. (加上一个忽略空格的模式规则.)这意味着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的模式.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!