本文要说的是在《c专家编程》一个程序里的bug(至于这个是不是就看下大家的看法,不过我觉得挺明显的,要不就是我班门弄斧了,哈哈),还有就是想给大家看下这段程序,这是一个关于解析c语言声明的程序。没放假前的一段时间,我在论坛里看到了不少人在讨论这个声明的问题,lz也给出了分析声明的方法,至于要不要用那些复杂的声明我就不发表意见了(因为我也没有什么经验),但我们总得看明白这些声明啊。我在那个时候刚把《c专家编程》这书看完了,相信看过这书的同学都知道,书里就有一章是关于声明的,里面还有两个用来解析声明的程序(另一个是在后面的章节用有限状态机实现的)。
其实要理解声明只要知道一些在声明里的优先级就行,饿...就不扯这个了,进入正题。这里准备说的程序是那个用有限状态机实现的那个(其实这个bug在第一个解析声明的程序也有,不过我觉得这个好玩些,也可以给一些不知道FSM的同学介绍一下这个概念)。
为了让大家都可以更好的理解这个程序,我先引用一下书里关于FSM(finite state machine)有限状态机的描述:有限状态机是一个数学概念,如果把它运用于程序中,可以发挥很大的作用。它是一种协议,用于有限数量的子程序(“状态”)的发展变化。每一个子程序进行一些处理并选择下一种状态(通常取决于下一段的输入)。有限状态机可以用于程序的控制结构。它的基本思路是用一张表保存所有可能的状态,并列出进入每个状态时可能执行的所有动作,其中最后一个动作就是计算(通常在当前状态和下一个输入字符的基础上,另外再经过一次表查询)下一个应该进入的状态。你从一个“初始状态”开始。在这过程中,翻译表可能会告诉你进入了一个错误的状态,表示一个预期之外的或错误的输入。你不停的在各种状态间进行转换,直到到达结束状态。
饿...扯了这么多,就想给不知道这个的人介绍一下这个概念。说回来,要用有限状态机实现,那就要有一个适合的状态机啊(当然书里都准备好了的),下面就给大家看一个神奇的玩意(好吧,我知道很多人都看过了,不过我还是要把它弄出来):
由于图大的问题,就分成了两部分,希望大家谅解!
这是一个可以用来分析c语言声明的环,只要按照它的步骤来就可以解析声明,它的原理就是基于声明的优先级:1.括号里的部分 2.后缀符号[]或() 3.前缀符号* ,和三个规定:1.函数不可以返回函数 2.函数的参数不可以是函数 3.数组的类型不可以是函数 (可以用指针来实现)。
再引用书里的一段描述:分析环是一个简单的状态机,它的绝大多数状态转换都是按连续的顺序进行的,与输入无关,这意味著不需要建立一个转换表用于匹配状态/输入以获得下一个状态。你可以用一个简单的变量(类型为函数指针)。在每种状态下,需要做的事情之一就是给下个一个状态赋值。在主循环中,程序将调用指针所指向的函数,并循环往复,直到结束函数被调用或遇到一个错误的状态。
好吧,终于把这些扯完了,我们可以这个分析环的步骤2,3,4,5看作是一种状态,6是结束状态。贴代码了,bug我在下面说。
其实要理解声明只要知道一些在声明里的优先级就行,饿...就不扯这个了,进入正题。这里准备说的程序是那个用有限状态机实现的那个(其实这个bug在第一个解析声明的程序也有,不过我觉得这个好玩些,也可以给一些不知道FSM的同学介绍一下这个概念)。
为了让大家都可以更好的理解这个程序,我先引用一下书里关于FSM(finite state machine)有限状态机的描述:有限状态机是一个数学概念,如果把它运用于程序中,可以发挥很大的作用。它是一种协议,用于有限数量的子程序(“状态”)的发展变化。每一个子程序进行一些处理并选择下一种状态(通常取决于下一段的输入)。有限状态机可以用于程序的控制结构。它的基本思路是用一张表保存所有可能的状态,并列出进入每个状态时可能执行的所有动作,其中最后一个动作就是计算(通常在当前状态和下一个输入字符的基础上,另外再经过一次表查询)下一个应该进入的状态。你从一个“初始状态”开始。在这过程中,翻译表可能会告诉你进入了一个错误的状态,表示一个预期之外的或错误的输入。你不停的在各种状态间进行转换,直到到达结束状态。
饿...扯了这么多,就想给不知道这个的人介绍一下这个概念。说回来,要用有限状态机实现,那就要有一个适合的状态机啊(当然书里都准备好了的),下面就给大家看一个神奇的玩意(好吧,我知道很多人都看过了,不过我还是要把它弄出来):
由于图大的问题,就分成了两部分,希望大家谅解!
这是一个可以用来分析c语言声明的环,只要按照它的步骤来就可以解析声明,它的原理就是基于声明的优先级:1.括号里的部分 2.后缀符号[]或() 3.前缀符号* ,和三个规定:1.函数不可以返回函数 2.函数的参数不可以是函数 3.数组的类型不可以是函数 (可以用指针来实现)。
再引用书里的一段描述:分析环是一个简单的状态机,它的绝大多数状态转换都是按连续的顺序进行的,与输入无关,这意味著不需要建立一个转换表用于匹配状态/输入以获得下一个状态。你可以用一个简单的变量(类型为函数指针)。在每种状态下,需要做的事情之一就是给下个一个状态赋值。在主循环中,程序将调用指针所指向的函数,并循环往复,直到结束函数被调用或遇到一个错误的状态。
好吧,终于把这些扯完了,我们可以这个分析环的步骤2,3,4,5看作是一种状态,6是结束状态。贴代码了,bug我在下面说。
-
C/C++ code
-
// 用//是本人的注释 #include <stdio.h> #include <string.h> #include <ctype.h> #define MAXTOKENS 100 #define MAXTOKENLEN 64 enum type_tag { IDENTIFIER, QUALIFIER, TYPE }; struct token{ char type; char string[MAXTOKENLEN]; }; int top = -1; //int t_num = 0; //本人的修改,可先不管 /*在第一个标识符(identifier)前保存所有的标识(token)*/ struct token stack[MAXTOKENS]; /*保存刚读入的标记*/ struct token this; #define pop stack[top--] #define push(s) stack[++top]=s enum type_tag classify_string(void) /*判断标识符的类型*/ { char *s = this.string; if(!strcmp(s,"const")){ strcpy(s,"read-only"); return QUALIFIER; } if(!strcmp(s,"volatile")) return QUALIFIER; if(!strcmp(s,"void")) return TYPE; if(!strcmp(s,"char")) return TYPE; if(!strcmp(s,"signed")) return TYPE; if(!strcmp(s,"unsigned")) return TYPE; if(!strcmp(s,"short")) return TYPE; if(!strcmp(s,"int")) return TYPE; if(!strcmp(s,"long")) return TYPE; if(!strcmp(s,"double")) return TYPE; if(!strcmp(s,"struct")) return TYPE; if(!strcmp(s,"union")) return TYPE; if(!strcmp(s,"enum")) return TYPE; return IDENTIFIER; } void gettoken(void) {/*读入下一个标记,保存在“this”中*/ char *p = this.string; /*略过所有的空白字符*/ while ((*p = getchar()) == ' '); if(isalnum(*p)){ /*在标识符中读入A-Z,1-9字符*/ while (isalnum(*++p = getchar())); ungetc(*p,stdin); *p = '\0'; this.type = classify_string(); return; } this.string[1] = '\0'; this.type = *p; return; } void initialize(), get_array(), get_params(), get_lparen(), get_ptr_part(), get_type();//各种状态 void (*nextstate)(void) = initialize; int main() /*用有限状态机实现的cdecl*/ { /*在不同的状态间转换,直到指针为NULL*/ while(1){ while(nextstate != NULL) (*nextstate)(); nextstate = initialize; fflush(stdin); } return 0; } void initialize() { gettoken(); while (this.type != IDENTIFIER){ push(this); gettoken(); } printf("%s is ", this.string); gettoken(); nextstate = get_array; } void get_array() //状态1,也就是分析环里的步骤2 { nextstate = get_params; while (this.type == '['){ printf("array "); gettoken();/*一个数字或']'*/ if(isdigit(this.string[0])){ printf("0..%d ",atoi(this.string)-1); gettoken();/*读取']'*/ } gettoken();/*在']'之后读取*/ printf("of "); nextstate = get_lparen; } } //状态2,也就是分析环里的步骤3。bug就在这个函数里,大家可以先看下 //这个程序是不对函数里的参数进行分析的 void get_params() { nextstate = get_lparen; if(this.type == '('){ while(this.type != ')'){ gettoken(); } gettoken(); printf("function returning "); } } /* void get_params() //这是我的修改,为了不影响代码的可读性,bug我在后面再分析了 { nextstate = get_lparen; if(this.type == '('){ t_num++; while (t_num != 0){ gettoken(); if(this.type == '(') t_num++; else if(this.type == ')') t_num--; } gettoken(); printf("function returning "); } } */ void get_lparen() //状态3,也就是分析环里的步骤4 { nextstate = get_ptr_part; if(top >= 0){ if(stack[top].type == '('){ pop; gettoken();/*在'('之后读取*/ nextstate = get_array; } } } void get_ptr_part() //状态4,也就是分析环里的步骤5 { nextstate = get_type; if(stack[top].type == '*'){ printf("pointer to "); pop; nextstate = get_lparen; }else if (stack[top].type == QUALIFIER){ printf("%s ",pop.string); nextstate = get_lparen; } } void get_type() //结束状态 { nextstate = NULL; /*处理在读入标识符之前被放在堆栈的所有标记*/ while (top >= 0){ printf("%s ",pop.string); } printf("\n"); } /******************************************************************************************* 对bug的分析: while(this.type != ')'){ gettoken(); 出现问题的就是上面这一个循环语句,它这里只判断了是不是找到了右括号,但作者可能没想到这个 右括号可以不是匹配函数左括号的右括号,举个例子:int foo(int(*p)[10]),大家看这个就知道了这 个循环语句会在把数组指针括起来的右括号就终止了,但实际上它应该找到的是最右边那个函数的右 括号,就这bug产生了,后面的声明部分可能会被抛弃或错用。由此想到那个环对步骤3“如何阅读”的 描述:“到右括号为止的内容”也应该说成是和前面左括号匹配的右括号才对。 大家可以测试一下这个声明,信号函数:void (*signal(int sig, void(*func)))(int); 或者我随便写的一个: int (*foo(int(*p)(void)))[10]; 至于我修改就是加了一个计数的变量,这样就可以准确找到对应的右括号了,当然可能会有更好 的方法,哈哈。 我写这个也不是贬低这本书,我知道我也没这个能力,这个只是我的一个发现,发上来和大家分 享一下而已。还有不得不说的就是《c专家编程》的确是一本好书,c语言进阶必备啊。。。哈哈! *********************************************************************************************/