alloca（）在内存级别上是如何工作的？

Question

我试图弄清楚alloca()实际上是如何在内存级别上工作的。在linux手册页中：

我知道实现细节可能留给操作系统之类的东西。但我想知道，总的来说，这是如何实现的。

Answer 1

是的，alloca在功能上等效于局部可变长度数组，即：

int arr[n];

还有这个：

int *arr = alloca(n * sizeof(int));

两者都为堆栈上int类型的n元素分配空间。每种情况下arr之间唯一的区别是：1）一个是实际的数组，另一个是指向数组第一个元素的指针；2）数组的生存期随着其所包含的作用域而结束，而alloca内存的生存期在函数返回时结束。

#include <stdio.h>
#include <alloca.h>

void foo(int n)
{
    int a[n];
    int *b=alloca(n*sizeof(int));
    int c[n];
    printf("&a=%p, b=%p, &c=%p\n", (void *)a, (void *)b, (void *)c);
}

int main()
{
    foo(5);
    return 0;
}

&a=0x7ffc03af4370, b=0x7ffc03af4340, &c=0x7ffc03af4320

BSD3可以追溯到70年代末，因此alloca是VLAs被添加到标准中之前的早期非标准化尝试。

今天，除非您使用的编译器不支持VLAs（如MSVC)，否则实际上没有理由使用这个函数，因为VLAs现在是获得相同功能的标准化方法。