C99中变长数组的内存分配策略

在C99中新加入了对变长数组的支持，也就是说数组的长度可以由变量来定义。

对于下面的代码：

int main()

{

int n;

scanf("%d", &n);

int ar
;

printf("%d\n", sizeof(ar));

return 0;

}

是可以成立的。

这与之前的C标准有很大不同，以前的数组大小只能由常量来指定，也就是编译器在编译时就可以确定为数组分配多少存储空间，一般来说，一个活动记录的大小在进入一个函数的时候就可以确定下来。这个变长数组的特性必定把数组的分配引入了运行时期，附带的，sizeof这个原来的编译期操作也不得不被带入到运行时期。那么，对于动态数组的实现，编译器必定要生成一些代码来对其进行runtime的支持，这必定有损效率。

GCC编译得到代码

.file "d.c"

.section .rodata.str1.1,"aMS",@progbits,1

.LC0:

.string "%d"

.LC1:

.string "%d\n"

.text

.globl main

.type main, @function

main:

pushl %ebp

movl %esp, %ebp

pushl %ebx

subl $36, %esp

andl $-16, %esp

subl $16, %esp

movl %esp, %ebx

leal -8(%ebp), %eax

movl %eax, 4(%esp)

movl $.LC0, (%esp)

call scanf

movl -8(%ebp), %edx

addl %edx, %edx

addl %edx, %edx

leal 30(%edx), %eax

andl $-16, %eax

subl %eax, %esp

movl %edx, 4(%esp)

movl $.LC1, (%esp)

call printf

movl %ebx, %esp

xorl %eax, %eax

movl -4(%ebp), %ebx

leave

ret

.size main, .-main

.ident "GCC: (GNU) 4.0.3 (Ubuntu 4.0.3-1ubuntu5)"

.section .note.GNU-stack,"",@progbits

省略无关代码

movl -8(%ebp), %edx //n的值

addl %edx, %edx

addl %edx, %edx //edx = edx*4 ,int是4字节的,所以数组占用的空间是4*n

leal 30(%edx), %eax

andl $-16, %eax //字节对齐

subl %eax, %esp //分配存储空间,仍然是在栈里面

这里的空间分配是在栈里完成的

而且没有进行系统调用

所以根本没有额外的碎片所需要的费用

多分配空间是为了进行字节对其