堆栈上的动态内存分配

Question

我最近尝试过这个实验,其中我没有为未知大小的内存需求进行动态内存分配,而是进行了静态分配.当a[i]我声明一个数组时,我保持i(数组的大小)变量并且依赖于用户给出的输入.

 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
 #include <conio.h>
 void function(int );
 int main(void)
 {
     int i;
     printf("Enter:");
     scanf("%d",&i);
     function(i);
     printf("i = %d\n",i);
     getch();
     return 0;
 }
 void function(int i)
 {
      char a[i];
      char b[4];
      strncpy(a,"hello",i);
      strcpy(b,"world");
      int j = 0;
      char *c = a;
      for( j = 0; j< 20; j++ )
           printf("%c",*c++);
 }

我的问题是:

• 这样的手术合法吗？
• 如果不是,为什么编译器不发出任何警告或错误？
• 这个内存将在哪里分配:堆栈还是堆？
• 为什么ANSI C/GCC允许这样做？

Answer 1

这样的手术合法吗？

它被称为可变长度数组.

VLA在ANSI C99中是合法的,并且是一些C99前编译器的扩展.GCC支持严格的C99和非C99代码的扩展.它在C++ 0x中也是合法的.

如果不是,为什么编译器不发出任何警告或错误？

用gcc:

$ gcc -std=c89 src/vla.c  -Wall -ansi -pedantic
src/vla.c: In function ‘function’:, not dynamic array.
src/vla.c:17: warning: ISO C90 forbids variable length array ‘a’
src/vla.c:21: warning: ISO C90 forbids mixed declarations and code

MSDOS中存在'conio.h'表示您可能正在使用Microsoft Visual C++编译器,因此不必担心.MS一直致力于使他们的编译器更符合C++ 0x标准,但没有声明它的C编译器模式是如何标准的.你问为什么西班牙方言词不在法语词典中.

这个内存将在哪里分配:堆栈还是堆？

它是一个自动对象,因此出于效率原因,大多数C实现都会放入堆栈中.

为什么ANSI C/GCC允许这样做

它对于在运行时创建可变大小的临时数组很有用,它的生命周期不会延伸到函数调用之外.

Answer 2

这是有效的C99.

请在此处查看另一个StackOverflow问题中的更详细说明.

Answer 3

这是合法的，但并非所有编译器都支持它。至少 Visual Studio <= 2003 afaik 不支持它。

我假设它不是 Ansi C++，请尝试 gcc -ansi -pedantic。