Ragel学习笔记-rage例句

Ragel学习笔记(一)Ragel是一个状态机编译器，类似Lex,主要是用来处理字符输入，用于语法解析。简单的文本处理工作一般用正则表达式，或者用awk/sed这些工具就可以处理。之所以用Ragel是为了这样的场景，你的代码的核心任务是解析文本，而且需要高效的处理，比如一个SMTP引擎,HTTP引擎。那么Ragel可以按你定义好的语法，生成一个状态机嵌入到你的代码中。因为这个状态机是专门针对你预定义的语法，且以你的原…

Ragel是一个状态机编译器，类似Lex, 主要是用来处理字符输入，用于语法解析。简单的文本处理工作一般用正则表达式，或者用awk/sed这些工具就可以处理。之所以用Ragel是为了这样的场景，你的代码的核心任务是解析文本，而且需要高效的处理，比如一个SMTP引擎, HTTP引擎。那么Ragel可以按你定义好的语法，生成一个状态机嵌入到你的代码中。因为这个状态机是专门针对你预定义的语法，且以你的原生代码执行，效率自然比正则表达式，awk这些通用工具高的多。Ragel支持生成C/C++/Java/Ruby/D/C#等各种语言。

这篇文章我们来学习下如何使用Ragel生成状态机。Ragel的安装是很简单的，
sudo apt install ragel

或者下载源代码 http://www.colm.net/open-source/ragel/ 编译。

Ragel构造状态机是以字符匹配和正则表达式为基础的。从模型上说，有3中状态机构造模型：1） Regular Expression 2) Scanner 3) State Chart
我们看个Regular Expression的例子：

#include <stdio.h> #include <string.h> %%{             machine foo;    write data;     }%%             int main( int argc, char **argv ) {int cs; if ( argc > 1 ) { char *p = argv[1];                    char *pe = p + strlen( p );           %%{main := [0-9]+ ( '.' [0-9]+ )?;   write init;                       write exec;                       }%% }printf("result = %i\n", cs >= foo_first_final ); return 0;}

是否还在为Ide开发工具频繁失效而烦恼，来吧关注以下公众号获取最新激活方式。亲测可用！

为防止网络爬虫，请关注公众号回复”口令”

激活idea 激活CLion DataGrip DataSpell dotCover dotMemory dotTrace GoLand PhpStorm PyCharm ReSharper ReShaC++ Rider RubyMine WebStorm 全家桶 解锁下载刷新

【正版授权，激活自己账号】：Jetbrains全家桶Ide使用，1年售后保障，每天仅需1毛

【官方授权 正版激活】：官方授权 正版激活 自己使用，支持Jetbrains家族下所有IDE…

第3行 %%{ 表示 ragel 代码块开始
第4行 machine 定义一个状态机machine
write data 指示ragel在代码的这个位置写入ragel运行需要的静态数据
}%% 表示ragel 代码块结束
变量p和pe状态机处理的buffer起始和终止地址。状态机运行时就从这个buffer依次读入字符。变量名很重要，必须为p和pe, ragel生成的代码里面使用这两个变量名

main := [0-9]+ ( '.' [0-9]+ )? 定义正则表达式，main是个关键字，表示状态机入口
write init 指示ragel在代码的这个位置写入ragel运行需要的初始化代码
write exec 指示ragel在代码的这个位置写入运行状态机的代码

在cygwin环境下面编译运行这个状态机：

# ragel -n -p -o test1.c test.rl# gcc test1.c# ./a.exe 12result = 1# ./a.exe 123aresult = 0

这个状态机用来判断输入的参数是否是一个有效的整数或者浮点数。
如果要从代码里面访问状态机处理过程中的数据，比如上面例子里输入的12， 就要用ragel的Action功能。