Question

请教一道C语言的题目

以下程序的输出结果是_______。
#include <stdio.h>
main()
{
int n[2]={0},i,j,k=2;
for(i=0;i<k;i++)
for(j=0;j<k;j++)
n[j]=n[i]+1;
printf("%d\n",n[k]);
}
A.不确定的值 B.3 C.2 D.1

书上给的答案是A，但是没有解析，想请问高手为什么答案是不确定的值呢？

Answer 1

首先要说明的是程序中对数组的操作并没有越界，i=0;i<k;i++ 可以看成是从n[0]到n[1]，注意，这里是i<k,k=2，所以i<2，i不可能等于2，等于2循环就退出了，同理j也是如此，所以没有越界。但是显示语句中企图想要显示n[k]，题中可知k=2，而一个定义为两个元素的数组只可能有n[0],n[1]注意定义和使用是两个概念，我们定义的时候int n[2]只能说明定义了一个名称为n的数组，并且该数组有两个元素。使用的时候下标是从0开始的，所以n[k]是n[2]越过了n[1]这个边界，由于C语言编译器没有边界检查，所以即使越过了数组边界程序照样执行，只是显示了一块内容不明的内存而已。

Answer 2

因为n[1]也就是n数组中的第二个元素没有赋初值，这样n[1]的就是原来内存中的值，所以不确定

追问

对一维数组初始化时，当所赋初值个数少于所定义数组的元素个数时，将自动给后面的其他元素补以初值0。
按照这样的话，n[1]的初值应该为0咯

追答

额，没看仔细，你是打印出n[2],数组越界了，打印出的应该是堆栈的与原数组相邻的位置的值，也就是本来堆栈中分配给n数组2个int大小字节，现在越界了，打印出的是邻近的int大小字节的值，而且堆栈是从高地址向低地址分配的，应该是低地址上的值

Answer 3

我靠……我开始看迷糊了……声明n[2]的含义就是n这个数组有2个变量，分别是n[0]，n[1]。所以n[2]这个数是多余的……谁知道是多少呢……如果你把int n[2]改为int n[3]， 就可以好好想想了。啊应该是0.数组默认是0嘛

Answer 4

printf("%d\n",n[k]);这里的
n[2]按照数组来计算应该是第三个元素，所以我认为应该是数组越界了。。。

Answer 5

输出为n[k] k的值 是 2 C语言中n[2] 其实是第三个数 但是 定义的 只有两个数 三个数 就造成了 数组 溢出了 所以 最后答案 不确定