如何解决lex文件编译时出现的变量未声明错误

问题原因 #

Lex源文件遵循固定的三段结构，用%%作为分隔符：

• 第一段为定义段（第一个%%之前）：用于放置头文件引入、全局变量声明、Lex配置选项等，纯C代码需要用%{ %}包裹，会直接输出到生成的C代码全局作用域。
• 第二段为规则段（两个%%之间）：仅允许编写「正则匹配模式 + {动作代码}」格式的匹配规则，或是用%{ %}包裹的C代码，不能直接裸写C变量声明，否则会被Lex识别为匹配对应字符串的规则，不会生效为变量声明。

你的代码中将float val;直接裸写在规则段开头，这行代码会被Lex解析为「匹配字符串"float"时执行动作val;」，完全不会被当成变量声明处理，因此后续匹配数字的动作中使用val时，编译器会抛出未声明错误。

修复方案 #

方案1：声明为全局变量（推荐，适合多规则共用的场景） #

将变量声明放到定义段的%{ %}块中，同时引入需要的头文件，修复后完整代码如下：

%option main noyywrap
%{
#include <stdio.h>
float val;
%}
%%
[+-]?[0-9]*\.?[0-9]+      {
    sscanf(yytext, "%f", &val);
    printf(">%f<", val);
}
%%

方案2：声明为yylex函数局部变量 #

如果仅需要在当前规则段的动作中使用该变量，可以在规则段开头用%{ %}包裹声明：

%option main noyywrap
%{
#include <stdio.h>
%}
%%
%{
float val;
%}
[+-]?[0-9]*\.?[0-9]+      {
    sscanf(yytext, "%f", &val);
    printf(">%f<", val);
}
%%

编译验证 #

修复后执行以下命令即可正常编译运行：

lex ilk.l
gcc lex.yy.c -o ilk

如果编译过程中报yywrap相关未定义错误，添加%option noyywrap到定义段即可（上述修复代码已包含该配置）。

内容的提问来源于stack exchange，提问作者MobiusT