C语言二维数组找最值：为何else if有效单独if失效？

核心错误 #

版本2无法正确获取最小值的根源不是else if与独立if的逻辑差异，而是语法错误导致第二个if不在内层循环内，进而访问了数组越界的内存，覆盖了正确的最小值。

代码语法细节对比 #

版本1（正确结构） #

内层for循环通过else if将两个判断逻辑整合为一个代码块，属于内层循环的循环体，因此每个数组元素都会执行一次完整的最值判断：

for (col=0;col<SIZE;col++)
    if (ar[row][col]>(*max))
    {
        (*max)=ar[row][col];
    }
    else if (ar[row][col]<(*min)) // 属于内层for循环的循环体
    {
        (*min)=ar[row][col];
    }  

版本2（语法错误） #

内层for循环没有用大括号包裹，仅第一个if属于循环体；第二个if是外层for循环的同级语句，仅在每个row循环结束后执行一次，此时col的值已经等于SIZE（5），访问ar[row][col]属于数组越界，读取的是内存中不确定的值：

for (col=0;col<SIZE;col++)
    if (ar[row][col]>(*max)) // 仅这个if属于内层for循环
    {
        (*max)=ar[row][col];
    }
if (ar[row][col]<(*min)) // 不在内层循环内，col此时为5，数组越界
{
    (*min)=ar[row][col];
}  

在你的测试用例中，最后一次外层循环（row=4）结束后，col=5，越界读取到的值恰好是1，因此覆盖了之前正确的最小值-3，最终得到错误结果。

修正方案 #

如果要使用独立if，必须用大括号将内层循环的所有逻辑包裹，确保每个数组元素都执行两次判断：

void findMinMax2D(int ar[SIZE][SIZE], int *min, int *max)
{
    int row,col;
    (*min)=ar[0][0];
    (*max)=ar[0][0];
    for (row=0;row<SIZE;row++)
    {
        for (col=0;col<SIZE;col++)
        { // 增加大括号包裹内层循环体
            if (ar[row][col]>(*max))
            {
                (*max)=ar[row][col];
            }
            if (ar[row][col]<(*min))
            {
                (*min)=ar[row][col];
            }  
        }
    }
}

这样修正后，版本2就能正确提取最小值-3和最大值27。

额外说明 #

即使语法正确，else if和独立if的逻辑也有细微差异：

• else if：仅当第一个条件不满足时才判断第二个条件，效率略高（但对本题影响可忽略）
• 独立if：无论第一个条件是否满足，都会判断第二个条件，逻辑更直白，适合需要同时检查多个独立条件的场景

内容的提问来源于stack exchange，提问作者Melvin Lee