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;
}

但是当我尝试实现以下程序时，它可以正常工作直到a <= 9，a> 9的任何值，该程序在数组中占用的元素都不超过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;
}

下面是2D数组的示例，在b值= <2之前，该程序都可以正常工作，因为该程序最终导致分段失败。为什么？

#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

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

您以后不能再更改它们的大小
尺寸表达式的值不能为0，甚至不能为负。

Answer 2

这不符合您的预期：

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的数组并随后尝试使用它引起的。

更改1D和2D可变长度数组的大小

2 个答案: