栈的压入、弹出序列

题目：输入两个整数序列，第一个序列表示栈的压入顺序，请判断第二个序列是否为该栈的弹出顺序。例如序列1，2, 3, 4，5是某栈的压栈序列，序列4,5,3,2,1是该压栈序列的一个弹出序列，但4，3,5,1,2就不可能是该压栈序列的弹出序列。

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

下面我们以4,5,3,2,1为例分析压栈和弹出的过程。第一个希望被弹出的数字是4，因此4需要先压入到辅助栈中。压入栈的顺序由压栈序列确定了，也就是在把4压入栈之前，数字1，2, 3都需要先压入栈中。此时栈里包含4个数字：1，2，3, 4，其中4位于栈顶。把4弹出栈后，剩下的三个数字是1,2,3。接下来希望被弹出的数字是5，由于它不是栈顶数字，因此我们接着在第一个序列中把4以后数字压入辅助栈中，直到压入了数字5。这个时候5位于栈顶，就可以被弹出来了。接下来希望被弹出的三个数字依次是3,2,1.由于每次操作前它们都位于栈顶，因此直接弹出即可。

代码如下(为了方便大家理解，我已经加了详细的注释)：

bool isPopOrder(const int* pPush,const int* pPop,int nLength)
{
   bool bPossible=false;
   if(pPush!=NULL && pPop!=NULL && nLength>0)
   {
       const int* pNextpush=pPush;
       const int* pNextpop =pPop;
       stack<int> stackData;//辅助栈
       while(pNextpop-pPop<nLength)//如果出栈元素未处理完，则继续处理
       {
           while(stackData.empty() ||stackData.top()!=*pNextpop)//辅助栈是空栈或下一个弹出元素与辅助栈栈顶元素不相等，则一直进栈，直到进栈序列全部进栈完成
           {
              if(pNextpush-pPush==nLength)//如果所有入栈序列元素已经全部入栈
                {
                    break;//结束循环
                }
                //否则，继续往里面压入元素
                stackData.push(*pNextpush);
                ++pNextpush;                
           }
           //进栈序列元素已经进栈，仍然没有找到与出栈序列栈顶元素相同的元素
           if(stackData.top()!=*pNextpop)//不一致
           {
                break;
           }
           stackData.pop();//元素一致，辅助栈弹出元素
           ++pNextpop;           
       }
       if(stackData.empty() && pNextpop-pPop==nLength)//所有元素出栈完
       {
           bPossible=true;
       } 
   }
   return bPossible;
}