C++的STL 栈实现 判断栈的出栈顺序是否合理

有这样的题目：

已知从1至n的数字序列，按顺序入栈，每个数字入栈后即可出栈， 也可在栈中停留，等待后面的数字入栈出栈后，该数字再出栈，求该数字序列的出栈序列是否合法?

类似如下：

已知栈的出栈序列为：3 2 5 4 1，判断该栈的出栈序列是否合法

过程如下：

第一次1-5顺序入栈：1,2,3

第二次 3 出栈：1,2

第三次 2 出栈：2

第四次 4,5 入栈：1，4，5

第五次 5 出栈：1，4

第六次 4 出栈：1

第七次 1 出栈：

最终可以得到合法的出栈序列：3 2 5 4 1

而序列：3 1 2 4 5 则不合法

解决方法主要是使用栈和队列来模拟整个过程，是否满足

1. 出栈序列存放在队列中:3，2，5，4，1，创建一个临时栈来存放入栈序列（1-5）
2. 模拟入栈过程，同时判断入栈后的栈顶是否和队列的对头是否相等；相等则意味着此时该数值合理出栈；否则继续入栈
3. 上过程结束后，若临时栈或者队列中仍然存在元素，则该出栈序列不合法

具体过程如下：

初始：

queue: 3 2 5 4 1

stack:

第一次：3 2 5 4 1

stack:1

第二次：

queue: 3 2 5 4 1

stack: 1，2

第三次：

queue: 2 5 4 1

stack: 1,2

第四次:

queue 2 5 4 1

stack: 1,2,4

…

最后一次:

queue: 1

stack :1

实现代码如下:

bool judge_formal_seq(queue<int> order){
    stack<int> seq;
    int num = order.size();

    if (order.empty()) {
        return false;
    }
    
    for (int i = 1; i <= 5; ++i) {
        seq.push(i);
        /*判读队头元素和栈顶元素是否相等，相等则认为该元素可以出栈，两者都pop*/
        while (!seq.empty() && order.front() == seq.top()) { 
            order.pop();
            seq.pop();
        }
    }
    
    if(seq.empty()) {
        return true;
    } else {
        return false;
    } 
}      

#include <iostream>
#include <algorithm>
#include <stack>
#include <queue>

using namespace std;

bool judge_formal_seq(queue<int> order){
    stack<int> seq;
    int num = order.size();

    if (order.empty()) {
        return false;
    }

    for (int i = 1; i <= 5; ++i) {
        seq.push(i);
        while (!seq.empty() && order.front() == seq.top()) {
            order.pop();
            seq.pop();
        }
    }
    if(seq.empty()) {
        return true;
    } else {
        return false;
    } 
}

int main() {
    queue<int> order;
    int tmp;
    cout << "construct the exit stack seq :" << endl;

    for (int i = 0; i < 5; ++i){
        cin >> tmp;
        order.push(tmp);
    }

    cout << "judge the stack seq is " << (judge_formal_seq(order)?"true":"false") << endl;
    return 0;
}      

construct the exit stack seq :
3 2 5 4 1
judge the stack seq is true

construct the exit stack seq :
3 1 2 5 4 
judge the stack seq is false