Boost says(并且似乎同意维基百科),扩展正则表达式不支持反向引用,但Boost :: Regex将它们作为扩展名添加.
这只是标准中一个定义不明确的部分,每个实现的解释都不同吗?
OpenGroup基本规范第7期中未添加对ERE的反向引用的基本原理如下:
It was suggested that,in addition to interval expressions,back-references ( ‘\n’ ) should also be added to EREs. This was rejected by the standard developers as likely to decrease consensus.
引用自:Rationale: Base Definitions: Extended Regular Expressions
这种限制的主要原因是允许POSIX ERE转换为确定性有限自动机(DFA),事实上,Unix中ERE的原始实现是作为DFA完成的.使用DFA可以保证实现的性能.与(无限数量)反向引用的模式匹配是NP难问题,甚至可能是NP完全问题.如果为ERE提出反向引用,就永远无法达成POSIX标准委员会的共识,因为这将迫使所有使用原始Unix实现的公司将其代码更改为非确定性实现并放弃其性能保证,并且这些公司中有委员会成员.
还注意到RE中的反向引用对于用户或实现者来说都不直观,并且实际上它们比现在更经常引起极度混淆.例如,参见RE-Interpretation: The Dark Corners中给出的示例
注意:RE中的反向引用与诸如sed之类的工具中的替换文本中对子模式的引用不同.
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。