第一章 词法陷阱
术语“符号”指的是程序的一个基本组成单元,其作用相当于一个句子中的单词。
编译器中负责将程序分解为一个一个符号的部分,一般称为“词法分析器”。1.1 =不同于==
一般容易将比较运算误写成赋值运算的情形,另一方面,如果把赋值运算误写成比较运算,同样会造成混淆:
if((filedesc==open(argv[i],0))<0)error();在本例中,如果函数open执行成功,则返回0或者正数;而如果函数open执行失败,将返回-1。
上面这段代码的本意是将函数open的返回值存储在变量filedesc之中,然后通过与0比较来检查函数open是否执行成功。而按照上面的代码是比较open的返回值与变量filedesc,然后检查比较的结果是否小于0。但是结果只可能是0或1不可能小于0,所以函数error将没有机会被调用。1.2 &和| 不同于&&和||
前两者是按位运算符,而后两者是逻辑运算符。
1.3 词法分析中的“贪心法”
C语言中的一个简单规则:每一个符号应该包含尽可能多的字符。也就是从左到右一个字符一个字符地读入,如果该字符可能组成一个符号,那么再读入下一个字符,直到读入的字符组成的字符串已不再可能组成一个有意义的符号。这个处理策略称为“贪心法”。
需要注意的是,除了字符串与字符常量,符号的中间不能嵌有空白。例如y=x/*p 本意是用x除以p所指向的值,再把所得商再赋给y。而实际上,/*被编译器理解为一段注释的开始,编译器将不断地读入字符,直到*/出现为止。应改写为y=x / *p 或者y=x/(*p)1.4 整型常量
如果一个整型常量的第一个字符是数字0,那么该常量将被视作八进制数。
因此10与010的含义截然不同。1.5 字符与字符串
C语言中的单引号与双引号含义迥异。
用单引号引起的一个字符实际上代表一个整数,整数值对应于该字符在编译器采用的字符集中的序列值。用双引号引起的字符串,代表的却是一个指向无名数组起始字符的指针,该数组被双引号之间的字符以及一个额外的二进制值为零的字符‘\0’初始化。如果两者混用,那么编译器的类型检查功能将会检测到错误。例如char *slash='/';C语言定义并不允许嵌套注释,这样的话一个依赖嵌套注释的程序在很多编译器上将无法通过。
a+++++b的含义是什么? 它惟一有意义的解析方式是:a++ + ++b
因为a++的结果不能作为左值,因此编译器不会接受a++作为后面的++运算符的操作数。