C陷阱与缺陷整理三

1.大多数C语言的实现都通过函数main的返回值来告诉操作系统该函数的执行是成功还是失败。典型的处理方案是,返回值为0代表程序执行成功,返回值非0则表示程序执行失败。如果一个程序的main函数并不返回任何值,那么有可能看上去执行失败。所以建议我们的C程序的main函数应该如下编写:

int main()

{

return 0;

}

当然如果main函数需要接受参数的话将参数声明加上更加完美。

2.一个C程序可能是由多个分别编译的部分组成,这些不同的部分通过一个通常叫做连接器的程序合并为一个整体。连接器的输入是一组目标模块和库文件,连接器的输出是一个载入模块。

连接器通常把目标模块看成是由一组外部对象组成的,每个外部对象代表着机器内存中的某个部分,并通过一个外部名称来识别。因此,程序中的每个函数和每个外部变量,如果没有被声明为static,就是一个外部对象。某些C编译器会对静态函数和静态变量的名称做一定改变,将它们也作为外部对象。

大多数连接器都禁止同一个载入模块中的两个不同外部对象拥有相同的名称。然而在多个目标模块整合成一个载入模块时,这些目标模块可能就包含了同名的外部对象,连接器的一个重要工作就是处理这类命名冲突。

除了外部对象之外,目标模块中还可能包含了对其他模块中的外部对象的引用。例如,一个调用了函数printf的C程序所生成的目标模块,就包括了一个对函数printf的引用。所以在连接器生成载入模块的过程中,它必须同时记录这些外部对象的引用。

3.extern int a;这条语句是对外部变量a的声明,即使其出现在一个函数的内部,也仍然具有相同的含义,因为这种形式的声明是对一个外部对象的显式引用。

如果语句int a = 7和语句int a = 9出现在同一个源文件中,将会出现什么样的情形呢?这个问题的答案与系统有关,不同的系统可能有不同的处理方式。严格的规则是,每个外部变量只能够定义一次。如果上述这种情况出现的话,大多数系统都会拒绝接受该程序。但是如果一个外部变量在多个源文件中定义却并没有指定初始值,那么某些系统会接受这个程序,而另外一些系统则不会接受。

4.两个具有相同名称的外部对象实际上代表的是同一个对象,即使编程者的本意并非如此,但系统却会如此处理。因此,如果在两个不同的源文件中都包含了定义:

int a;

那么,它或者表示程序错误,或者在两个源文件中共享a的同一个实例。static可以很好的解决这个问题。例如,如下声明语句:

static int a;

a的作用域将被限制在一个源文件内,对于其他源文件,a是不可见的。因此,如果若干个函数想要共享一组外部对象,可以将这些函数放到一个源文件中,把它们需要用到的对象也都在同一个源文件中以static修饰符声明。需要注意的是static同样可以适用于函数。

5.如果一个函数在被定义或声明之前被调用,那么它的返回类型就默认为整型。C语言中的规则是,如果一个未声明的标识符后跟一个开括号,那么它将被视为一个返回整型的函数。当然这在很多时候会造成错误,所以在使用函数的时候一定要保证在函数调用之前已经有过函数的声明。

6.如下的这段代码有什么问题?

int main()

{

char c;

while((c = getchar()) != EOF)

putchar(c);

return 0;

}

分析:这段代码的问题在于隐性的假设了EOF的值是在char的表示范围内。然而很多实际情况下,EOF的值char类型是无法容纳的,所以如果想改正这个程序,需要将c定义为int类型。

7.许多操作系统的标准输入/输出库都允许程序打开一个文件,同时进行写入和读出的操作:

FILE *fp;

fp = fopen(file, "r+");

编程者也许认为,程序一旦执行上述操作完毕,就可以自由地交错进行读出和写入的操作。遗憾的是,为了保持与过去不能同时进行读写操作的程序向下兼容性,一个输入操作不能随后直接紧跟一个输出操作,反之亦然。如果要同时进行输入和输出操作,必须在其中插入fseek函数的调用。推荐如下的写法:

while(...)

{

fread(...);

fseek(...);

fwrite(...);

fseek(...);

}

8.程序输出有两种方式:一种即时处理方式,另一种是先暂存起来,然后再大块写入的方式,前者往往造成系统较高的负担。因此,C语言实现通常都允许程序员进行实际的写操作之前控制产生的输出数据量。这种控制能力一般都是通过库函数setbuf实现的,如果buf是一个大小适当的字符数组,那么

setbuf(stdout, buf);

语句将通知输入/输出库,所有写入到stdout的输出都应该使用buf作为输出缓冲区。

注意:这里的buf如果被定义为局部变量将可能导致错误,因为系统最后一次清理buf将会是在main函数执行完成后,这个时候如果buf都已经被系统释放,就有可能出现错误,所以一般将buf设置为static或者设置为全局变量再或者使用malloc分配,这三种方法都是延长buf的生存期。

9.在调用库函数时,我们应该首先检测作为错误指示的返回值,确定程序执行已经失败,然后在检查errno(当很多库函数程序执行失败的时候,往往会通过这个外部变量通知程序该函数调用失败),来具体查清楚出错的原因,而不是直接检测errno的值来判断是否出现某种错误。

10.当一个程序异常终止时,程序输出的最后几行常常会丢失,原因是什么?我们能够采取怎么样的措施来解决这个问题?

分析:一个异常终止的程序可能没有机会来清空其输出缓冲区,因此,该程序生成的输出可能位于内存的某个位置,但却永远不会被写出了。在某些系统上,这些无法写出的数据可能长达好几页。

