浙大PTA堆栈操作合法性

假设以S和X分别表示入栈和出栈操作。如果根据一个仅由S和X构成的序列，对一个空堆栈进行操作，相应操作均可行（如没有出现删除时栈空）且最后状态也是栈空，则称该序列是合法的堆栈操作序列。请编写程序，输入S和X序列，判断该序列是否合法。

输入格式:
输入第一行给出两个正整数N和M，其中N是待测序列的个数，M（≤50）是堆栈的最大容量。随后N行，每行中给出一个仅由S和X构成的序列。序列保证不为空，且长度不超过100。

输出格式:
对每个序列，在一行中输出YES如果该序列是合法的堆栈操作序列，或NO如果不是。

输入样例：
4 10
SSSXXSXXSX
SSSXXSXXS
SSSSSSSSSSXSSXXXXXXXXXXX
SSSXXSXXX

输出样例：
YES
NO
NO
NO

思路：遇到S则入栈；遇到X则出栈。入栈操作注意判断栈是否已经满，出栈操作注意栈是否为空，再判断最后栈的状态，即可

#include <iostream>

using namespace std;
typedef struct SNode * Stack;
struct SNode
{
    char *Data;
    int maxsize;
    int top;
};

Stack CreatStack(int n);//创建一个堆栈
bool Push(Stack s, char X);//入栈
bool Pop(Stack s);//出栈
bool IsEmpty(Stack s);//判断栈是否为空
bool IsFull(Stack s);//判断栈是否已满

int main()
{
    Stack s;
    int n, m;
    scanf("%d%d", &n, &m);
    while(n--){
        s = CreatStack(m);
        string str;
        int bj = 0;
        cin>>str;
        for(int i = 0; i < str.size(); i++){
            bool flag = true;
            if(str[i] == 'X'){//出栈
                flag = Pop(s);
            }
            else if(str[i] == 'S'){//入栈
                flag = Push(s, str[i]);
            }
            if(!flag){//出栈失败(栈为空)或者入栈失败(栈已满)
                printf("NO\n");
                bj = 1;//做一个已输出的标记
                break;
            }
        }
        if(bj == 1)
            continue;
        else{
            if(IsEmpty(s)){//最后栈的状态为空
                printf("YES\n");
            }
            else
                printf("NO\n");
        }

    }
    return 0;
}
Stack CreatStack(int n)
{
    Stack s;
    s = (Stack)malloc(sizeof(struct SNode));
    s->Data = (char *)malloc(n * sizeof(int));
    s->top = -1;
    s->maxsize = n;
    return s;
}

bool Push(Stack s, char X)
{
    if(IsFull(s))
        return false;
    else{
        s->Data[++s->top] = X;
        return true;
    }
}

bool Pop(Stack s)
{
    if(IsEmpty(s))
        return false;
    else
    {
        s->Data[--s->top];
        return true;
    }
}


bool IsEmpty(Stack s)
{
    return(s->top == -1);
}
bool IsFull(Stack s)
{
    return (s->top == s->maxsize - 1);
}