C语言中的缺陷与陷阱.docVIP

C语言中的缺陷与陷阱 （博雅课期末作业：计算机网络安全与防护） 刚进大学，学的第一门计算机语言就是C语言，这是我第一次接触到计算机语言，对它一无所知。有些同学之前已经学过了一些类似的语言，例如VB、PASCAL等等。因为从来没有学过计算机语言，所以在学习C语言的过程中，遇到了很多困难，许多问题都不理解。因此虽然我已经学完了这本书，但是对书中的内容都不知甚解。 学过C语言的人都知道，指针是C语言中的一个重要概念，也是它的一个重要特色。正确而灵活地运用指针，可以有效地表示复杂的数据结构；能动态分配内存；方便地使用字符串；有效而方便地使用数组；在调用函数时能获得一个以上的结果；能直接处理内存单元地址等。掌握指针的应用，可以使程序简洁、紧凑、高效。但是任何事情都有两面性，C语言中的指针也是如此。举几个例子来说： 指针与数组 在新的一年里我们需要将日历（calendar）数组清空： int (*monthp)[31]; for(monthp=calendar;monthpcalendar[12];monthp++) { int *dayp; for(dayp=*monthp;daypmonthp[31];dayp++) *dayp=0; } 在这个程序中用指针monthp以步进的方式遍历数组calendar。使用指针来操纵数组，常常需要跟C语言中最为“晦暗不明”的部分打交道，并常常遭遇到潜伏着的编译器bug。因此使用指针时，我们必须得小心翼翼，否则，程序很容易出错。 非数组的指针 有一段程序如下： char *r,*malloc(); r=mollac(strlen(s)+strlen(t)); strcpy(r,s); strcat(r,t); 这个例子有三个错误：一、malloc函数有可能无法提供请求的内存，这种情况下malloc函数会通过返回一个空指针来作为“内存分配失败”事件的信号。二、给r分配的内存在使用完成之后应该立即释放。三、最重要的是调用malloc函数是并未分配足够的内存。 数组边界问题 C语言并不检验数组边界，因此，数组的两端都有可能越界而使其他变量的数据甚至程序代码被破坏。因此对于C语言来说，数组的边界检验是程序员的职责。 C语言中一个拥有n个元素的数组中，却不存在下标为n的的元素，它的元素的下标范围是从0到n-1，使用数组时一定要注意到这一点。 表达式求值顺序 一个表达式：abcd，C语言规定ab首先被求值。如果a确实小于b，cd必须紧接着被求值以计算整个表达式的值。但如果a大于或等于b，则cd根本不会被求值。 ??? C中只有四个运算符、||、?:和,指定了求值顺序。和||最先对左边的操作数进行求值，而右边的操作数只有在需要的时候才进行求值。而?:运算符中的三个操作数：a、b和c，最先对a进行求值，之后仅对b或c中的一个进行求值，这取决于a的值。,运算符首先对左边的操作数进行求值，然后抛弃它的值，对右边的操作数进行求值。 C中所有其它的运算符对操作数的求值顺序都是未定义的。事实上，赋值运算符不对求值顺序做出任何保证。 移位运算符 C语言中，在向右移位时如果被移位的对象是无符号数，那么空出的位将被0填充。如果被移位的对象是有符号数，那么C语言实现既可以用0填充空出的位，也可以由符号位的副本来填充空出的位。 移位计数也有一定的范围限制。如果被移位的对象长度是n位，那么移位计数必须大于或等于0，而严格小于n。因此，不可能做到在单次操作中将某个数值中的所有位都移出。 还要注意的是，即使C语言实现将符号位复制到空出的位中，有符号整数的向右移位运算也不等同于除以2的某次幂。 可移植性缺陷 C被很多人实现并运行在很多机器上。这也正是在一个地方写的C程序应该能够很容易地转移到另一个编程环境中去的原因。 然而，由于有很多的实现者，它们并不和其他人交流。此外，不同的系统有不同的需求，因此一台机器上的C实现和另一台上的多少会有些不同。 由于很多早期的C实现都关系到UNIX操作系统，因此这些函数的性质都是专于该系统的。当一些人开始在其他系统中实现C时，他们尝试使库的行为类似于UNIX系统中的行为。 但他们并不总是能够成功。更有甚者，很多人从UNIX系统的不同版本入手，一些库函数的本质不可避免地发生分歧。今天，一个C程序员如果想写出对于不同环境中的用户都有用的程序就必须知道很多这些细微的差别。 为了减少程序的错误，我们可以采取以下一些建议： 不要说服自己相信潜在的错误。有些错误极具伪装性和欺骗性。 直截了当的表明意图，这样做不仅有利于自己日后读程序，也方便其他人理解程序的用意和维护代码。 考察最简单的特例。这一原则适用于构思程序的工作方式，测试程序的工作情况和程序设计 使用