C语言 数组初始化的三种常用方法（{0}, memset, for循环赋值）以及原理

C语言中，数组初始化的方式主要有三种：

1、声明时，使用 {0} 初始化；

2、使用memset；

3、用for循环赋值。

那么，这三种方法的原理以及效率如何呢？ 请看下面的测试代码：

1. #define ARRAY_SIZE_MAX  (1*1024*1024)
2. void function1()
3. {
4. char array[ARRAY_SIZE_MAX] = {0};  //声明时使用{0}初始化为全0
5. }
6. void function2()
7. {
8. char array[ARRAY_SIZE_MAX];
9. memset(array, 0, ARRAY_SIZE_MAX);  //使用memset方法
10. }
11. void function3()
12. {
13. int i = 0;
14. char array[ARRAY_SIZE_MAX];
15. for (i = 0; i < ARRAY_SIZE_MAX; i++)  //for循环赋值
16. {
17. array[i] = 0;
18. }
19. }

效率：

分别执行上面三种方法，统计下平均时间可以得出：  for循环浪费的时间最多，{0} 与memset 耗时差不多。

原理：

1、for循环，就是循环赋值，不解释了

2、memset，很容易找到memset内部实现代码，这里也不解释了

3、{0} 内部是怎么实现的呢？

将上述代码编译成汇编格式如下：

function1如下：

1. pushl   %ebp
2. movl    %esp, %ebp
3. subl    $1048600, %esp
4. leal    -1048584(%ebp), %eax
5. movl    $1048576, %edx
6. movl    %edx, 8(%esp)
7. movl    $0, 4(%esp)
8. movl    %eax, (%esp)
9. call    memset
10. leave
11. ret

function2如下：

1. pushl   %ebp
2. movl    %esp, %ebp
3. subl    $1048600, %esp
4. movl    $1048576, 8(%esp)
5. movl    $0, 4(%esp)
6. leal    -1048584(%ebp), %eax
7. movl    %eax, (%esp)
8. call    memset
9. leave
10. ret

通过汇编代码可以看出，{0}初始化方式，调用了memset函数！

对三种方法的选取：

1、for 最浪费时间，不建议（其实memset内部也是用循环实现的，只不过memset经过了严格优化，所以性能更高）；

2、{0} 可能有移植性问题，虽然绝大多数编译器看到{0} 都是将数组全部初始化为0， 但是不保证所有编译器都是这样实现的；

3、综合1、2， 推荐使用memset方法。

附录：对于{0}初始化的测试

这是很基础的东西,但基础的重要性不言而喻,我敢肯定这个知识点我肯定曾经了解过,但现在,我不敢确定,由此可见纪录的重要性,这世界没有什么捷径,找对方向,然后不停重复.所以从今天开始,我会比较详细的纪录这些比较小的知识点,其实还是有不少有意思的地方的.

写这篇文章的起因在于<<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都值得仔细看.