请教c99变长数组如何分配内存？

basaka

请教一下c99的变长数组如何申请内存，变长数组作为局部变量应该还是存在stack里面的是吧？ 那当那个变量确定以后他是怎么变的呢？把栈里边他之后的数都往上移动，再扩充？那不是超级慢的？

谢谢。

mik

不过是一个 esp 减 XX 值的计算，和一般的局部变量分配过程是一样的。效率上没啥影响。

void foo(int i)
{
        int s;
        ... ...
}

像上面这个变长数组，原理是很简单的

esp - i * sizeof(int)  就等于分配了变长数组空间。


但是，gcc 还要考虑 stack 边界对齐的问题。默认下是 16 bytes 边界对齐


上面的代码 gcc 处理为：

        leaq    30(,%rdi,4), %rdi                        /*    i * sizeof(int)     */
        andq    $-16, %rdi
        subq    %rdi, %rsp
        leaq    15(%rsp), %rax
        andq    $-16, %rax

-----------------------------------------------

        leaq    30(,%rdi,4), %rdi                       
        andq    $-16, %rdi

这两句的结果是：如果 i = 0x02   则调整为 i = 0x08 + 0x0f + 0x0f & 0xF0 = 0x20
与 rsp 相减后

        leaq    15(%rsp), %rax
        andq    $-16, %rax

再调整到下个 16 bytes 边界上。

[ 本帖最后由 mik 于 2009-6-19 00:01 编辑 ]

basaka

还有点不明白。那如果有多个变长数组呢？数组之间不是叠在一起的吗？移定下面的长度时不就要移动上面的数组了么？

kestre1

学习～

prolj

我只能说，在某种IR中，栈空间是显式分配和释放的，具体到实现，如果是多个变长数组，就是模拟realloc。