DS3-受限线性表.pptxVIP

第3章 受限线性表—— 栈、队列及串;3.1 操作受限线性表---栈;设定栈S = ( a1 , a2 ,…, an )； 栈具有“先进后出，后进先出”的特点； FILO(First In Last Out) ;算法3.1：栈的抽象数据类型 ADT Stack{ 数据对象：D={ ai| ai ∈ElemSet,i=1,2,3,…,n,n≥0} 数据关系：R={ ai-1,ai,| ai-1,ai∈D,i=1,2,3,…,n} //a1为栈底元素，an为栈顶元素 基本操作： StackInit( S ); //构造一个空栈S IsEmpty( S ); //判断S是否为空栈，若是，则返回1；否则返回0 IsFull( S ); //判断栈S是否为满栈，若满，则返回1，否则返回0 StackClear( S ); //将栈S清空 StackDestroy( S ); //销毁栈S StackLength( S ); //求栈S的长度，即栈S中的元素的个数 GetTop( S ); //返回栈S的栈顶元素 Push( S, e ); //入栈操作，将数据元素e插入栈S的当前栈顶 Pop( S ); //出栈操作，删除栈S的栈顶元素，并返回其值 }ADT Stack ;3.2 栈的存储结构;图3-2 顺序栈的示意图;由于栈中的元素个数动态变化，而数组的空间是固定的，所以当使用一个数组来存放数据元素时，可能会出现溢出的现象。 当数组为空时，再对数组进行出栈操作会出现溢出现象，这种溢出称为下溢。 若数组已满时，再对数组进行入栈操作也会出现溢出现象，这种溢出称为上溢。 因此，在对栈进行入栈或出栈操作前，应该对栈当前的状态进行检查。;算法3.2：顺序栈的数据类型定义 templateclass Type class SeqStack{ private: Type *base； //栈底指针 int maxsize; //顺序栈的最大空间 int top; //栈顶指针 public: SeqStack(int size); //构造函数,构造一个数组空间大小为size的空栈 ~SeqStack(); //析构函数，销毁栈，释放栈空间 int IsEmpty()const; //判断栈是否为空栈，若是，返回1；否则返回0 int IsFull(); //判断栈是否是满栈，若是，返回1；否则返回0 void SeqStackClear(); //将栈清空 int SeqStackLength(); //栈的长度，即栈中元素的个数 void Push(Type e); //入栈操作，将元素e插入栈顶 Type Pop(); //出栈操作，将当前栈顶元素删除???并返回其值 Type GetTop(); //返回栈顶元素 } ;顺序栈基本操作;（2）元素的入栈和出栈操作：函数Push() 算法3.4：元素的入栈 void SeqStackType::Push(Type e){ if( IsFull() ){ cout栈空间已满endl; retrun; } else { base[top++] = e; } };顺序栈的出栈：函数Pop() 算法3.5：元素出栈 //将当前栈顶元素出栈 Type SeqStackType::Pop(){ if( IsEmpty()) { cout栈为空endl; retrun -1; } else return base[--top]; } ;（3）返回当前栈顶元素值的操作：函数GetTop() 需要判断栈的当前状态，在栈非空的状态下，输出当前栈顶元素的值。但是，在输出元素值后，不需要改变栈顶指针。 注意，栈顶指针指向的是当前栈顶指针的下一个元素空间。 算法3.6：返回当前栈顶元素 Type SeqStackType::GetTop(){ if( IsEmpty()) { cout栈为空endl; return -1; } else return base[top-1]; } ;