C陷阱与缺陷 第2章 语法“陷阱” 2.6 “悬挂”else引发的问题

“悬挂”else引发的问题
 
if (x == 0) 
    if (y == 0) error();
else {
    z = x + y;
    f(&z);
}
编程人员的本意是应该有两种主要情况：x等于0以及x不等于0。对于x等于0，除非y也等于0（此时调用函数error），否则程序不作任何处理；对于x不等于0的情形，程序首先将x与y之和赋值给z，然后以z的地址为参数来调用函数f。

然而，这段代码实际上所做的却与编程者的意图相去甚远。原因在于C语言中有这样的规则，即else始终与同一对括号内最近的未匹配的if配合。 
上面的程序实际上被执行的逻辑来调整代码缩进，大致如下： 
if (x == 0) {
    if (y == 0) error();
    else {
        z = x + y;
        f(&z);
    }
}
也就是说x不等于0，程序将不会做任何处理。如果要得到原来的例子中由代码缩进体现的编程者意图的结果，应该这样写： 
if (x == 0) {
    if (y == 0) {
        error();
    }
} else {
    z = x + y;
    f(&z);
}
原因在于第二个if已经被括号“封装”起来了。
有些C程序员通过使用宏定义也能达到类似的效果：
#define IF {if(
#define THEN ){
#define ELSE }else {
#define FI}}
这样，上例中的C程序就可以写成：
IF x == 0
THEN IF y == 0
    THEN error();
    FI
ELSE z = x + y;
f(&z);
FI 
相当于
{
    if(x == 0)
    {
        {
            if(y == 0)
            {
                error();
            }
        }
    }else 
    {
        z = x + y;
        f(&z);
    }
}

还有一种方法就是为每个if语句配备一个else，这样就不会出现“悬挂”else的问题，不过会增加阅读的困难。