递归模式
思量匹配圆括号内字符串的问题, 答允无限嵌套括号. 假如不利用递归, 最好的方法是利用一个模式匹配牢靠深度的嵌套.它不能处理惩罚任意深度的嵌套. perl 5.6提供了一个尝试性的成果答允正则表达式递归. 非凡项(?R)提供了递归的这种非凡用法. 这个PCRE模式办理了圆括号问题(假设PCRE_EXTENDED选项被配置了, 因此空缺字符被忽略): \( ( (?>[^()]+) | (?R) )* \)
首先, 它匹配一个左括号. 然后它匹配任意数量的非括号字符序列或一个模式自身的递归匹配(好比, 一个正确的括号子串), 最终, 匹配一个右括号.
这个例子模式包括无限反复的嵌套, 因此利用了一次性子组匹配非括号字符, 这在模式应用到模式不匹配的字符串时很是重要. 好比, 当它应用到(aaaaaaaaaaaaaaaaaaaaaaaaaaaaa()时就会很快的发生”不匹配”功效. 然而, 假如不利用一次性子组, 这个匹配将会运行很长时间, 因为有许多途径让+和*反复限定脱离方针字符串, 而且在陈诉失败之前需要测试所有路径.
所有捕捉子组最终被配置的捕捉值都是从递归最外层子模式捕捉的值. 假如上面的模式匹配(ab(cd)ef), 捕捉子组最终被配置的值为”ef”, 即顶级获得的最后一个值. 假如增加了特另外括号, \( ( ( (?>[^()]+) | (?R) )* ) \), 捕捉到的字符串就是顶层括号的匹配内容”ab(cd)ef”. 假如在模式中有高出15个捕捉括号, PCRE在递归期间就会利用pcre_malloc分派特另外内存来存储数据, 随后通过pcre_free释放他们. 假如没有内存可被分派, 它就仅生存前15个捕捉括号, 在递归内部无法给出内存不足用的错误.
从php4.3.3开始, (?1), (?2)等可以用于递归子组. 这同样可以用于定名子组: (?P>name)或(?P&name)
假如递归子组语法在它提到的子组括号外部利用(无论是子组数字序号照旧子组名称), 这个操纵就相当于措施设计语言中的子措施. 前面一些有一个例子指出模式(sens|respons)e and \1ibility匹配”sense and responsibility”和”response and responsibility”, 可是不匹配”sense and responsibility”. 假如用模式(sens|respons)e and (?1)ibility替代, 它会像匹配那两个字符串一样匹配”sense and responsibility”. 这种引用方法意义是紧接着匹配引用的子模式.(译注: 后向引用只匹配引用的子组之前匹配的功效, 这里的递归语法引用是拿引用的子模式从头匹配)
方针字符串的最大长度是int型变量可以存储的最大正整数. 然而, PCRE利用递归处理惩罚子组和无限反复. 这就是说对付某些模式可用的栈空间大概会受方针字符串限制.