这一章，我们将实现形如"1+12+123-123"这样连续的多位数加减法实现，为此，我们需要一点点编译原理。

语法图与语法分析

对于上述表达式，我们可以构建一个简单的语法图

lsbasi_part3_syntax_diagram.png

• 1
• 1+1
• 1 + 23 - 4
  对于不满足这个语法图的输入，我们输出"syntax error"，相信这对任何程序员来说都是无比熟悉的东西了。
  下一步，我们对输入的字符串进行语法分析，将输入的字符串分解成一个个的Token，同时检测其是否满足语法图的条件，首先实现一个term函数来检测Token是否为term：

void Interpreter::term()
{
    eat(TokenType::TT_INTEGER);
}

第一步，我们只是简单调用eat函数，这样当Token类型不是TT_INTEGER时，eat函数会抛出错误。
然后在expr中实现语法图的合法性检测：

void Interpreter::expr()
{
    currentTokenPtr = getNextTokenPtr();
    term();

    while (currentTokenPtr->getType() == TokenType::TT_MINUS ||
        currentTokenPtr->getType() == TokenType::TT_PLUS)
    {
        TokenPtr tokenPtr = currentTokenPtr;
        if (tokenPtr->getType() == TokenType::TT_MINUS ||
            tokenPtr->getType() == TokenType::TT_PLUS)
        {
            eat(tokenPtr->getType());
            term();
        }
    }
}

至此，我们实现了一个简单的语法分析器，但是它只能检测语法是否合法，并不能输出结果，接下来我们向里面添加具体的计算处理：

TokenValue Interpreter::term()
{
    TokenPtr tokenPtr = currentTokenPtr;
    eat(TokenType::TT_INTEGER);
    return tokenPtr->getValue();
}

int Interpreter::expr()
{
    currentTokenPtr = getNextTokenPtr();
    int leftValue = get<int>(term());

    while (currentTokenPtr->getType() == TokenType::TT_MINUS ||
        currentTokenPtr->getType() == TokenType::TT_PLUS)
    {
        TokenPtr tokenPtr = currentTokenPtr;
        if (tokenPtr->getType() == TokenType::TT_MINUS ||
            tokenPtr->getType() == TokenType::TT_PLUS)
        {
            TokenType opTokenType = tokenPtr->getType();
            eat(opTokenType);
            int rightValue = get<int>(term());
            switch (opTokenType)
            {
            case TokenType::TT_MINUS:
                leftValue -= rightValue;
                break;
            case TokenType::TT_PLUS:
                leftValue += rightValue;
                break;
            default:
                raiseError();
                break;
            }
        }
    }
    return leftValue;
}

好了，我们的多位数加减法解释器又支持了更多特性，congrats！
当然真正的编程语言的语法图跟语法分析要远远比这个复杂，我们以后再慢慢迭代，只是通过这个例子了解一下编译原理的第一步。