堆栈上的可变大小数组:揭穿编程神话
在运行时确定大小的数组的概念长期以来一直被认为是编程禁忌,尤其是 C 语言。常识表明,只有常量才能定义自动数组和静态数组的大小。然而,最近的代码片段挑战了这个概念。
考虑以下代码:
int main(int argc, char **argv) { size_t size; cin >> size; int array[size]; ... }
尽管没有动态内存分配运算符(例如 new 或 malloc),但该代码编译和运行时没有错误。这怎么可能?
关键在于 C99 标准,该标准引入了对堆栈上可变大小数组的支持。在这种情况下,编译器动态地在堆栈上分配数组,就像声明为 int array[100] 的常量大小的数组一样。
需要注意的是,这与堆分配有根本的不同使用 malloc 或 new。特别是,GCC 在堆栈上分配数组,并相应地修改堆栈指针。这消除了堆分配的需要,并且类似于 _alloca 函数的行为。
虽然旧版编译器不支持此构造,但它在现代 C 实现中变得越来越普遍。它提供了一种方便有效的方法来在运行时分配已知大小的数组。
以上是C 中可以在堆栈上分配可变大小的数组吗?的详细内容。更多信息请关注PHP中文网其他相关文章!