数组的大小可以在c中运行时确定吗？

Question

据我所知，在c中编译之前，数组需要具有特定的大小。

我想知道为什么这段代码仍然有效？

int s;
printf("enter the array size: ");
scanf("%d",&s);

int a[s]; // Isn't s value determined at run time?

Answer 1

需要使用 ANSI 89 C 了解数组大小。该规范的 99 版本删除了此限制并允许使用可变大小的数组。

这是此功能的 GNU 版本的文档

• http://www.cs.utah.edu/dept/old/texinfo/glibc-manual-0.02/library_toc.html#SEC49

Answer 2

可变长度数组自从C99。
但它们已在 C11 中作为可选功能 - 意味着需要符合 C11 的实现不提供它（尽管实际上所有支持 C99 的实现都肯定在 C11 中提供了 VLA）。

您可以使用宏 检查您的实现是否不提供 VLA __STDC_NO_VLA__（如果它是在 C99 或 C11 编译模式中定义的，则您的实现不支持 VLA）。

因此，在现代 C (>= C99) 中可以在运行时决定数组大小，并且像下面这样的代码就可以了：

int s;
printf("Enter the array size: ");
scanf("%d", &s);
int a[s];

VLA 的一个明显缺点是，如果 s 相当大并且 s 的分配code>a 可能会失败。更糟糕的是，没有办法检查分配是否失败，并且您将遇到运行时错误（例如，段错误）。它本质上是未定义行为。因此，如果数组大小太大，您希望避免使用 VLA。基本上，当有疑问时，请进行动态内存分配（见下文）。

VLA 的另一个问题（与其他问题相比不太严重）是它们具有自动存储持续时间（也称为“堆栈分配”）。因此，如果您想要比声明 VLA 的块作用域持续时间更长的内容，那么 VLA 没有任何帮助。

同样相关的是，C89 中没有 VLA。所以使用动态内存分配是唯一的方法。虽然，有一些非标准扩展，例如 alloca() 与 VLA 类似，并且具有与 VLA 相同的缺点）。

int s;
printf("enter the array size: ");
scanf("%d",&s);
int *a = malloc(s * sizeof *a);
...
free(a);

Answer 3

如果需要分配动态大小的数组，则必须使用 malloc() 从堆中获取它。

int *a = malloc(sizeof(int) * s)

Answer 4

此代码受 C99 语言规范支持。 C89/90 模式下的 GCC 编译器也支持此代码作为扩展。

因此，您的问题的答案（为什么它“有效”）取决于您如何编译它。一般情况下，C89/90 编译器甚至无法编译它。

Answer 5

您在这里混淆了两件事。

1）确定已分配数组的大小（正如您的标题所暗示的）：将总数除以一个（例如第一个）元素的大小：

 sizeof(a)/sizeof(a[0])

2）动态分配内存为你的问题是：

 int *a = (int*)malloc( s * sizeof(int) );

Answer 6

了解编译器如何将内存分配给变量以正确回答您的问题非常重要。内存分配给变量有两种模式，它可以在堆上，也可以在堆栈上。堆上的内存是动态分配的。因此，在堆上分配内存的变量可以在运行时指定其大小。

C 语言中的数组被赋予堆栈上的内存。为了在堆栈上提供内存，编译器在编译时应该知道内存的大小。这样在运行时就可以为堆栈上的变量留出足够的内存。这就是 C 语言无法在运行时决定数组大小的原因。