校长讲堂第六讲

句法缺陷

要理解 C 语言程序，仅了解构成它的关键字是不够的。还要理解这些关键字是如何构成声明、表达式、语句和程序的。尽管我们可以很清楚的找到这些关键字的定义以及用法，但这些定义有时候是有悖于直觉的。 在这一节中，我们将着眼于一些不明显句法构造。

2.4 switch 语句

通常 C 中的 switch 语句中的 case 段可以进入下一个。例如，考虑下面的 C 和 Pascal 程序片断：

switch(color) {
case 1: printf ("red");
break;
case 2: printf ("yellow");
break;
case 3: printf ("blue");
break;
}
case color of
1: write ('red');
2: write ('yellow');
3: write ('blue');
end

这两个程序片断都作相同的事情：根据变量 color 的值是 1、2 还是 3 打印 red、yellow 或 blue（没有新行符）。这两个程序片断非常相似，只有一点不同：Pascal 程序中没有 C 中相应的 break 语句。

C 中的 case 标签是真正的标签：控制流程可以无限制地进入到一个 case 标签中。看看另一种形式，假设 C 程序段看起来更像 Pascal：

switch(color) {
case 1: printf ("red");
case 2: printf ("yellow");
case 3: printf ("blue");
}

并且假设 color 的值是 2。则该程序将打印 yellowblue，因为控制自然地转入到下一个 printf()的调用。

这既是 C 语言 switch 语句的优点又是它的弱点。说它是弱点，是因为很容易忘记一个 break 语句，从而导致程序出现隐晦的异常行为。说它是优点，是因为通过故意去掉 break 语句，可以很容易实现其他方法难以实现的控制结构。尤其是在一个大型的 switch 语句中，我们经常发现对一个 case 的处理可以简化其他一些特殊的处理。

例如，设想有一个程序是一台假想的机器的翻译器。这样的一个程序可能包含一个 switch 语句来处理各种操作码。在这样一台机器上，通常减法在对其第二个运算数进行变号后就变成和加法一样了。因此，最好可以写出这样的语句：

case SUBTRACT:
opnd2 = -opnd2;
/* no break; */
case ADD:
...

另外一个例子，考虑编译器通过跳过空白字符来查找一个记号。这里，我们将空格、制表符和新行符视为是相同的，除了新行符还要引起行计数器的增长外：

case '\n':
linecount++;
/* no break */
case '\t':
case ' ':
...

2.5 函数调用

和其他程序设计语言不同，C 要求一个函数调用必须有一个参数列表，但可以没有参数。因此，如果f 是一个函数，

f();

就是对该函数进行调用的语句，而

f;

什么也不做。它会作为函数地址被求值，但不会调用它。

2.6 悬挂 else 问题

在讨论任何语法缺陷时我们都不会忘记提到这个问题。尽管这一问题不是 C 语言所独有的，但它仍然伤害着那些有着多年经验的 C 程序员。考虑下面的程序片断：

if(x == 0)
if(y == 0) error();
else {
z = x + y;
f(&z);
}
。

希望这段程序能够按照实际的情况运行，应该这样写：

if(x == 0) {
        if(y == 0)
        error();
    else {
            z = x + y;
            f(&z);
            }
}

发生时什么也不做。如果要达到第一个例子的效果，应该写：

if(x == 0) {
        if(y ==0)
        error();
        }
else {
        z = z + y;
        f(&z);
}