《C陷阱与缺陷》词法陷阱-贪心法

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

贪心法规则很简单：每一个符号应该包含尽可能多的字符

我们来举例说明一下：

1. a+++b
   有两种解析

a++ +b
a+ ++b

按照贪心法的原则，包含尽可能多的字符，那么应该解析为：a++ +b

2. a+++++b
   有以下几种解析

a++ + ++b
(a++)++ +b
a++ + ++b
a+ ++(++b)

根据贪心法的原则，包含尽可能多的字符，理论上应该解析为：(a++)++ +b
但是a++的结果不能作为左值，所以唯一有意义的解析为：a++ + ++b

3.y=x/*p
有两种解析

y = x / (*p)
y = x /*p

根据贪心法的原则，会被解析为y = x /*p，也就是/*会被当做注释

C缺陷与陷阱