一、引言

在《第11.16节 Python正则元字符“()”(小括号)与组(group)匹配模式》中老猿介绍了组匹配模式的命名组功能及引用组功能，这两者都是组模式的扩展功能，其实在re模块中组模式的扩展功能非常多，所有组模式的扩展功能，都是在组定义的左括号后面跟问号“?”来表示，具体扩展功能是要看问号后面的字符来确认，如“P”表示组名相关扩展。

下面介绍组匹配模式扩展功能的前视断言和前视取反，本节继本章后面介绍的扩展功能中组的括号内的“…”都表示一个合法的子模式正则表达式。

二、 (?=…)前视断言(lookahead assertion)

这种模式称为前视断言(有的翻译为前向断言、先行断言，老猿认为叫前向校验更符合功能的特征)，其中…为一个合法的正则表达式。这种模式匹配时， …仅用于找到搜索文本中匹配的字符串的位置，但并不真正将搜索字符串作为匹配结果，也就是说，这种模式仅用于配合其他搜索模式定位搜索内容范围，本身不占用搜索串，对应搜索串还可以在接下来的解析中使用。这句话理解有点困难，我们举例来说明：

搜索文本为：Learning Python with LaoYuan，LaoYuanPython accompanies you to progress

要在搜索文本中查找“LaoYuanPython”中 “LaoYuan”的开始位置和结束位置，这个时候直接通过“LaoYuan”搜索就会搜索到第一个句子中的 “LaoYuan”(搜索文本中的位置为21-28)，这个时候就需要用前视断言来定位“LaoYuanPython”中 的“LaoYuan” (搜索文本中的位置为29-36)。我们用普通搜索和加前视断言分别来搜索：

>>> re.search('LaoYuan','Learning Python with LaoYuan，LaoYuanPython accompanies you to progress')

>>> re.search('LaoYuan(?=Python)','Learning Python with LaoYuan，LaoYuanPython accompanies you to progress')#使用前视断言

>>>

从上面的搜索对比来看，两者搜索匹配到的字符串位置不同。

我们再在上面的基础上调整一下，在前视断言后再增加一个匹配模式，看匹配结果：

>>> m=re.search('(LaoYuan(?=Python))([A-Za-z]*)','Learning Python with LaoYuan，LaoYuanPython accompanies you to progress')#使用前视断言

>>> m.group(1,2)

('LaoYuan', 'Python')

>>>

可以看到，第二个组是从“LaoYuanPython”中 的“LaoYuan”后开始的，并没有因为前视断言使用了“Python”参与匹配而在后面的搜索中从“LaoYuanPython”后匹配，而是在“LaoYuanPython”的“LaoYuan”后开始匹配。

如果大家还是不能理解前视断言，可以参考一下老猿转发的文章《转：正则表达式的先行断言(lookahead)和后行断言(lookbehind)》

三、(?!…) 前视取反(negative lookahead assertion)

也称为负向先行断言，该功能是与前视断言类似的功能，只是在查找位置时要求后面的串不能与…的要求匹配，即匹配字符串的结果应该是匹配…对应模式后求反。案例：

>>> re.search('(老猿(?!Python))([A-Za-z]*)','老猿Python，跟老猿学Python!')

>>>

可以看到，匹配到的是后一个搜索词。