诊断错误及其处理.docx

一、诊断错误及其处理
防止程序出错的第一关是编译器。假如遇到约束违规的情况或语法错误,编译器至少会生成一个诊断错误信息。大多数编译器将其诊断信息分为两类:错误和警告。语法错误特别常见,也较易修正。调试程序时首先要改正的是语法错误,调试本身一、诊断错误及其处理
防止程序出错的第一关是编译器。假如遇到约束违规的情况或语法错误,编译器至少会生成一个诊断错误信息。大多数编译器将其诊断信息分为两类:错误和警告。语法错误特别常见,也较易修正。调试程序时首先要改正的是语法错误,调试本身是一种艺术,是程序中断时试着去修复的一种艺术。
糟糕的语法会使编译器混乱,甚至可能到达生成特别多错误的程度,程序设计者对这种情况不要大惊小怪,应平复对待,事实上特别可能仅仅是由于某一个语句引起的,比方说漏掉了while循环中的一个大括号或语句末尾键入了冒号而非分号等。为此我们应该养成一种适应,自顶向下的修正方法,每次从错误表的开头开场,一次修正一、二个错误再编译,或许错误就能减少许多甚至全部语法错误。
模块化程序设计也有助于程序的排错。调试一个充满连接和转机、全局变量等的程序要比调试一个精心设计的模块化程序困难得多。假如程序分成几个模块,各个模块负责程序的一个专项功能,一旦识别出咨询题可能所处的模块,就特别容易地通过检查源代码方式来发觉错误,这种策略也称为分治法,由于假如明白了没有咨询题之处,几乎等同于明白了咨询题发生的地点。
有时我们也能够忽略警告,但这并非是一种良好的编程适应,追踪每个警告的缘故并认真考虑是否有更稳健的方法编写代码能够协助编程者编写更好的代码。假如我们只是忽略它,当这些“无害”的警告不断累积到一定程度时,可能面临出现混乱的危险。
二、差1错误及其处理
在C语言中,一个拥有n个元素的数组,不存在下标为n的元素,其元素下标的同意取值范围为0到n-1。请调查以下一段代码:
inta[10],i; for(i=1;i<=10;i++) a[i]=0;
这段代码本意是要设置数组a中的10个元素均为0,却产生了一个出人预料的“副作用”。循环把并不存在的a[10]元素设置为0。假如用来编译这段程序的编译器按照内存地址递减的方式来给变量分配内存,则内存中数组a之后的2个字节实际上分配给了整型变量i。如今,本来循环计数器i的值为10,循环体内将并不存在的a[10]设置为0,实际上却是将计数器i的值设置为0,这就堕入了死循环。
这是程序设计中较常见也较难觉察的一类错误,被称为“差一错误”(off-by-oneerror)。“差一错误”也称“栏杆错误”,咨询题说的是:100英尺长的围栏每隔10英尺需要一根支撑用的栏杆,一共需要多少根呢?假如不假思索,将100除以10得到10,所以这个答案是错误的,正确的答案应该是11。是否存在一些编程技巧,能够降低这类错误发生的可能性呢?“不对称边界”法给程序设计带来的便利特别明显。在“不对称边界”法中,能够规定数组元素的第一个“入界点”(对C语言而言,0确实是数组下标的第一个“入界点”)和第一个“出界点”(对上述定义的数组而言,第一个出界点确实是10,它不在数组下标范围之内)。在这种方法下,“出界点”的值即是数组的长度。
三、“悬挂”else错误及其处理
这个咨询题并非C语言所独有,也已经为人熟知,但即便是有经历的C程序员,也常常在此失误。假如想实现当x分别是大于0、等于0和小于0时y值分别获得1、0和-1。考虑下面的程序片段:
y=0;
if(x>=0)
if(x>0)y=1;
elsey=-1;
然而,这段代码实际上所做的与编程者的愿望相去甚远。缘故在于C语言中有如此的规则,else总是与同一对括号内最近的未匹配的if结合。假如我们按照上面这段程序实际上被执行的逻辑来调整代码缩进,大致是如此:
y=0;
if(x>=0)
if(x>0)y=1;
elsey=-1;
也确实是说,并非是当x<0时y=-1,而是当x=0时也使y=-1。
处理这一咨询题我们能够用“封装”的方法,将上述程序改为:
y=0;
if(x>=0)
{if(x>0)y=1;}
elsey=-1;
如今,else与第一个if结合,即便它离第二个if更近也是如此,由于如今第二个if已经被括号“封闭”起来了。
四、整数溢出及其处理
C语言为编程者提供了三种不同长度的整数:shortint、int和longint,但不管是哪品种型表示的整数总有一定的范围,越出该范围时称为整数的溢出。例如现有算法要求如下:求满足条件1+2+3+…+n≤32767的最大整数n,请调查如下程序段:
intn=1,sum=0;
while(sum<=32767){sum+=n;n++;}
printf(“n=%d\n