flex递归定义触发scanner push-back overflow报错如何解决

报错触发原因 #

flex的命名模式定义采用纯文本展开机制，不支持自递归引用。你写的C A|BA|A{C}|BA{C}规则中递归引用了{C}自身，flex在展开规则时会进入无限循环，最终撑爆内部的回退缓冲区，触发flex scanner push-back overflow报错。

正确改写方法 #

你的规则本质是要匹配1次及以上的A或BA拼接的字符串，直接用flex正则支持的正闭包量词+即可实现，改写后的定义如下：

C   (A|BA)+

该写法可以正常匹配你预期的BABAA、AAABAA等目标字符串，不会触发递归展开溢出问题。

内容的提问来源于stack exchange，提问作者SwainG