由 cin 的字符串中未捕获的空格导致的分段错误

Question

我正在努力实现Shunting Yard Algorithm 来评估简单表达式。该代码似乎可以工作，但如果有空格则会崩溃。这是令人惊讶的，因为有一个特定的空白检查似乎根本没有抓住它。

using namespace std;


mpz_class exprToTokens(string expression);
int precedence(const char op);
mpz_class applyOperation(const mpz_class a, const mpz_class b, const char op);

int main() {



    try {
    while(true)
    {
            cout << "enter an expression: ";
            string expr;
            cin >> expr;
            if( expr == "e")
            {
        break;
            }
            cout << "output: " << exprToTokens(expr) << endl;
    }

    } catch( const std::exception & ex ) {
       cerr << "message: " << ex.what() << endl;
    }

    return 0;
}

mpz_class exprToTokens(string expression)
{

    stack<char> operators;
    stack<mpz_class> output;


    unsigned int i = 0;
    while(i < expression.length())
    {
        if(isspace(static_cast<unsigned char>(expression.at(i))))//skip white space
        {
            cout << "is space" << endl;//never happens
            i++;
            continue;
        }
        else if(isdigit(expression[i]))
        {
            unsigned int j = i;
            while(i < expression.length() && isdigit(expression[j]))
            {
                j++;
            }
            const string number = expression.substr(i, j-i);
            const mpz_class term(number);
            output.push(term);
            i = j;
            continue;
        }
        else//token is an operator
        {
            while(!operators.empty() && precedence(operators.top() >= precedence(expression[i])))
            {
                const mpz_class val1 = output.top();
                output.pop();

                const mpz_class val2 = output.top();
                output.pop();

                const char op = operators.top();
                operators.pop();

                output.push(applyOperation(val1, val2, op));
            }
            operators.push(expression[i]);
        }
        i++;
    }

    /*process remaining operations and values on stacks*/
    while(!operators.empty())
    {
        const mpz_class val2 = output.top();//something bad happens here when spaces are around operator
        output.pop();

        const mpz_class val1 = output.top();
        output.pop();

        const char op = operators.top();
        operators.pop();

        output.push(applyOperation(val1, val2, op));
    }

    return output.top();
}

int precedence(const char op)
{ 
    if(op == '+' || op == '-')
        return 1; 
    if(op == '*' || op == '/') 
        return 2; 
    return 3;
} 


mpz_class applyOperation(const mpz_class a, const mpz_class b, const char op)
{
    switch(op)
    { 
        case '+': return a + b; 
        case '-': return a - b; 
        case '*': return a * b; 
        case '/': return a / b;
        default: throw invalid_argument("syntax not recognized");
    } 
}

例如3+3 给出6 结果但3 + 3 导致分段错误。有什么想法吗？

题外话：Shunting Yard 算法将中缀转换为后缀表示法。所以严格来说，修改算法以实际评估表达式是很常见的，但它仍然是 Shutting Yard 算法吗？对于普通算法，是否还需要另一个算法来评估后缀表示法的表达式？

Answer 1

cin >> expr; 在空格处拆分输入，因此读取三个单独的表达式：3、+ 和 3。要阅读整个表达式，请使用std::getline()。

您的程序可能在解析第一个时崩溃，因为此循环不检查j：

while(i < expression.length() && isdigit(expression[j]))
{
    j++;
}