如何解决C程序中不同if分支引用未初始化二维动态数组的问题？

核心问题：变量遮蔽（Variable Shadowing） #

你在main函数的zerosfun分支的switch语句中，重新定义了局部的int** arr1和int** arr2，这会遮蔽main函数开头声明的同名指针变量：

• case 0里创建的arr1是局部变量，仅在该代码块内有效，不会赋值给main开头声明的arr1
• 当你在shiftfun、setfun分支引用arr1/arr2时，实际访问的是main开头声明但从未初始化的指针，因此编译器提示“未初始化”

修复步骤 #

1. 移除局部变量的重复定义 #

在zerosfun分支的case代码块中，删除局部的arr1/arr2声明，直接使用main级别的指针：

case 0: {
    // 移除局部arr1的malloc声明，zeros函数已完成内存分配
    arr1 = zeros(row, col); // 直接赋值给main级别的arr1
    strcpy_s(array1name, funname);
    row1 = row;
    col1 = col;
    storedfun++;
    funprint(arr1, row1, col1);
    break;
}
case 1: {
    // 移除局部arr2的malloc声明
    arr2 = zeros(row, col); // 直接赋值给main级别的arr2
    strcpy_s(array2name, funname);
    row2 = row;
    col2 = col;
    storedfun++;
    break;
}

注意：zeros函数内部已完成动态数组的内存分配，外部重复malloc会导致内存泄漏（原地址被覆盖无法释放）

2. 修复shiftfun、setfun分支的错误 #

这两个分支中同样错误地重新定义了局部arr1/arr2，需删除这些冗余声明，直接使用main级别的指针：

shiftfun分支修复：

if(strcmp(array1name, funname) == 0) {
    row = strconv(temprow);
    // 移除局部temparr的malloc和拷贝逻辑，完全不需要
    shift(arr1, row, row1, col1);
} else if(strcmp(array2name, funname) == 0) {
    row = strconv(temprow);
    // 移除局部arr2的malloc声明
    shift(arr2, row, row2, col2);
}

setfun分支修复：

if(strcmp(array1name, funname) == 0) {
    // 移除局部arr1的malloc声明
    set(arr1, row1, col1);
} else if(strcmp(array2name, funname) == 0) {
    // 移除局部arr2的malloc声明
    set(arr2, row2, col2);
}

3. 修复内存分配类型错误 #

zeros函数中，每行数组的malloc类型错误，应该分配int的大小而非int*：

for(i = 0; i < row; i++) {
    tempnamearr[i] = (int*)malloc(col * sizeof(int)); // 替换sizeof(int*)为sizeof(int)
}

修复后逻辑说明 #

• main开头声明的arr1/arr2在zerosfun分支中被赋值为有效数组地址
• 后续所有分支直接引用这些指针，即可访问到已初始化的数组，解决未初始化问题
• 同时避免了内存泄漏、变量遮蔽和类型不匹配的问题

内容的提问来源于stack exchange，提问作者Code Bom