使用flex时，有一些格式规则需要遵循？

Question

我不明白为什么在2个功能相同的源文件中，只有1个编译阶段通过flex，另一个生成关于use of undeclared identifier的错误。

这一个是OK（我通常不会在我的编辑器中使用的标签，这些都是空格）

 int num_lines = 0, num_chars = 0; 

%% 
\n  ++num_lines; ++num_chars; 
.  ++num_chars; 

%% 
int main() 
     { 
     yylex(); 
     printf("# of lines = %d, # of chars = %d\n", 
       num_lines, num_chars); 
     } 

这一次它不是由flex接受，不会产生任何东西，但错误

int num_lines = 0, num_chars = 0; 

%% 
\n ++num_lines; ++num_chars; 
. ++num_chars; 

%% 

int main() 
{ 
    yylex(); 
    printf("# of lines = %d, # of chars = %d\n", num_lines, num_chars); 
} 

如果我想用flex编译我的扫描仪，是否必须遵循一些特定的约定？

Answer 1

是的，在lex/flex中有格式化规则，你违反了它们。

我会总结一下。 lex/flex输入程序有三个主要部分，第一列中的%%分隔符（在行首）分隔。最后一节是可选的。第一部分是词汇声明;在本节中可以命名正则表达式。第二部分指定要对模式执行的操作，第三部分（可选）用于要转录到输出文件的（C）代码。它用于定义操作部分中使用的函数。

用于第一（法声明）部分的标准格式是：

name  pattern 

凡名称必须从第一列开始（线的开始），并且图案通过白色分离在同一行空间。

用于第二（动作）部分中的格式是类似的：

pattern action 

凡模式必须从第一列开始（线的开始），并且操作由空格分隔在同一行 。该模式可以在多行上继续，但必须由空格缩进，否则将被解释为新模式。

第三部分没有布局限制，因为代码只是跳过了。

有一个最终的句法特征很有用。在第一节中，没有指定应该复制到输出的词汇模式的代码可以在行的开始处由%{和%}来指示。此外，在动作（第二）部分，任何没有模式和只有一个动作的代码都会被复制到输出中。

用变量声明开始文件C违反了这些规则。如果它从左边开始，它将被视为一个词汇定义。

如果你想在Ç应复制到输出声明一些变量，你可以做以下方式：

%{ 
int num_lines = 0, num_chars = 0; 
%} 
%% 
\n  ++num_lines; ++num_chars; 
.  ++num_chars; 

或者交替，就像这样：

%% 
     int num_lines = 0, num_chars = 0; 
\n  ++num_lines; ++num_chars; 
.  ++num_chars;