“大嘴贪心”——词法分析

• 词法分析中的“贪心法”

   符号（token）：程序中的一个基本组成单元，其作用相当于一个句子中的单词。（符号就是程序中的一个基本信息单元。）

   词法分析器：编译器中负责将程序分解为一个一个符号的部分。

   C语言中，符号之间的空白字符会被忽略，但是符号中间不能有空白。

   C语言中的有些符号比如：+、-、=等只有一个字符长，称为单字符符号；有些符号包含多个字符比如：==、->等，称为多字符符号。

   当编译器读到一个字符时，比如：=，如果后面紧接着的是符号：=，那么，它应该被视为一个单字符符号=，还是组合起来视为双字符符号==？

   词法分析器的规则是：每一个符号应该包含尽可能多的字符（也就是“贪心法”，也称“大嘴法”）。

   具体规则：从左到右，一个字符一个字符地读入，如果该字符可能组成一个符号，那么再读入下一个字符，判断已经读入的两个字符组成的字符串是否可能是一个符号的组成部分；如果可能，继续读入下一个字符，重复上述判断，直到读入的字符组成的字符串已不再可能组成一个有意义的符号。

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

   应用：

   考虑表达式 a---b，根据”贪心法“，应该理解为：(a--) - b

  但是表达式 a+++++b，不能理解为((a++)++) + b，因为a++是一个数值，不是变量，不能作为左值；而应该解释为 (a++) + (++b)

   

   某些C编译器允许嵌套注释（仅考虑“/**/”，不考虑“//”），有些则不可以，请编写一个程序，测试你所使用的编译器是否允许嵌套注释。要求：无论是在允许还是不允许注释嵌套的编译器上，该程序都应该通过编译，并正确运行。

  /*

   * * *判断编译器是否允许嵌套注释

   */

  #include <stdio.h>

   

  int main ( void )

  {

  int a;

   

  a = /*/*/0*/**/1;

  if ( 1 == a )

  printf ( "Nested comments\n" );

  else

  printf ( "No nested comments\n" );

   

  return 0;

  }

   

  如果编译器允许嵌套注释，则a被解释成：

  /*  /*/0*/  * */  1        结果为1

  如果编译器不允许嵌套注释：

  /* /*/  0* /**/  1       结果为0*1