Постфиксная запись на stack?

Question

[avion]

Дана задача:

На каком тесте данный код может упасть:

#include <fstream>
#include <vector>

using namespace std;

class Stack {
public:
    bool is_empty() {
        return s_top == -1;
    }

    void push(int element) {
        s_top++;
        arr[s_top] = element;
    }

    int pop() {
        s_top--;
        return arr[s_top + 1];
    }
private:
    int s_top = -1;
    vector<int> arr = vector<int> (100);
};

int main() {

    Stack stack1;

    ifstream in("postfix.in");

    char element;
    in >> element;

    while(!in.eof()) {

        if (!isdigit(element)) {
            switch(element) {
                case '+':
                    stack1.push(stack1.pop() + stack1.pop());
                    break;
                case '-':
                    stack1.push(-(stack1.pop() - stack1.pop()));
                    break;
                case '*':
                    stack1.push(stack1.pop() * stack1.pop());
                    break;
                default:
                    ;
            }
        }
        else {
            stack1.push(atoi(&element));
        }
        in >> element;
    }
    ofstream out("postfix.out");
    out << stack1.pop();

    return 0;
}

Comments

[res2001]

Соберите и погоняйте на разных наборах данных.
Память у вас явно не выделяется, каких-то бросающихся в глаза ошибок нет.
Правда не ясно зачем вы городите дополнительную обертку над std::vector для стека, у него есть все нужные вам операции. К тому же есть более специализированный std::stack. Но в целом - если вам так нравится, пусть будет.

Answer 1

[maaGames]

7-8+ - приведёт к падению (это выражение "-7 + 8", т.е. к положительному 7 применяется унарный минус. Если унарных +- нет, то вроде не вижу проблем.

Comments

[avion]

Оказывается нельзя использовать два pop в одном выражение при «-», так как они могут вызываться не по порядку из-за чего и выводится не правильный ответ.

[maaGames]

Данил, Кстати, да. Сайдэффектов лучше избегать. и оптипизирующий компилятор может сильно наоптимизирвоать не очевидных вещей (особенно когда перегрузка операторов испоьзуется, тогда вообще поведение становится не очевидным).