C语言的数组初始化

    这是非常基础的东西,但基础的重要性不言而喻,我敢肯定这个知识点我肯定以前了解过,但如今,我不敢确定,由此可见纪录的重要性,这世界没有什么捷径,找对方向,然后不停反复.所以从今天開始,我会比較具体的纪录这些比較小的知识点,事实上还是有不少有意思的地方的.

    写这篇文章的起因在于<<COM技术内幕>>第七章新东西太多,看的我目不暇接,所以在网上找了些样例看,当中就有一个样例中出现了这种语句: 

...
wchar_t wname[128]=...{0};
char cname[256]=...{0};
...

我感兴趣的是:
1.这样的赋值的结果.
2.这样的形式是否符合标准编码规则?

我找到了例如以下资料,可能有助于对这个知识点的掌握.

/**//*
初始化值的个数可少于数组元素个数.当初始化值的个数少于数组元素个数时,前面的按序初始化对应值, 后面的初始化为0(全局或静态数组)或为不确定值(局部数组).
*/

我相信上面的资料是C和C++语言的标准规范,但实际编译器处理时,可能会和规范有所不同.由于编译器原则上要遵从语言规范,但对于局部数组的不确定值究竟是多少,怎么处理,编译器就能够灵活处理.我測试了三种编译器,事实上编译器赋予的值是固定的,都是0.

在这篇blog中 http://hi.baidu.com/widebright/blog/item/a024bc09631402256b60fbd0.html 谈论了同样的话题,现对其摘录例如以下: 

/**//*
一直以为 int a[256]={0};是把a的全部元素初始化为0，int a[256]={1};是把a全部的元素初始化为1.
调试的时查看内存发现不是那么一回事，翻了一下《The C++ Programming Language》总算有定论。PDF的居然不然复制，就把它这章翻译了，例如以下

5.2.1   数组初始化 
数组能够用一个列值来初始化，比如
         int v1[] ={1,2,3,4};
         char v2[]={'a','b','c',0};
当数组定义时没有指定大小，当初始化採用列表初始化了，那么数组的大小由初始化时列表元素个数决定。所以v1和v2分别为 int[4] 和char[4]类型。假设明白指定了数组大小，当在初始化时指定的元素个数超过这个大小就会产生错误。比如：
         char   v3[2] ={'a','b',0};   //错误：太多的初始化值了
         char   v3[3] ={'a','b',0};   //正确

假设初始化时指定的的元素个数比数组大小少，剩下的元素都回被初始化为   0。比如
         int   v5[8]={1,2,3,4};
等价于
          int   v5[8]={1,2,3,4,0,0,0,0};

注意没有例如以下形式的数组赋值：
         void f()
         {
             v4={'c','d',0};   //错误：不是数组赋值
         }
假设你想这种复制的话，请使用 vector(16章第三节) 或者 valarray（22章第四节）。
        字符数组能够方便地採用字符串直接初始化（參考第五章 2.2小节）
         译注： 就是 这样啦   char   alpha []="abcdefghijklmn";

*/

以下来看一个样例:

#include <iostream.h>

int array1[5]=...{1,2,3};
static int array2[5]=...{1};


void main()
...{
    int arr1[5]=...{2};
    static int arr2[5]=...{1,2};
    
    int n;
    cout <<"global: ";
    for(n=0; n<5; n++)
        cout <<" " <<array1[n];
    
    cout <<" global static: ";
    for(n=0; n<5; n++)
        cout <<" " <<array2[n];
    
    cout <<" local: ";
    for(n=0; n<5; n++)
        cout <<" " <<arr1[n];
    
    cout <<" local static: ";
    for(n=0; n<5; n++)
        cout <<" " <<arr2[n];
    cout <<endl;
}

在这个样例中,全局和静态数组都按语言规范要求被初始化为0,可是局部数组并没有向前面所说的为不确定值,以下是用gcc,VC6.0,tuborC++分别编译的结果(注意gcc用g++编译c++文件,gcc不会链接库的):

/**//*
GCC 可同一时候用来编译 C 程序和 C++ 程序。一般来说，C 编译器通过源文件的后缀名来推断是 C 程序还是 C++ 程序。在 Linux 中，C 源文件的后缀名为 .c，而 C++ 源文件的后缀名为 .C 或 .cpp。
    可是，gcc 命令仅仅能编译 C++ 源文件，而不能自己主动和 C++ 程序使用的库连接。因此，通常使用 g++ 命令来完毕 C++ 程序的编译和连接，该程序会自己主动调用 gcc 实现编译。
*/

GCC:

---

VC6.0:

---

TurboC++

---

    这说明了对局部数组没有初始化的元素的值,这几种编译器都将其设置为0.可是,假设假设不正确数组进行初始化,即在定义的同一时候没实用列表初始化,那么局部数组的值就取决于编译器而对程序猿来说就是不可预料的了.有时间能够測试一下各个编译器,只是在vc中是0xcc.所以对局部数组的初始化要特别小心.可是全局的数组和静态数组还是会被正确的赋于0值的.

    最后要重申下对变量初始化的重要性, http://blog.vckbase.com/smileonce/archive/2005/06/18/6777.html  这里列举了没有初始化造成的事故.

    此外,这个blog地址值得收藏,在http://blog.vckbase.com/ 排行榜的blog都值得细致看.

    在VC的安装盘的/VC98/CRT下能够看到vc自带的C/C++库的源码.