在这种情况下是什么导致了 zsh:segmentation 错误?

问题描述

这是我第一次在 stackoverflow 上发布问题,所以如果我的问题看起来很乱,我事先道歉。我有一个名为 token 的类,以及一个从它派生的类,称为函数、整数和运算符。 Token 有一个名为 _type 的 int 类型的公共变量。我为每个派生类分配了不同的 _type 值。整数的类型为 1,运算符为 2,函数为 3。这样做的目的是让我可以根据遇到的类型实现不同的操作。我做了一个 rpn 函数,在里面我有这样的东西。

double rpn::rpn(){
     
    Stack<Token*> rpn_stack;

    while(input_q.empty() == false){

        if(input_q.front()->_type == 1){

            rpn_stack.push(input_q.pop());
        }

        if(input_q.front()->_type == 2){

            double x = rpn_stack.pop()->value();
            double y = rpn_stack.pop()->value();

            //cout << x << y;

            char i = input_q.pop()->op();

            if(i == '*'){

                double result;
                result = x * y;
                rpn_stack.push(new Integer(result));

            }
        }

        if(input_q.front()->_type == 3){

            input_q.pop();
            rpn_stack.push(new Integer(_val));
           
        }
     }
     return rpn_stack.top()->value();
}

经过几次测试,我发现zsh:segmentation错误问题是由

中的input_q.pop()引起的
        if(input_q.front()->_type == 3){

            input_q.pop();
            rpn_stack.push(new Integer(_val));
           
        }

但是,如果我像这样更改 if 语句的顺序,代码就可以工作

double rpn::rpn(){
     
    Stack<Token*> rpn_stack;

    while(input_q.empty() == false){

        if(input_q.front()->_type == 3){

            input_q.pop();
            rpn_stack.push(new Integer(_val));
           
        }

        if(input_q.front()->_type == 1){

            rpn_stack.push(input_q.pop());
        }

        if(input_q.front()->_type == 2){

            double x = rpn_stack.pop()->value();
            double y = rpn_stack.pop()->value();

            //cout << x << y;

            char i = input_q.pop()->op();

            if(i == '*'){

                double result;
                result = x * y;
                rpn_stack.push(new Integer(result));

            }
        }
     }
     return rpn_stack.top()->value();
}

这让我怀疑问题是否首先是 input_q.pop() 。如果我像这样将 input_q.front()->_type 分配给 while 循环内的静态变量,它也可以工作

double rpn::rpn(){
     
    Stack<Token*> rpn_stack;

    while(input_q.empty() == false){

        int type = input_q.front()->_type;

        if(type == 1){

            rpn_stack.push(input_q.pop());
        }

        if(type == 2){

            double x = rpn_stack.pop()->value();
            double y = rpn_stack.pop()->value();

            //cout << x << y;

            char i = input_q.pop()->op();

            if(i == '*'){

                double result;
                result = x * y;
                rpn_stack.push(new Integer(result));

            }
        }

        if(type == 3){

            input_q.pop();
            rpn_stack.push(new Integer(_val));
           
        }
       
    }
    return rpn_stack.top()->value();
}

此时我对使用第一个版本时导致 zsh:segmentation 错误的原因感到非常困惑。我想知道问题是否出在访问 input_q.front()->_type 上?我可以只使用第二个和第三个版本,但我真的很想知道是什么导致了第一个版本的 zsh:segmentation 错误。如果有帮助,这是我编写的用于测试它的简单程序。如果有帮助,我也会使用堆栈和队列。

    Queue<Token *> postfix;
    postfix.push(new Integer(3));
    postfix.push(new Integer(5));
    postfix.push(new Operator("*"));
    rpn rpn(postfix);
    cout << "3 5 *: " << rpn() << endl;
    cout << "-------------" << endl;
    Queue<Token *> postfix2;
    postfix2.push(new Integer(3));
    postfix2.push(new Function("X"));
    postfix2.push(new Operator("*"));
    rpn.set_input(postfix2);
    cout << "3 x *: (x=3): " << rpn(3) << endl;

rpn 函数是使用 rpn 类中的 () 运算符调用的。 rpn 类有一个名为 _val 的私有变量,由 () 运算符为其赋值。希望我提供的信息足够了。感谢您的时间,感谢您的投入!

解决方法

参考您的第一个代码片段,当您这样说时:

if(input_q.front()->_type == 1){
    rpn_stack.push(input_q.pop());
}

if(input_q.front()->_type == 2){
...

第二次调用 input_q.front 时,您不会检查输入队列中是否还有任何剩余内容。

一个简单的解决方法是插入一个 continue 语句,如下所示:

if(input_q.front()->_type == 1){
    rpn_stack.push(input_q.pop());
    continue;
}

...

然后您将循环回到 while 语句,该语句在继续之前检查队列是否为空。

您需要在代码中的其他地方进行类似的更改,但您明白了。