Question

到目前为止我们还没有真正的决定 process() 将要真正做什么。如果我们想要发布一个表达式的后缀版，我们将要对 struct Type 增加一个字符串以便于显示出实际的操作符，且 process() 将要安排一个单独的被 tab 键缩进的行：

void process (const void * tree)
{
     putchar('/t');
     exec(tree, (* (struct Type **) tree) -> rank, 0);
     putchar('/n');
}

exec() 处理动态连接

static void exec (const void * tree, int rank, int par)
{
     assert(tree && * (struct Type **) tree
        && (* (struct Type **) tree) -> exec);

     (* (struct Type **) tree) -> exec(tree, rank, par);
}

每一个二元操作符被使用如下函数发出：

static void doBin(const void *tree)
{
  exec(((struct Bin *) tree) —> left);
  exec(((struct Bin *) tree) —> right);
  printf(" %s", (* (struct Type **) tree) —> name);
}

类型描述符如下绑定：

static struct Type _Add = { "+", mkBin, doBin, freeBin };
static struct Type _Sub = { "—", mkBin, doBin, freeBin };
const void * Add = & _Add;
const void * Sub = & _Sub;

应该很容易猜测一个数值是怎样被实现的。它被代表作为一个结构体携带 double 类型的信：

struct Val {
  const void * type;
  double value;
};
static void * mkVal (va_list ap)
{
  struct Val * node = malloc(sizeof(struct Val));
  assert(node);
  node —> value = va_arg(ap, double);
  return node;
}

处理组成的打印值：

static void doVal (const void * tree)
{
  printf(" %g", ((struct Val *) tree) —> value);
}

我们已经做了 - 没有子树要删除，因此我们可以使用库函数 free() 直接的删除值节点：

static struct Type _Value = { "", mkVal, doVal, free };
const void * Value = & _Value;

一元操作符如 Minus 将留作练习。