C语言入坑指南-“悬挂”else

前言

if语句在编程中常用于构成分支结构，是我们最熟悉的语句之一。但如果编程习惯不当，并且出现if嵌套时，就可能造成难以排查的问题。本文将介绍“悬挂”else问题。

示例

我们来看一下下面的程序，程序本意为，如果a是-，并且b大于c，则计算e = b-c的值；如果a不是-，则计算e = b+c的值：

#include <stdio.h>

int main()
{
    int a = '+';
    int b = 2;
    int c = 1;
    int e = 0;
    if('-' == a)
        if(b > c)
            e = b - c;
    else
        e = b + c;

    printf("e=%d\n",e);
    return 0;
}

按照我们的预期，else应该与第一个if结合，其结果应该是计算了b+c的值,即打印e=3。但事实并非如此。C语言并不像Python那样靠缩进来分隔代码块，也就是说，缩进不影响代码结构。对于上面的代码，还可以排版如下：

#include <stdio.h>
int main()
{
    int a = '+';
    int b = 2;
    int c = 1;
    int e = 0;
    if('-' == a)
        if(b > c)
            e = b - c;
        else
            e = b + c;

    printf(" e = %d\n",e);
    return 0;
}

在这种情况下，意思似乎又大不相同了。由于a不等于-，因此既不会计算b - c，也不会计算b+c，最后e的值仍然为0，也就是我们所运行的结果。

“悬挂”else

这就是所谓的“悬挂”else问题。else始终与同一对括号内最近的未匹配的if结合，因此在示例程序中，else会与第二个if结合，而由于不满足‘-’ == a的条件，因此最后e的值仍然为0。

如何避免

避免方法也相当简单，就是if或else条件后的语句块用大括号“封装”起来。按照该方法修改后的代码如下：

#include <stdio.h>
int main()
{
    int a = '+';
    int b = 2;
    int c = 1;
    int e = 0;
    if('-' == a)
    {
        if(b > c)
        {
            e = b - c;
        }
    }
    else
    {
        e = b + c;
    }

    printf("e=%d\n",e);
    return 0;
}

修改后的程序虽然变得稍长，但结构清晰，最重要的是，能够得到我们想要的结果。

思考

下面的代码运行结果是什么？为什么？欢迎留言评论。
代码一：

#include <stdio.h>

int main()
{
    int a = '+';
    int b = 2;
    int c = 1;
    int e = 0;
    if('-' == a);
        if(b > c)
            e = b - c;
        else
            e = b + c;

    printf(" e = %d\n",e);
    return 0;
}

代码二：

#include <stdio.h>
int test(int a,int b)
{
    int retVal = 0;
    if(a > b )
        retVal = a;
    else
        b = a + b;
        retVal = b;
    return retVal;
}
int main()
{
    int c = test(2,1);
    printf("%d\n",c);
    return 0;
}

由于代码比较简单，可能比较容易发现问题，但是当代码复杂时，这样的问题就不那么容易被发现了。

总结

良好的编程习惯能够在编码阶段就避免一些不必要的问题。

参考书籍《C陷阱与缺陷》

推荐阅读：