C 编译器如何知道数组的大小？答案

【问题标题】：How does the C compiler know how big to make the array?C 编译器如何知道数组的大小？
【发布时间】：2015-01-15 05:01:17
【问题描述】：

我的程序中有一行代码：

float cache[featureHeight-1];

其中 featureHeight 是一个函数参数。现在，当 C 编译器将其转换为汇编时，它如何知道要分配多少堆栈空间，因为 featureHeight 在编译时是未确定的？还是编译器会在后台将此转换为 malloc 调用？

（顺便说一句，C99，没有编译器错误或警告，代码运行完美）

【问题讨论】：

这是在 C99 中添加的，但在 C11 中是可选的，因此您需要（或应该）在使用之前检查是否定义了宏（我忘记了确切的名称），并使用 malloc 和 free相反，如果它不可用。这将在堆栈上分配内存，直到该特定函数返回。（所以不要做return cache;之类的事情）
@technosaurus 你在关注__STDC_NO_VLA__。
How does GCC implement variable-length arrays? 的可能重复项
一个相关问题stackoverflow.com/questions/714692/alloca-implementation
stackoverflow.com/questions/19131712/…

标签： c c99

【解决方案1】：

通常不是 malloc 调用，但我想这是可能的。它只是在堆栈上保留必要的空间并使用它。此功能称为“可变长度数组”，是在 C99 中引入的。它的语义与普通编译时数组的语义相同，只是它们在运行时被调整大小/分配。

就底层/汇编语言方面而言，只需将featureHeight-1 乘以sizeof(float) 并减少堆栈指针即可。注意堆栈溢出！

【讨论】：

【解决方案2】：

无需提前知道要在堆栈上保留的空间量。

在许多架构上，在堆栈上保留空间只涉及从堆栈指针中减去一个值（任何值 - 不需要是静态的），然后将其用作指向该值的指针。所以有一些运行时计算正在进行，但没有什么像 malloc 那样复杂。这些当然只是实现细节（C 标准可能不讨论堆栈指针），但这就是它的工作原理在实践中。

有些平台甚至有一个非标准函数，例如 alloca，除了通过函数调用外，它的作用相同。

【讨论】：

【解决方案3】：

C99 确实能够获得动态大小的自动（堆栈分配）数组。

因此您的方法的堆栈框架不会固定，而是调整大小以适合您的数组。

【讨论】：