判别给定表达式中所含括号是否正确配对出现的算法

假设一个算术表达式中可以包含三种括号：圆括号"(" 和")"，方括号"["和"]"和花括号"{"和"}"，且这三种括号可按任意的次序嵌套使用（如：…[…{…}…[…]…]…[…]…(…)…）。编写判别给定表达式中所含括号是否正确配对出现的算法。

顺序表类型定义如下：

typedef struct {
ElemType *elem;
int       length;
int       listsize;
} SqList;  // 顺序表

Stack是一个已实现的栈。

可使用的相关类型和函数：

typedef char SElemType; // 栈Stack的元素类型
Status InitStack(Stack &s);
Status Push(Stack &s, SElemType e);
Status Pop(Stack &s, SElemType &e);
Status StackEmpty(Stack s);
Status GetTop(Stack s, SElemType &e);

实现函数如下：

Status MatchCheck(SqList exp)
/* 顺序表exp表示表达式； */
/* 若exp中的括号配对，则返回TRUE，否则返回FALSE */
{
Stack s;
SElemType c;
ElemType *p = exp.elem;
int state = 0;
InitStack(s);
while(p < exp.elem + exp.length){
if(*p == '{' || *p == '[' || *p == '('){
Push(s,*p);//遇到"("或者"["或者"{"将其压入栈
}
else if(*p == '}' || *p == ']' || *p == ')'){
if(StackEmpty(s))return FALSE;//此时栈为空，即前面不再有"("或者"["或者"{",后面继续出现")"或者"]"或者"}"，则返回FALSE
GetTop(s,c);
switch(c){ //匹配栈顶元素
case '(' : {
if(*p == ')'){
Pop(s,c);
state = 1;
break;
}
else return FALSE;
}
case '[' : {
if(*p == ']'){
Pop(s,c);
state = 1;
break;
}
else return FALSE;
}
case '{' : {
if(*p == '}'){
Pop(s,c);
state = 1;
break;
}
else return FALSE;
}
}
}
p++;
}
if(StackEmpty(s))state = 1;//栈内元素完全被匹配完
else state = 0;
if(state == 1)return TRUE;
else return FALSE;
}