对于试图调试这类程序的编程者来说,这种丢失的情况经常会误导他们,因为它会造成这样一种假象,程序发生失败的时刻比实际上运行失败的真正时刻要早得多。解决方案就是在调试时强制不允许对输出进行缓冲。要做到这一点,不同的系统有不同的作法,这些作法虽然存在细微差别,但大致如下:

setbuf(sedout, (char *)0);

这个语句必须在任何输出被写入到stdout(包括任何对printf函数的调用)之前执行。该语句的最恰当的位置就是作为main函数的第一个语句。

时间: 2024-10-03 23:09:17

C陷阱与缺陷整理三的相关文章

C陷阱和缺陷整理四

1.assert宏的定义 #define assert(e) \ ((void)((e) || _assert_error(__FILE__, __LINE__))) 库里面对这个宏做了这样的定义,当宏参数(或表达式)e为真的时候由||运算符的运算规则会执行_assert_error(__FILE__, __LINE__)从而打印一条报警信息.所以整个表达式的最终会变为(void)0或者(void)1这种形式,这种形式确实有点奇怪? 系统这样定义的目的是当一个值被转换为void类型之后,没有一个

C陷阱与缺陷整理二

1.在C语言中,我们没有办法将一个数组作为函数参数传递,如果我们使用数组名作为参数,这个时候数组名立刻会被转换为指向该数组的第一个元素的指针. 关于这一点的理解可以向前深入一步,比如定义的数组为int a[3],那么a作为参数传递之后会变为int *类型:如果定义的数组为int a[3][4],那么a作为参数传递之后被变为int (*)[4]:如果定义的数组为int a[3][4][5],那么a作为参数传递之后会变为int (*)[4][5]:后续的以此类推.为什么可以这样呢?因为C语言中的多维

C陷阱与缺陷整理一

1.词法分析中的"贪心法" C语言的某些符号,例如/.*和=,只有一个字符长,称为单字符符号.而C语言中的其他符号,例如/*和==,以及标识符等都包含了多个字符,称为多字符符号.当C编译器读入一个字符'/'后又跟了一个字符'*',那么编译器就必须做出判断:是将其作为两个分别的符号对待,还是合起来作为一个符号来对待.C语言对这个问题的解决方案可以归纳为一个很简单的规则:每一个符号应该包含尽可能多的字符.也就是说,编译器将程序分解成符号的方法是,从左到右一个字符一个字符地读入,如果该字符可

阅读《C陷阱与缺陷》的知识增量

看完<C陷阱与缺陷>,忍不住要重新翻一下,记录一下与自己的惯性思维不符合的地方.记录的是知识的增量,是这几天的流量,而不是存量. 这本书是在ASCI C/C89订制之前写的,有些地方有疏漏. 第一章 词法陷阱 1.3 C语言中解析符号时使用贪心策略,如x+++++y将被解析为x++ ++ +y,并编译出错. 1.5 单引号引起的一个字符代表一个对应的整数,对于采用ASCII字符集的编译器而言,'a'与0141.97含义一致. 练习1.1 嵌套注释(如/*/**/*/)只在某些C编译器中允许,如

《C陷阱与缺陷》学习笔记(一)

前言和导读 "得心应手的工具在初学时的困难程度往往超过那些容易上手的工具."比较认同这句话.我至今觉得自己其实还是个刚入了门的初学者. 第一章 "词法"陷阱 由于之前学过编译原理,对编译器词法分析(主要是符号识别过程)比较了解,理解起来不困难. 在讲到"="和"=="."|"和"||"."&"和"&&"时,联想起以前见过一些

读书笔记--C陷阱与缺陷(七)

第七章 1.null指针并不指向任何对象,所以只用于赋值和比较运算,其他使用目的都是非法的. 误用null指针的后果是未定义的,根据编译器各异. 有的编译器对内存位置0只读,有的可读写. 书中给出了一种判断编译器如何处理内存0的代码: 1 #include <stdio.h> 2 int main() 3 { 4 5 char *p; 6 p=NULL; 7 printf("location 0 contains: %d\n", *p); 8 9 return 0; 10

算法整理(三):插入排序

插入排序很简单,就像打扑克.手里有个牌4,再来一张牌5就本能的放到第一个牌的右边.如果来了个3就从右往左扫描,只要左边的比这个待插入数字大就交换. 插入排序是一种稳定的排序方法,时间复杂度O(n*n),空间复杂度O(1),最好的情况下时间复杂度为O(1).即本来就是一个有序或者相等的数组,则只需比较n-1次即可.下为源码,只需三行代码即可. //============================================================================

《C陷阱与缺陷》读书笔记

<C陷阱与缺陷>读书笔记 1.编译器中的词法分析器负责将程序分解为一个个符号.C语言中,符号之间的空白 (包括Space ,Tab , Enter) 都将被忽略,但一个符号的中间不能有空白,否则可能被解释成为另一个或几个符号. 2.编译器将程序分解成符号的方法是从左到右逐个字符读入,如果该字符可能会组成一个符号,那么再读入下一个字符,判断已经读入的两个字符组成的字符串是否可能是一个符号的组成部分:如果可能,继续读入下一个字符,重复上述判断,直到读入的字符组成的字符串已经不再可能组成一个有意义的

读书笔记--C陷阱与缺陷

要参与C语言项目,于是作者只好重拾C语言(之前都是C++,还是C++方便). 看到大家都推荐看看  C陷阱与缺陷(C traps and pitfalls),于是好奇的开始了这本书的读书之旅. 决定将书中重要的知识点和易错点记录下来方便自己复习和他人学习~~不多说了,下面开始. 第一章:词法陷阱 在C语言中,符号(程序文字)之间的空白(包括空格符.制表符.换行符)将被忽略.书中举了一例: 1 if (x > big) big = x; 2 可以写成: 3 if 4 ( 5 x 6 > 7 bi