判断出栈的合法性

元素出栈，入栈的合法性。如：入栈序列（12345）出栈为（54321）则合法。出栈为（45231）不合法

#include<iostream>
#include<stack>
#include<assert.h>

using namespace std;
//1.定义一个栈。 
//2.当栈为空时或栈顶元素不等于Out[]中的元素时，将In中元素入栈 
//3.当栈顶元素等于Out[]中元素时，出栈
//4.入栈出栈操作后，栈中的元素全pop()出来了，则是合法的。反之，则是非法的。
bool Outvalid(int* In, int Insize, int* Out, int Outsize)
{
	stack<int> s;
	if (Insize != Outsize)
	{
		return false;
	}

	while (Insize>0)
	{
		if (s.empty() || s.top() != *Out)
		{
			s.push(*(In++));
			--Insize;
		}
		else
		{
			s.pop();
			Out++;
		}
	}
	while (!s.empty())
	{
		if (s.top() != *Out)
		{
			return false;
		}
		s.pop();
		Out++;
	}
	return true;
}
void test()
{
	int In[] = { 1, 2, 3, 4, 5 };
	int Out[] = { 5, 4, 3, 2, 1 };//合法
	//int Out[]={3,2,1,4,5};//合法
	//int Out[] = { 3, 1, 2, 5, 4 };//非法
	cout << Outvalid(In, 5, Out, 5) << endl;
}