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

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

　　一个实现字符串读入和排序的C程序，在VC中编译、运行可产生正确结果，但在TC中编译、运行却产生错误结果（原帖地址），这是什么原因？
　　该程序中有如下语句：
#define N 5
char cs
[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);