C数组实例化-堆栈还是堆分配？

Question

我保证这个问题以前被问过，但是我没有能够通过搜索找到它；对于任何冗余，请提前道歉。

我的理解（可能是错误的）是，只有在编译时知道对象的大小时，才能分配给堆栈。因此，在初始化数组的情况下，可以执行以下操作之一（这应该放在堆栈上）：

char charArray[50];

由于这个数组的大小在编译时是已知的，所以这应该没有问题。

另一方面，这（我相信）也是有效的代码：

char anotherCharArray[someVariable + 50];

这也会被放在堆栈上吗？我很确定如果你释放（）这个，代码会出错，所以我认为它会出错，但对我来说没有意义。类似地，当数据通过malloc分配时，是否只有在100%的情况下才必须使用free（）？

提前感谢您的帮助。

Answer 1

同样，当通过malloc分配数据时，是否只有100%的情况必须使用free（）？

对（除了calloc和realloc之外，它们的返回值也是free（）'d。类似地，也有使用malloc（）的函数，并且这一事实是有文档记录的，例如strdup（）-显然，这些函数的返回值也是使用free（）来释放的。）

char anotherCharArray[someVariable + 50];

这也会在堆栈上吗？

是的，确实如此（在大多数实现中——当然，您的假设并不总是正确的，但在大多数平台上，确实如此）。是的，这是有效的代码，但它是C99中唯一的标准代码。

Answer 2

如果<代码>字符字符[50] 是在文件范围（所有函数之外）定义的，或者是静态的，它不在堆栈上，而是在程序的开始变量处预先分配的全局变量。如果它不是静态的，并且是在函数范围内定义的，那么它将在堆栈上。

另一个字符[某个变量50] 只能在函数范围内定义，并且将位于堆栈上。

以上所有内容都适用于C语言的典型实现。非典型的实现可能使用堆而不是堆栈，也可能使用堆而不是程序数据部分中预先分配的空间。

您不需要使用malloc（）、calloc（）或realloc（）分配未分配的内容。易于理解的某些函数可能暗示使用上述函数之一，例如POSIXstrdup（）。