关于C编译器词法分析中的“贪心法”

我们都知道，C语言中有单字符符号和多字符符号之分，那么，当C编译器读入一个字符‘/’后又跟了一个字符‘*’，那么编译器就必须做出判断：是将其作为两个分别的符号对待，还是合起来作为一个符号对待。C语言对这个问题的解决方案可以归纳为一个很简单的规则：每一个符号应该包含尽可能多的字符。也就是说，编译器将程序分解成符号的方法是，从左到右一个字符一个字符地读入，如果该字符可能组成一个符号，那么再读入下一个字符，判断已经读入的两个字符组成的字符串是否可能是一个符号的组成部分；如果可能，继续读入下一个字符，重复上述判断，直到读入的字符组成的字符串已不再可能组成一个有意义的符号。这个处理策略有时被称为“贪心法”。当然，这与算法中的贪心法不同。K&R对这个方法的表述如下，“如果（编译器的）输入流截止至某个字符之前都已经被分解为一个个符号，那么下一个符号将包括从该字符之后可能组成一个符号的最长字符串。”

 

 

• 除了字符串与字符常量，符号的中间不能嵌有空白（空格符、制表符和换行符）。例如，“==”是单个符号，“= =”则是两个符号。“a---b”与“a-- -b”含义相同，而与“a- --b”含义不同。
• 来看一部分代码

   y = x/*p    /* p指向除数 */ 
   y = x / *p    /* p指向除数 */ 
   y = x/(*p)    /* p指向除数 */ 

 

        这三行代码，本意都一样，是用x除以p所指向的值，把所得的商再赋给y。而实际上，第一行代码中，/*被编译器理解为一段注释的开始，编译器将不断地读入字符，直到*/出现为止。也就是说，该语句直接将x的值赋给了y，根本不会顾及到后面出现的p。而相反，第二、三行代码则准确的表达了这个意思。在DevC++中，这三条语句分别表现为：

 

• 老版本的C语言中允许使用=+来代表+=的含义。这种老版本的C编译器会将“a=-1”理解为“a =- 1”，即“a = a -1”，而不是“a = -1”。尽管/*看上去像一段注释的开始，但在老版本的编译器中，“a=/*b”会被当做“a =/ b ”。