c++ - 递归规则中的boost spirit堆栈溢出异常

Question

我有以下简单的语法:

expr_ = lit("+") > expr_
            | qi::uint_
            ;

基本上，它只是忽略 int 前面的 + 符号。

以下输入导致堆栈溢出:

+++ ...(~195 more + chars )... ++1

我知道规则中的递归确实会导致这种行为，但是有没有办法避免这种异常(某种程度上表明规则是尾递归的)？

Answer 1

您可能已经知道，您可以重写规则以删除递归:

expr_ = *lit("+") > qi::uint_;

关于你关于尾递归的问题，基本上答案是否定的。