合并数组时标记元素越界导致错误

前两天老是布置了一个练习题，题目如下：

a，b数组都是从小到大排序的，将a数组和b数组中的数，写到c中，c也是从小到大排序的并且要求如果两个数字相同的话，只保留两个相同数字中的一个。

当时，写出的代码如下：

#include <stdio.h>

int main(void)
{
int a[] = {1,2,4,7,8,9,10,12,16,18};
int b[] = {1,2,6,7,8,9,10,17,19,29};
int c[20] = {0};
int ACount = 0;                //a数组中的位置
int BCount = 0;                //b数组中的位置
int CCount = 0;

for(int k = 0; k < 20; k++)
{
if(a[ACount] < b[BCount])
{
c[CCount++] = a[ACount++];
continue;
}
else if(a[ACount] == b[BCount])
{
c[CCount++] = a[ACount++];
BCount++;
continue;
}
else
{
c[CCount++] = b[BCount++];
continue;
}
}
for(int i = 0; i < 20; i++)
printf("%d ",c[i]);
printf("\n");
return 0;
}

运行结果如下：



在排序中出现了垃圾值，回头看代码，发现了问题，在上面的程序代码中没有对ACount和BCount进行边界检查，导致了先比较完的数组（这里是A数组）的count指向了一个越界元素上（在这里就是-858993460），由于该值是一个极小值，比B数组的值都要小，所以执行这句：

if(a[ACount] < b[BCount])
{
c[CCount++] = a[ACount++];
continue;
}

将-858993460赋值到了c[12]的位置上，完成这个动作后，ACount++，ACount根据运行结果来看是指向了一个大值，所以运行该句：

else
{
c[CCount++] = b[BCount++];
continue;
}

将19,29分别赋值给了c数组，随后BCount也越出了数组容量，到了数组后一个位置，其数据也为-858993460，与ACount指的大值相比，还是小，所以运行上面的else语句，将-858993460赋值到c数组中，BCount++，而遇到的下一个元素依然是-858993460，又运行else将其赋值到了c数组中。

随后BCount++，根据运行结果来看，这下BCount指向到了a数组中的元素，而ACount的指向依然是一个较大数，所以依然执行else语句，直到k = 20 循环结束.

后经论坛大大的帮助，修改了程序，代码如下：

#include <stdio.h>

int main(void)
{
int a[] = {1,2,4,7,8,9,10,12,16,18};
int b[] = {1,2,6,7,8,9,10,17,19,29};
int c[sizeof(a)/sizeof(a[0]) + sizeof(b)/sizeof(b[0])];
int ACount = 0;				//a数组中的位置
int BCount = 0;				//b数组中的位置
int CCount = 0;

while(ACount < sizeof(a)/sizeof(a[0]) && BCount < sizeof(b)/sizeof(b[0]))
{
if(a[ACount] < b[BCount])
c[CCount++] = a[ACount++];
else if(a[ACount] == b[BCount])
{
c[CCount++] = a[ACount++];
BCount++;
}
else if(a[ACount] > b[BCount])
c[CCount++] = b[BCount++];
}
while (ACount != sizeof(a) / sizeof(a[0]))
c[CCount++] = a[ACount++];
while (BCount != sizeof(b) / sizeof(b[0]))
c[CCount++] = b[BCount++];
for(int i = 0; i < CCount; i++)
printf("%d ",c[i]);
printf("\n");
return 0;
}

运行结果如下：



结果正常。

得到的推论：

-858993460可能是一个极为特殊的值，可能代表着数组的界限（上界和下界）。