尽管数组绑定非常量，为什么此 C 代码仍能编译？

C 数组绑定为常量表达式：代码中的异常

在 C 中，数组绑定通常必须是常量表达式，确保数组的大小在编译期间是已知的。然而，在某些情况下，这条规则似乎被违反了。让我们探讨一个具体的示例：

#include <iostream>
using namespace std;

int main() {
    int n = 10;
    int a[n];  // Array a with size n

    for (int i = 0; i < n; i++) {
        a[i] = i + 1;
        cout << a[i] << endl;
    }

    return 0;
}

这段代码在 Mac 上使用 Xcode4 编译时，执行时没有任何错误。尽管数组 a 的大小不是常量表达式，但代码仍然有效。

说明：可变长度数组 (VLA)

原因代码的工作原理是由于 C99 中引入的称为可变长度数组 (VLA) 的功能。 VLA 允许在运行时确定数组的大小，这与必须在编译时知道大小的常规数组不同。

在提供的代码中，n 不是常量表达式，而是变量。不过，由于 Xcode4 中的编译器支持 VLA，因此可以在运行时根据 n 的值为数组 a 分配内存。

堆栈分配与堆分配

需要注意的是，VLA 是在堆栈上分配的，类似于静态数组。这意味着当程序进入和退出声明 VLA 的函数时，会自动分配和释放数组的内存。此行为与在堆上分配的常规数组不同，必须使用指针手动管理。

以上是尽管数组绑定非常量，为什么此 C 代码仍能编译？的详细内容。更多信息请关注PHP中文网其他相关文章！