语法翻译(3)...

接着上节讲, 我们来看如何在分析中插入合适的代码来生成语法树...

对于抽象语法树的总结 :

下面是作业 :

【抽象语法树】

在这个题目中，你将完整的实现抽象语法树（包括数据结构的定义、语法树的生成等）。首先，请下载我们提供的代码包：

http://staff.ustc.edu.cn/~bjhua/mooc/ast.zip

代码的运行方式是：

首先生成语法分析器：

  $ bison exp.y

然后生成编译器：

  $ gcc main.c exp.tab.c ast.c

最后使用编译器编译某个源文件：

  $ a.exe <test.txt

在提供的代码里，我们已经提供了抽象语法树的定义、若干操作、及由bison生成语法树的代码框架。你的任务是：

1. 进一步完善该代码框架，使其能够分析减法、除法和括号表达式；（你需要修改语法树的定义，修改bison源文件及其它代码）

2. 重新研究第一次作业中的从Sum编译到Stack的小型编译器代码，把他移植到目前的代码框架中，这样你的编译器能够从文本文件中读入程序，然后输出编译的结果。（注意，你必须扩展你的编译器，让他能够支持减法和除法。）

代码实现 :

%{
#include <stdio.h>
#include "ast.h"
  int yylex(); // this function will be called in the parser
  void yyerror(char *);

  Exp_t tree;

  %}

%union{
  Exp_t exp;
 }

%type <exp> digit exp program


%left '+' '-'
%left '*' '/'

%start program

%%

program: exp '
'{tree = $1;}
;

exp: digit     {$$ = $1;}
| exp '+' exp  {$$ = Exp_Add_new ($1, $3);}
| exp '-' exp  {$$ = Exp_Minus_new ($1, $3);}
| exp '*' exp  {$$ = Exp_Times_new ($1, $3);}
| exp '/' exp  {$$ = Exp_Divide_new ($1, $3);}
;

digit: '0'  {$$ = Exp_Int_new (0);}
| '1'       {$$ = Exp_Int_new (1);}
| '2'       {$$ = Exp_Int_new (2);}
| '3'       {$$ = Exp_Int_new (3);}
| '4'       {$$ = Exp_Int_new (4);}
| '5'       {$$ = Exp_Int_new (5);}
| '6'       {$$ = Exp_Int_new (6);}
| '7'       {$$ = Exp_Int_new (7);}
| '8'       {$$ = Exp_Int_new (8);}
| '9'       {$$ = Exp_Int_new (9);}
| '('exp')' {$$ = $2;}
;

%%

int yylex ()
{
  int c = getchar();
  return c;
}

// bison needs this function to report
// error message
void yyerror(char *err)
{
  fprintf (stderr, "%s
", err);
  return;
}

#include <stdio.h>
#include <stdlib.h>
#include "ast.h"

// "constructors"
Exp_t Exp_Int_new (int n)
{
  Exp_Int p = malloc (sizeof (*p));
  p->kind = EXP_INT;
  p->n = n;
  return (Exp_t)p;
}

Exp_t Exp_Add_new (Exp_t left, Exp_t right)
{
  Exp_Add p = malloc (sizeof (*p));
  p->kind = EXP_ADD;
  p->left = left;
  p->right = right;
  return (Exp_t)p;
}

Exp_t Exp_Minus_new (Exp_t left, Exp_t right)
{
  Exp_Add p = malloc (sizeof (*p));
  p->kind = EXP_MINUS;
  p->left = left;
  p->right = right;
  return (Exp_t)p;
}

Exp_t Exp_Times_new (Exp_t left, Exp_t right)
{
  Exp_Add p = malloc (sizeof (*p));
  p->kind = EXP_TIMES;
  p->left = left;
  p->right = right;
  return (Exp_t)p;
}

Exp_t Exp_Divide_new (Exp_t left, Exp_t right)
{
  Exp_Add p = malloc (sizeof (*p));
  p->kind = EXP_DIVIDE;
  p->left = left;
  p->right = right;
  return (Exp_t)p;
}
// all operations on "Exp"
void Exp_print (Exp_t exp)
{
  switch (exp->kind){
  case EXP_INT:{
    Exp_Int p = (Exp_Int)exp;
    printf ("%d", p->n);
    return;
  }
  case EXP_ADD:{
    Exp_Add p = (Exp_Add)exp;
    printf ("(");
    Exp_print (p->left);
    printf (") + (");
    Exp_print (p->right);
    printf (")");
    return;
  }
  case EXP_MINUS:{
    Exp_Minus p = (Exp_Minus)exp;
    printf ("(");
    Exp_print (p->left);
    printf (") - (");
    Exp_print (p->right);
    printf (")");
    return;
  }
  case EXP_TIMES:{
    Exp_Times p = (Exp_Times)exp;
    printf ("(");
    Exp_print (p->left);
    printf (") * (");
    Exp_print (p->right);
    printf (")");
    return;
  }
  case EXP_DIVIDE:{
    Exp_Divide p = (Exp_Divide)exp;
    printf ("(");
    Exp_print (p->left);
    printf (") / (");
    Exp_print (p->right);
    printf (")");
    return;
  }
  default:
    return;
  }
}

剩下的两个文件改动不大就不贴代码了...