C语言中未使用的变长二维数组声明对程序运行的影响及作用探究

这个问题其实是未定义行为+栈布局变化搞出来的“玄学”问题，我来给你拆解清楚：

首先看你的代码逻辑：正常输入合法的正整数给rows和columns时，不管有没有那个二维数组，程序都应该正常打印完就结束——但你遇到的问题，大概率是测试时输入了非法值（比如字符串、负数），或者编译器的栈布局优化触发了奇怪的情况。

保留二维数组时的情况 #

你声明的int a[rows][columns];是一个变长数组（VLA），它的大小是在运行时根据rows和columns的值确定的：

• 如果输入的是合法正整数：数组会在栈上分配一块对应大小的空间，虽然你没用到它，但它只是占了点栈内存，不影响其他逻辑，程序正常打印后退出。
• 如果输入的是非法值（比如输入了字母）：scanf会读取失败，rows和columns会保留未初始化的随机垃圾值。这时候变长数组会尝试分配一个大小随机的栈空间——大概率是超大的空间，直接触发栈溢出，程序瞬间崩溃，你根本看不到无限循环的情况。

移除二维数组后的情况 #

这时候栈上少了一大块数组的占用空间，编译器会重新调整局部变量的布局，问题就来了：

• 如果你输入了非法值：scanf失败，rows是随机垃圾值。如果这个值是一个极大的正整数，while(i<=rows)的条件会永远成立（i每次加1，这辈子都追不上那个大数值），直接进入无限循环。同时，因为scanf读取失败，程序没等你输入完就跳过输入步骤进入循环，你就会觉得“程序不接收输入”。
• 极端情况下，编译器的优化可能让k的内存位置和rows重叠：k不断递增，数值溢出后覆盖了rows的值，让rows变得越来越大，循环永远停不下来——这也是C语言里典型的未定义行为，完全看编译器的心情。

怎么解决这个问题？ #

要彻底避免这种玄学问题，你需要：

• 永远检查scanf的返回值，确认输入是否成功：比如if(scanf("%d", &rows) !=1)，如果失败就提示用户重新输入或者直接退出。
• 不要依赖未初始化的变量，确保rows和columns在使用前是合法的正整数。
• 如果不想用变长数组，可以换成动态分配（malloc），或者干脆不用数组——反正你本来也没用到它。

比如修改后的代码可以这样：

#include<stdio.h>
int main(){
    int rows;
    int columns;
    int k=1;
    
    printf("enter the number of rows: \n");
    // 检查输入是否成功，确保是正整数
    while(scanf("%d", &rows) !=1 || rows <=0){
        printf("请输入合法的正整数：\n");
        // 清空输入缓冲区的垃圾内容
        while(getchar() != '\n');
    }
    
    printf("\nEnter the number of columns: \n");
    while(scanf("%d", &columns) !=1 || columns <=0){
        printf("请输入合法的正整数：\n");
        while(getchar() != '\n');
    }
    
    int i= 1;
    while(i<=rows){
        int j=1;
        while(j<=columns){
            printf("%d\t",k);
            k++;
            j++;
        }
        i++;
        printf("\n");
    }
    return 0;
}

这样不管有没有那个二维数组，程序都会稳定运行，不会出现无限循环或者不接收输入的情况。

内容的提问来源于stack exchange，提问作者pranay nallapaneni