C陷阱与缺陷 第1章 词法“陷阱” 1.3 词法分析中的“贪心法”

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

    注意事项：除了字符串与字符常量，符号的中间不能嵌有空白（空格符、制表符和换行符）。 
    ==是单个字符，= =是两个符号 
    a --- b与表达式 
    a -- - b
    的含义相同，而与 
    a- --b
    的含义不同。

    提示：在用双引号括起的字符串中，注释符/*属于字符串的一部分，而在注释中出现的双引号" "又属于注释的一部分。 

    /*表示一段注释的开始 
    本意:用x除以p所指向的值，把所得的商再赋给y：
    y = x/*p; /* p指向除数 */
    实际意义：/*被编译器理解为一段注释的开始，编译器将不断地读入字符，直到*/出现为止。
    也就是说，该语句直接将x的值赋给y，根本不会顾及后面出现的p。

    y = x / *p  /* p指向除数 */
    或者更加清楚一点，写作： 
    y = x/(*p) /* p指向除数 */

    准二义性（near-ambiguity）问题：
    老版本的C语言允许使用=+来代表现在+=的含义。
    这种老版本的C编译器会将a=-1理解为a =- 1，亦即a = a - 1，而不是程序员的原意a = -1。 也会将a=/*b;当做a = a / *b;这种老版本的编译器还会将复合赋值视为两个符号，因而可以毫无疑问地处理a >>= 1解释为a >> = 1;而一个严格的ANSI C编译器则会报错。