判断元素出栈，入栈顺序的合法性

个人理解：
就是给两个等长并且不为空的序列，一个叫做入栈序列，一个叫做出栈序列。然后定义一个栈，刚开始为空，把入栈序列的数据挨个往定义的栈里面push，都知道栈是后进先出，所以当把入栈序列中的某一个数据push进栈时（此时这个新数据一定是栈顶的数据）发现和所给定的出栈序列的第一个数据相等，那么就把这个数据pop出栈，然后出栈序列的下标后移继续上一步判断，依次循环。当不满足而且入栈序列的数据还没有全部入栈时就将前面入栈剩下的数据继续入栈，反复这两个过程，最后的目的就是入栈序列的数据全部入栈，并且这些数据按照上面循环条件出栈后的顺序和出栈序列一样则合法，不满足任何一个条件则一定不合法。
需要满足的条件：
1：等长且不为空的两个序列。
2：按照条件出栈后出栈顺序和出栈序列顺序一样。
3：最后出栈完以后栈一定为空（如果满足2，则栈肯定是空的）。

bool CheckLegal(vector<int> pushstack, vector<int> popstack)
{
    if (pushstack.size() != popstack.size() || pushstack.empty() || popstack.empty())
    {
        return false;
    }
    stack<int> s;
    size_t i = 0;
    size_t j = 0;
    for (; i < pushstack.size(); ++i)
    {
        s.push(popstack[i]);
        while (!s.empty() && s.top() == popstack[j])
        {
            s.pop();
            ++j;
        }
    }
    if (s.empty())
    {
        return true;
    }
    else
    {
        return false;
    }
}