测试引擎的类型

作者: Friedl,J.E.F.著/余晟译 出处:电子工业出版社博文视点 　2008-01-08 14:30　   砖    好    评论  条 　进入论坛

阅读提示：《精通正则表达式》本书主要讲了表达式的正则引擎及其工作原理，本文主要说了测试引擎的类型等。

测试引擎的类型
Testing the Engine Type

工具所采用的引擎的类型，决定了引擎能够支持的特性以及这些特性的用途。所以，通常情况下，我们只需要几个测试用的表达式，就能判断出程序所使用的引擎类型（毕竟，如果你不能分辨引擎的类型，这种分类就没有意义）。现在，我并不期望读者理解下面的这些测试原理，我只是提供一些测试表达式，即使读者最喜欢使用的软件没有出现在表4-1之内，也可以判断出引擎的类型，继续阅读本章的其他内容。
是否传统型NFA

传统型NFA是使用最广泛的引擎，而且它很容易识别。首先，看看忽略优先量词（141）是否得到支持？如果是，基本就能确定这是传统型NFA。我们将要看到，忽略优先量词是DFA不支持的，在POSIX NFA中也没有意义。为了确认这一点，只需要简单地用正则表达式「nfa|nfanot」来匹配字符串‘nfanot’，如果只有‘nfa’匹配了，这就是传统型NFA。如果整个‘nfa not’都能匹配，则此引擎要么是POSIX NFA，要么是DFA。

DFA还是POSIX NFA

某些情况下，DFA与POSIX NFA的区别是很明显的。DFA不支持捕获型括号（capturing parentheses）和回溯（backreferences），这一点有助于判断，不过，也存在同时使用两种引擎的混合系统，在这种系统中，如果没有使用捕获型括号，就会使用DFA。

下面这个简单的测试能说明很多问题，用「X(.+)+X」来匹配形如‘=XX================ ======’的字符串，例如使用egrep命令：
echo =XX========================================= | egrep 'X(.+)+X'

如果执行需要花很长时间，就是NFA（如果上一项测试显示这不是传统型NFA，那么它肯定是POSIX NFA）。如果时间很短，就是DFA，或者是支持某些高级优化的NFA。如果显示堆栈超溢（stack overflow），或者超时退出，那么它是NFA引擎。

回书目   上一节   下一节