vlambda博客
学习文章列表

C 编译器判断符号贪心法

字符与符号判断的贪心法

C 语言中的某些符号 /,*,=只有一个字符长,称为单字符符号。而其它符号 ==,/*包含了多个字符。


我们的编译器怎么去识别它们的呢?

编译器将程序分解成符号的方法是:从左到右一个一个字符地读入,如果该字符可以组成一个符号,那么再读入一下一个字符,判断已经读入的两个字符组成的字符串是否可能是一个符号的组成部分;如果可能,继续读入下一个字符,重复上述判断,直到读入的字符组成的字符串已不再可能组成一个有意义的符号。

K&R

如果(编译器的)输入流截止至某个字符之前都已经被分解为一个个符号,那么下一符号将包括从该字符之后可能组成一个符号的最长字符串。

这个处理策略被称为“贪心法”,口语一点是“大嘴法”。

我们需要注意的是,除了字符串与字符常量,符号之间不能嵌有空白(空格符、制表符和换行符)

 
   
   
 
  1. a---b

 
   
   
 
  1. a -- - b

都是

 
   
   
 
  1. a--)-b

尽管这样不正确,因为 a--不可做“左值”。但它们与

 
   
   
 
  1. a - -- b

的含义不同。

还有

 
   
   
 
  1. y = x/*p

这里 /*被理解为一段注释的开始,直到 */前都是注释,而它们也不可嵌套使用。

可以改为

 
   
   
 
  1. y = x / *p

  2. //但我们不建议这么做,这里只是一个例子

  3. //应该写成

  4. y = x/(*p)