更改一维和二维可变长度数组的大小

Question

由于包含可变长度数组，在 C99 和下一个版本中，以下程序可以工作。

#include <stdio.h>

int main(void)
{
    int i, numFibs;
    printf ("How many Fibonacci numbers do you want (between 1 and 75)? ");
    scanf ("%i", &numFibs);
    if (numFibs < 1 || numFibs > 75) 
    {
        printf ("Bad number, sorry!\n");
        return 1;
    }
    unsigned long long int   Fibonacci[numFibs];
    Fibonacci[0] = 0;          // by definition
    Fibonacci[1] = 1;          // ditto
    for ( i = 2;  i < numFibs;  ++i )
    {
        Fibonacci[i] = Fibonacci[i-2] + Fibonacci[i-1];
    }
    for ( i = 0;  i < numFibs;  ++i )
    {
        printf ("%llu  ", Fibonacci[i]);
        printf ("\n");
    }
    return 0;
}

但是当我尝试实现以下程序时，它可以正常工作，直到 a9 的任何值，该程序在数组中占用的元素不超过 9 个。

为什么？

#include <stdio.h>

int main()
{
    int a=0;
    int arr[a];
    printf("Enter number of rows: ");
    scanf("%d", &a);
    printf("\nNo of rows to be entered: %d\n", a);
    for(int j=0; j<a; j++)
    {
        printf("Enter array element[%d]: ", j);
        scanf("%d", &arr[j]);
    }
    for(int j=0; j<a; j++)
    {
        printf("Entered array element [%d]: %d", j, arr[j]);
        printf("\n");
    }
    return 0;
}

下面是一个二维数组的示例，它可以正常工作，直到 b

#include <stdio.h>

int main()
{
    int b=0;
    int arr[b][2];
    printf("Enter number of rows: ");
    scanf("%d", &b);
    printf("No of rows to be entered: %d", b);
    for(int i=0; i<b; i++)
    {
        for(int j=0; j<2; j++)
        {
            printf("Enter array element[%d][%d]: ", i, j);
            scanf("%d", &arr[i][j]);
        }
    }
    printf("\n");
    for(int i=0; i<b; i++)
    {
        for(int j=0; j<2; j++)
        {
            printf("Enter array element[%d][%d]: %d", i, j, arr[i][j]);
            printf("\n");
        }
    }
    return 0;
}

在上面的示例中，动态获取行和列是错误的，但是动态获取行是可行的。如果你动态地取列，它也会失败。

有没有其他方法可以在没有 malloc() 的情况下解决这些问题？

机器上运行的GCC版本：-

C:\Users\gahlot>gcc -v 使用内置规范。 COLLECT_GCC=gcc COLLECT_LTO_WRAPPER=c:/mingw/bin/../libexec/gcc/mingw32/6.3.0/lto-wrapper.exe 目标：mingw32 配置：../src/gcc-6.3.0/configure --build=x86_64-pc-linux-gnu --host=mingw32 --target=mingw32 --with-gmp=/mingw --with-mpfr --with-mpc=/mingw --with-isl=/mingw --prefix=/mingw --disable-win32-registry --with-arch=i586 --with-tune=generic --enable-languages=c,c++,objc,obj-c++,fortran,ada --with- pkgversion='MinGW.org GCC-6.3.0-1' --enable-static --enable-shared --enable-threads --with-dwarf2 --disable-sjlj-exceptions --enable-version-specific-runtime -libs --with-libiconv-prefix=/mingw --with-libintl-prefix=/mingw --enable-libstdcxx-debug --enable-libgomp --disable-libvtv --enable-nls 线程模型：win32 gcc版本6.3.0 (MinGW.org GCC-6.3.0-1)

Answer 1

这并不像你认为的那样：

int a=0;
int arr[a];
printf("Enter number of rows: ");
scanf("%d", &a);

一旦以给定大小定义数组，即使该大小不是常量表达式，数组的大小也是固定的。大小不与a 的当前值绑定。创建大小为 0 的数组也是无效的。

这在 C 标准的第 6.7.6.2p5 节中有详细说明：

如果大小是一个不是整数的表达式 常量表达式：如果它出现在函数的声明中 原型范围，它被视为被替换为 * ;否则，每次对其进行评估时，它的值都应大于零。可变长度数组的每个实例的大小 类型在其生命周期内不会改变。

在这种情况下，数组的大小由单个变量指定，但是大小可以由任何表达式确定。例如：

int f()
{
    int a, b, c;
    scanf("%d", &a);
    b=3;
    c=9;
    return sqrt(a) * (b - c) + sin(b);
}

...

int arr[f()];

如果您这样定义arr，即使您可以更改大小，您希望如何实现？

至于为什么您的第二和第三段代码有时有效而有时无效，这意味着您正在调用undefined behavior。在这两种情况下，这都是由于创建了一个至少一维为 0 的数组并随后尝试使用它造成的。

Answer 2

VLA 的大小在遇到声明时确定。

• 之后您无法更改它们的大小
• 大小表达式不能有值0，甚至不能为负数。