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

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

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

2、使用memset；

3、用for循环赋值。

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

[cpp] view plain copy

#define ARRAY_SIZE_MAX (1*1024*1024)

void function1()

{

char array[ARRAY_SIZE_MAX] = {0}; //声明时使用{0}初始化为全0

}

void function2()

{

char array[ARRAY_SIZE_MAX];

memset(array, 0, ARRAY_SIZE_MAX); //使用memset方法

}

void function3()

{

int i = 0;

char array[ARRAY_SIZE_MAX];

for (i = 0; i < ARRAY_SIZE_MAX; i++) //for循环赋值

{

array[i] = 0;

}

}

效率：

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

原理：

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

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

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

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

function1如下：

[cpp] view plain copy

pushl %ebp

movl %esp, %ebp

subl $1048600, %esp

leal -1048584(%ebp), %eax

movl $1048576, %edx

movl %edx, 8(%esp)

movl $0, 4(%esp)

movl %eax, (%esp)

call memset

leave

ret

function2如下：

[cpp] view plain copy

pushl %ebp

movl %esp, %ebp

subl $1048600, %esp

movl $1048576, 8(%esp)

movl $0, 4(%esp)

leal -1048584(%ebp), %eax

movl %eax, (%esp)

call memset

leave

ret

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

对三种方法的选取：

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

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

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

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

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

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

...
...

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

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

#include <iostream.h>

void main()

在这个例子中,全局和静态数组都按语言规范要求被初始化为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都值得仔细看.