习题3.14 另类堆栈（图解）

题目：

在栈的顺序存储实现中，另有一种方法是将Top定义为栈顶的上一个位置。请编写程序实现这种定义下堆栈的入栈、出栈操作。如何判断堆栈为空或者满？

函数接口定义：

bool Push( Stack S, ElementType X );
ElementType Pop( Stack S );

其中Stack结构定义如下：

typedef int Position;
typedef struct SNode *PtrToSNode;
struct SNode {
    ElementType *Data;  /* 存储元素的数组 */
    Position Top;       /* 栈顶指针       */
    int MaxSize;        /* 堆栈最大容量   */
};
typedef PtrToSNode Stack;

注意：如果堆栈已满，Push函数必须输出“Stack Full”并且返回false；如果队列是空的，则Pop函数必须输出“Stack Empty”，并且返回ERROR。

思路：

要注意到：以往我们的栈的Top指针都是初始化为-1，但是这里初始化为0，这是为了做到“将Top定义为栈顶的上一个位置”的重要一步。

Stack CreateStack( int MaxSize ){
    Stack S = (Stack)malloc(sizeof(struct SNode));
    S->Data = (ElementType *)malloc(MaxSize * sizeof(ElementType));
    S->Top = 0;
    S->MaxSize = MaxSize;
    return S;
}

这里的“栈顶的上一个位置”，真的就是栈顶的上一个位置，字面意思而已，我当初多虑了。

出栈入栈的操作与以前类似，不过top指针加减的时机发生了变化。

bool Push( Stack S, ElementType X ){
    if(S->Top==S->MaxSize){
        printf("Stack Full\n");
        return false;
    }else{
        S->Data[S->Top++]=X;
        return true;
    }
}
ElementType Pop( Stack S ){
    if(S->Top==0){
        printf("Stack Empty\n");
        return ERROR;
    }else{
        return S->Data[--S->Top];
    }
}