分类： 未分类

flex的开始状态

是在flex定义部分中声明，开始状态（start states），也称为 开始条件（start conditions） 或者 开始规则（start rules）。

开始状态的作用

是用来限制特定规则的作用范围，或者针对文件的部分内容来改变扫描器的工作方式。即根据开始状态激活对应的规则（rules）。

开始状态的模式

开始状态有2种模式：

  1. %s ：inclusive （包含模式），它允许未标记任何开始状态的rule 可以进行匹配。
  2. %x：exclusive（独占模式），它只允许标记为该开始状态下的rule 进行匹配。通常独占模式更有用。

注意：在 flex定义部分中声明时 使用非缩进的形式。例如：

/* definitions 定义部分 */
%{

%}
%s simple
%x test
%%
/*rule action  规则和执行动作 部分*/
<simple>[0-9]+ {}
<test>[a-z]+ {}
%%
/* helper function 辅助函数部分*/

注意在规则部分中：开始状态名称和rule之间是没有空格的。

开始状态的激活

开始状态的激活需要使用：宏 BEGIN 进行激活。BEGIN的语法：

BEGIN  statename;

statename 是使用 %x 或 %s 声明的开始状态名称。Flex默认的开始状态是 零 状态，也称为 INITIAL。BEGIN(0)等价于 BEGIN(INITIAL)。

注意：宏 BEGIN 本身是没有任何参数的，状态名字也不应该被括号括起来，但是加括号是一种良好的风格。

示例

分别使用2种状态模式对字符串数字”123.45″进行识别：

%{
    #include <stdio.h>
    #include <math.h>
%}

%s expect

%%

"expect-floats" BEGIN(expect);

<expect>[0-9]+"."[0-9]+ {
    printf("found a float,=%f\n", atof(yytext));
}

<expect>\n {
    /* BEGIN(INITIAL); */
}

[0-9]+ {
    printf("found an integer, = %d\n", atoi(yytext));
}

"." {
    printf("found a dot \n");
}

%%

int main()
{
    yylex();
    return 1;
}

CMakeLists.txt

cmake_minimum_required(VERSION 3.20)

project(startConditionTest LANGUAGES C)

find_package(FLEX)

FLEX_TARGET(myscanner startcondition_test.l ${CMAKE_CURRENT_BINARY_DIR}/startConditionTest.lex.c)

# 设置主要包含的c文件
set(MAIN_SRC ${CMAKE_CURRENT_BINARY_DIR}/startConditionTest.lex.c)

# 使用源文件生成可以执行文件
add_executable(conditionTest01 ${MAIN_SRC})

# libfl.a
find_library(LEX_LIB fl)
TARGET_LINK_LIBRARIES(conditionTest01 ${LEX_LIB})

包含模式%s

使用包含模式：%s expect.

编译并执行：

mkdir build
cd build
cmake ../
make
# 执行
./conditionTest01 
123.45
found an integer, = 123
found a dot 
found an integer, = 45

"expect-floats" 123.45
"" found a float,=123.450000
123
found an integer, = 123

执行结果如下图所示：

独占模式%x

使用独占模式：%x expect

编译执行：

└─# ./conditionTest01 
123.456
found an integer, = 123
found a dot 
found an integer, = 456

"expect-floats"
""123.45
found a float,=123.450000
123456
123456

789
789

如下图所示：

总结

从执行结果上面可以看到：

  1. 独占模式被激活时，没有标记任何开始状态的rule，将不会被匹配。
  2. 包含模式被激活后，未标记开始状态的rule 也是可以进行匹配的。
  3. 和开始状态的模式小节中描述的是一致的。