数组下标越界——Ada应用实例之三

数组下标越界­——Ada应用实例之三

 

　　一个实现字符串读入和排序的C程序，在VC中编译、运行可产生正确结果，但在TC中编译、运行却产生错误结果（原帖地址），这是什么原因？

　　该程序中有如下语句：

#define N 5

char cs[N][20];
char * ptstr[N+1];
int i=0,j;
printf("Press [Enter] at a line's start to stop,/nInput %d countries' names:/n",N);
while(gets(cs[i])!=NULL&&cs[i][0]!='/0')
{
   ptstr[i]=cs[i];
   i++;
}

　　当输入5个数据后，为了表示输入结束，还需输入一个回车，这个回车被gets接收后实际存放在cs[5]中（此时i=5)，而cs[5]已经越界。

　　在TC编译的目标码中，按变量声明的次序依次分配内存单元。对于该程序，变量地址的顺序是cs,ptstr,i,j。因此cs[5]的地址也就是ptstr[0]的地址。gets接收回车后在cs[5]中写入0，这就破坏了ptstr[0]的内容。

　　但是在VC编译的目标码中，变量地址顺序与声明的次序相反。虽然cs[5]已经越界，但没有破坏ptstr以及其它变量的内容，所以在本程序中没有产生错误后果。

　　TC和VC都没有对下标越界报错，需要编程者自行分析原因。

　　如果用Ada编程，那么在运行期间将报告如下错误：

　　raised CONSTRAINT_ERROR : <源文件名>:<源程序行号> index check failed

　　Ada有运行时检查数组下标的机制，可以确保程序使用合法的数组下标。虽然检查数组下标会增加运行时间开销，但是各种实验已经表明这个影响是非常小的。

　　如果编程者能保证程序中对数组下标的处理是正确的，那么可以通过以下语句关闭检查：

    pragma Suppress(index_Check);