在支持可变长度数组之前,我将动态分配它们:
int foo(size_t n) { int *arr = malloc(n * sizeof int); if (!arr) return ENOMEM; /* not enough memory */ . . else do stuff with arr[] . free(arr); return 0; }
使用可变长度的数组,我现在可以使它看起来更干净:
int bar(size_t n) { int arr[n]; . . do stuff with arr[] . return 0; }
但现在我没有“内存不足”的检查.事实上,如果n太大,程序会崩溃.
如果n太大,我该如何优雅地从bar(n)保释?
解决方法
情况与任何其他局部变量完全不变 – 这样的声明:
int baz(void) { int arr[100000]; . . do stuff with arr[] . return 0; }
有完全相同的问题. “解决方案”与以前一样 – 不要重复递归,并且不要分配具有自动存储持续时间的非常大的数据结构(在这些情况下继续使用malloc()). “非常大”的价值在很大程度上取决于你的环境.
换句话说,不要声明int array [n];除非你知道n被限制在一个合理的值,这样你就可以很高兴地把这个最大大小的数组声明为一个普通的,不可变的类型的数组.
(是的,这意味着可变修改的类型数组并不像首次出现的那样有用,因为只需要声明数组的最大值就可以获得非常小的数值).