c – 间接递归的实际应用

举个简单的例子,考虑一个语法：

expression = product (+|-) product

product  = term (*|/) term

term = number | variable | '(' expression ')'

要使用递归下降解析器解析该语法,我们基本上创建一个函数来表示每个元素：

expression(input) { 
    product(input);
    assert(operator(input) == '-' || '+');
    product(input);
}

product(input) {
    term(input);
    assert(operator(input) == '/' || '*');
    term(input);
}

term(input) { 
    if (next(input) == '(')
        expression(input);
    // ...
}

我显然在这里简化了许多,但希望总体思路出现：表达式由 – 或 – 组合的产品组成.产品由/或*组合的术语组成.术语是括号中的数字或变量或表达式.我们调用一个函数来识别每个函数,所以当我们将括号中的表达式识别为术语时,我们使用间接递归 – 表达式() – > product() – > term() – >表达().