数据结构面试题/元素出栈，入栈顺序的合法性

题目：元素出栈、入栈顺序的合法性。如：入栈的序列（1,2,3,4,5），出栈序列为（4,5,3,2,1），则合法。入栈的序列（1,2,3,4,5），出栈序列为（4,5,2,3,1），则不合法。
栈（stack）——是限定在表尾进行插入或删除操作的线性表，又称为先进后出的线性表。
定义一个栈s, 入栈序列为stack_in, 出栈序列为stack_out,长度分别为len_in 和len_out.———–分析：
合法的情况：1）、出栈序列和入栈序列长度相等且不为空
2）、先将stack_in中第一个元素入栈，然后通过循环使stack_in后移。
如果当前栈为空且入栈序列不为空，则入栈序列stack_in后移，s入栈。
如果栈顶元素不等于出栈序列元素且入栈序列不为空，则入栈序列stack_in后移，s入栈。
如果栈顶元素等于出栈序列元素，s出栈，出栈序列stack_out后移。
循环比较后，如果栈为空，则出栈序列是合法的,否侧不合法。
不合法的情况：1）、两个序列为空或长度不等
2）、栈顶元素的出栈顺序
代码：

 #pragma once
#include<assert.h>
#include<stack>

#include<iostream>
using namespace std;
bool Check(int *stack_in, int *stack_out, int len_in, int len_out)
{
    assert(stack_in && stack_out);
    if (len_in != len_out)  //两个序列长度不相等，不合法
        return false;
    stack<int> s;
    int j = 0;
    int i = 0;
    for (; i < len_in; i++)
    {
        s.push(stack_in[i]);
        while (s.size() > 0 && s.top() == stack_out[j])
        {
            //入栈序列栈顶元素与当前出栈序列元素不相等，不合法
            s.pop();
            j++;
        }
    }
    return (s.size() > 0) ? false:true;
    //当所有出栈序列元素都匹配完之后，栈不为空，不合法
}

测试代码和结果：