数据结构--判断栈的弹出序列是否合法

题目是这样描述的：输入两个整数序列，第一个序列表示栈的压入序列，请判断第二个序列是否为该栈的弹出序列，假设压入栈的所有数字均不相等。例如：入栈序列，1 2 3 4 5，判断4 5 3 2 1以及4 3 5 1 2是不是其弹出序列. 

解决这个问题很直观的方法是建立一个辅助栈，把输入的第一个序列中的数字一次压入该辅助栈中，并按照第二个序列的顺序依次从该栈中弹出数字。

下面通过图来详细分析一下具体过程：                                                                           

总的来说，判断一个序列是不是栈的弹出序列，主要把握一个规律：

如果下一个弹出的数字刚好是栈顶数字，那么直接弹出；如果下一个弹出的数字不在栈顶，我们就要把压栈序列中还没有入栈的数字压入辅助栈，直到把下一个需要弹出的数字压入栈顶为止；如果所有的数字都压入了栈中仍然没有找到下一个弹出的数字，那么该序列就不可能是一个合法的弹出序列。

下面是代码实现：

template<class T>
bool CheckStackLeg(const T* sPush,const T* sPop,size_t szin,size_t szout)
{
	assert(sPush && sPop);   //防止输入两个空指针
	assert(szin && szout);   //防止大小传入0，导致程序错误
	if(szin!=szout)
	{
		return false;
	}
	stack<int> s;
	size_t i=0;
	size_t j=0;
	for (i=0;i<szin;++i)
	{
		s.push(sPush[i]);
		while(j<szout)
		{
			if (!s.empty()&&s.top()==sPop[j])
			{
				s.pop();
				j++;
			}
			else
			{
				break;    //不满足if条件就直接跳出
			}
		}
	}
	if (!s.empty())
	{
		return false;
	}
	return true;
}

测试代码：
void test()
{
	//int inStack[]={1,2,3,4,5};
	//int outStack[]={4,5,3,2,1};       //legality
	//int outStack[]={4,3,5,1,2};        //no

	char inStack[]={'a','b','c','d','e'};
	//char outStack[]={'d','e','c','b','a'};  //legality
	//char outStack[]={'d','c','e','a','b'};    //no
	char outStack[]={'a','c','d'};              //no
	size_t szin=sizeof(inStack)/sizeof(inStack[0]);
	size_t szout=sizeof(outStack)/sizeof(outStack[0]);
	cout<<CheckStackLeg(inStack,outStack,szin,szout)<<endl;
}