不完美的C --从《C陷阱和缺陷》说起 [外部类型检查,库函数,标识符名称]

1.外部类型的检查并不完美;

/*exp 1:程序有源文件a.c和源文件b.c组成*/ /*源文件a.c*/ extern int n; //指明n是引用外部变量 /*源文件b.c*/ long n; //指明的n的定义 /*在这种情况下,C语言是不能检测出这种错误的!*/ /*exp 2如果一个未声明的标识符后面跟一个开括号,默认视为返回类型为整形*/ main() { double s; s = sqrt(2); printf("%d/n",s); } //这个错误已经修正了,如果未声明,就报错!  

 

2.库函数的缺陷

  A.更新顺序文件的例子

FILE *fp; struct record rec; ... while(fread((char*)&rec,sizeof(rec),1,fp) == 1){ /*对rec执行某些操作,比如反序...*/ if(/*rec必须重新写入*/){ fseek(fp,-(long)sizeof(rec),1); //重新定位 fwrite((char*)&rec,sizeof(rec),1,fp); } }

按照常理,fread()之后就能fwrite();但是,显然你想错了.

为了保持与过去不能同时进行读写的兼容性,是不能fread()后直接fwrite()的,反之亦然;

中间都需插入fseek()函数.

所以,上述程序是错误的,你能看出来为什么吗?

原因就是因为fwrite()之后,直接跟着了fread();这是错误的!

修改后的程序:

FILE *fp; struct record rec; ... while(fread((char*)&rec,sizeof(rec),1,fp) == 1){ /*对rec执行某些操作,比如反序...*/ if(/*rec必须重新写入*/){ fseek(fp,-(long)sizeof(rec),1); //重新定位 fwrite((char*)&rec,sizeof(rec),1,fp); fseek(fp,0L,1); //虽然什么都没做,但是不能少! } }

 

 B.设置缓冲区函数 setbuf(stdout,buf);

/*这是比较常见的用法*/ #include <stdio.h> main() { int c; char buf[BUFSIZE]; setbuf(stdout,buf); while(((c=getchar())!=EOF) putchar(c); }

程序表明了setbuf,通知了输入/输出库中所有字符的标准输出先缓存在buf中;

但是这个程序是错误的,原因是因为在main函数结束之后,buf字符数组已经被释放!

 

可以这样修改:

main() { static char buf[BUFSIZE]; //定义成静态的 } //或者放在main之外; char buf[BUFSIZE]; main() { ; } //第三种方法,动态分配内存 main() { setbuf(stdout,malloc(BUFSIZE)); }

 

以上这三种方法,其实都是解决的一个问题,即程序结束后,缓冲区的内容不会被释放!

 

3.标识符名称的限制

ANSI C能保证的是,C实现必须能够区分出前6个字符不同的外部名称,

因此,printf_abc 和PRINTfa123是无法区分的.看看下面的例子:

/*程序设计目的:给malloc函数加一层检测错误的外壳*/ char * Malloc(unsigned n) { char *p; char *malloc(unsigned); p = malloc(n); if(p == NULL){ printf("out of memory"); } return p; }

实际上,这个程序在某些编译器上执行的结果是惊人的!

因为编译器不会区分Malloc()和malloc();就导致系统调用Malloc(),接着调用malloc(),继续调用Malloc()...

直到内存耗尽!

 

注:这是很早很早的情况了,现在的编译器对标识符名称的长度和大小写都做了区别,是不会发生上述的情况了!