C語言解譯器的實現–類型解析(三)

上一篇：C語言解譯器的實現--詞法分析(二)

1.類型的表示
  C語言的類型是相當靈活的，除了標準的類型(int char float double long 等等)外，自己根據需求，能定義出無窮的類型。一個具體的例子：
       int * a[10];
  它表示的意思是：
       a is ARRAY 0..9 of POINTER to INT
  仔細觀察它的意思，就會發現，這個類型是其他基本類型按照一定順序的組合：ARRAY|POINTER|INT。要表示這種形式，鏈表是最合適不過的了。如：

    
   （圖2.1類型的表示）
 
  還有一些情況，比如結構體類型，那麼上述的表示就不大合適了。例如下面的結構體：
      struct _a{
          int n;
          char * p[10];
      };
  結構中的每個域分別是由一個個的類型組成的。那麼，我們可以用一個類型鏈表組成。具體就是：
      _a is STRUCT of
          n: INT
          p: ARRAY 0..9 of POINTER to INT
  如所示：
     

    
   （圖2.2結構體的表示）
 
  程式中的類型定義如下：
      typedef struct type_t ttype_t;
      typedef struct type_t * ptype_t;
      typedef struct type_list_t ttype_list_t;
      typedef struct type_list_t * ptype_list_t;
      struct type_t{
          int bty;
          int size;
          ptype_t ty;
          ptype_list_t sty;
          char * name;
          char * tag;
          char * pos;
      };
      struct type_list_t{
          ptype_t ty;
          ptype_list_t next;
      };

2.類型解析
  定義一個類型，我們可以把它分成三個部分：
  specifier + id + dclor
  對應到一個具體的定義：int * p[10]; 這三部分分別是：
  specifier     int *
  id              p
  dclor         [10]
  類型的解析過程是這樣的，首先找到id，然後根據一個規則（向右再向左），依次解析出這個類型：
 

  
  （圖2.3類型的解析過程）
 
  在第2步，有幾種情況：
  a. [   表示數組，如果遇到[ 則進入解析數組函數
  b. (   表示函數，如果遇到( 則進入解析參數列表函數
 
  所以我們的解析函數是這樣的：
      void dclor( ptype_t ty ){
          switch( *token ){
          case ALY: dcl_arrays(ty); break;
          case '(': ty->pos = prog;  dcl_args(ty); break;
          }
         
          dcl_pointers(ty);
         
          while(tok_top >= 0){
              if( *tok_stack[tok_top].token == '(' ){  //左邊是( 繼續向右解析
                  token_pop();
                  get_token();
                  dclor(ty);
              }
              else{
                  struct token_node  node;
                  node = token_pop();
                  if( strcmp( node.token, "splitor" ) == 0 ){
                      //結束
                      break;
                  }
                  if( node.ty != NULL ){ 
                      sbt.ty = node.ty;
                  }
                  dcl_specifier( node.tok, NULL );
              }
          }
      }
  
  對於類型的解析，我這裡推薦下《C專家編程》中的類型解釋部分，裡面講解得更加透徹。