C语言数组初始化问题

最近在复习C语言，然后做题时突然想到了数组的初始化问题，然后查阅资料了解到结论：

全局和静态数组都按语言规范要求被初始化为0
对于局部数组，初始化元素个数少于数组元素个数时，数组前面的元素值对应初始化值，后面未被初始化的元素自动初始化为0；
但当局部数组定义时，没有用列表对其初始化，那么数组元素的值是不可预料的，在编程的时候要注意这个问题。

下面贴出测试代码：

#include <stdio.h>

int array1[4]={1,2};
int array2[4];
static int array3[4]={1,2};
static int array4[4];

int main() {
    int ary1[4]={1,2};
    int ary2[4];
    static int ary3[4]={1,2};
    static int ary4[4];
    int i;

    for(i = 0;i < 4;i++)
        printf("%d ",array1[i]);
    printf("\n");

    for(i = 0;i < 4;i++)
        printf("%d ",array2[i]);
    printf("\n");

    for(i = 0;i < 4;i++)
        printf("%d ",array3[i]);
    printf("\n");

    for(i = 0;i < 4;i++)
        printf("%d ",array4[i]);
    printf("\n");

    for(i = 0;i < 4;i++)
        printf("%d ",ary1[i]);
    printf("\n");

    for(i = 0;i < 4;i++)
        printf("%d ",ary2[i]);
    printf("\n");

    for(i = 0;i < 4;i++)
        printf("%d ",ary3[i]);
    printf("\n");

    for(i = 0;i < 4;i++)
        printf("%d ",ary4[i]);

    return 0;
}

程序运行结果如下：

上述运行结果符合结论。