C语言--词法陷阱

词法陷阱

引言

if (x > big)
    big = x;

在 C 语言中，符号之间的空白(包括空格符，制表符或换行符)将被忽略，因此上面的语句还可以写成：

if
(
x
>
big
)
big
=
x
;

= 不同于 ==

= 表示赋值，== 表示等于

例如下面的语句本意似乎是要检查 x 是否等于 y：

if(x = y)
    break;

而实际上是将 y 的值赋给了 x，然后检查该值是否为零。

& 和 | 不同于 && 和 ||

• & 按位与
• | 按位或
• && 逻辑与
• || 逻辑或

语法分析中的 贪心法

C 语言对多字符符号提供的解决方案可以归纳为一个很简单的规则：每一个符号应该包含尽可能多的字符。也就是说，编译器将程序分解成符号的方法是，从左到右一个字符一个字符地读入，如果该字符可能组成一个符号，那么再读入下一个字符，判断已经读入的字符组成的字符串是否可能是一个符号的组成部分；如果可能，继续读入下一个字符，重复上述判断，直到读入的字符组成的字符串已不再可能组成一个有意义的符号。这个处理策略有时被称为 贪心法。

需要注意的是，除了字符串与字符常量，符号的中间不能嵌有空白(空格符，制表符和换行符)。
下面的表达式

a---b

与表达式

a -- - b

的含义相同，而与

a - -- b

的含义不同

同样地，如果 / 是为判断下一个符号而读入的第一个字符，而 / 之后紧接着*，那么无论上下文如何，这两个字符都将被当做一个符号/*，表示一段注释的开始。

y = x/*p

/* 就会被当做注释的开始，将上面的语句重写如下：

y = x / *p

或者

y = x / (*p)

整型常量

如果一个整型常量的第一个字符是数字 0，那么该常量将被视作八进制数。因此 10 和 010 的含义截然不同。

字符和字符串

C 语言中的单引号和双引号含义截然不同。

用单引号引起的一个字符实际上代表一个整数，整数值对应于该字符在编译器采用的字符集中的序列值。

用双引号引起的字符串，代表的却是一个指向无名数组起始字符的指针，该数组被双引号之间的字符以及一个额外的二进制为零的字符 \0 初始化。