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

前言

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

示例

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#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那样靠缩进来分隔代码块,也就是说,缩进不影响代码结构。对于上面的代码,还可以排版如下:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
#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;
}

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

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

## 如何避免
避免方法也相当简单,就是ifelse条件后的语句块用大括号“封装”起来。按照该方法修改后的代码如下:
```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;
}

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

思考

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#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;
}

代码二:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#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陷阱与缺陷》

守望 wechat
关注公众号[编程珠玑]获取更多原创技术文章
出入相友,守望相助!