当没有足够的内存时,如何防止可变长度的数组崩溃？

在支持可变长度数组之前,我将动态分配它们：

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被限制在一个合理的值,这样你就可以很高兴地把这个最大大小的数组声明为一个普通的,不可变的类型的数组.

(是的,这意味着可变修改的类型数组并不像首次出现的那样有用,因为只需要声明数组的最大值就可以获得非常小的数值).