c - 在标记的联盟上 dispatch

Question

我正在使用 C 标记 union 样式结构来表示 AST 节点。它们看起来像这样:

struct A_var_ {
  enum {
    A_simpleVar,
    A_fieldVar,
    A_subscriptVar
  } kind;

  A_pos pos;

  union {
    S_symbol simple;

    struct {
      A_var var;
      S_symbol sym;
    } field;

    struct {
      A_var var;
      A_exp exp;
    } subscript;
  } u;
};

现在，我正在尝试按节点类型进行分派(dispatch)，如下所示:

switch(node->kind) {
  case A_simpleVar:
    ...
}

但是，我收到类似无法解析变量 A_simpleVar 的错误。我怎样才能做到这一点？我在 Windows 上使用 Cmake，编译器是 gcc。

对于以下代码，我遇到的具体错误:

struct expty transExp(S_table venv, S_table tenv, A_exp a)
{
  switch (a->kind) {
    case A_letExp:
      struct expty exp;
      A_decList d;
      S_beginScope(venv);
      S_beginScope(tenv);
      for (d = a->u.let.decs; d; d=d->tail) {
        transDec(venv, tenv, d->head);
      }
      exp = transExp(venv, tenv, a->u.let.body);
      S_endScope(tenv);
      S_endScope(venv);
      return exp;

    case A_opExp:
      A_oper oper = a->u.op.oper;
      struct expty left = transExp(venv, tenv, a->u.op.left);
      struct expty right = transExp(venv, tenv, a->u.op.right);
      if (oper == A_plusOp) {
        if (left.ty->kind != Ty_int)
          EM_error(a->u.op.left->pos, "integer required");
        if (right.ty->kind != Ty_int)
          EM_error(a->u.op.right->pos, "integer required");
        return expTy(NULL, Ty_Int());
      } // I need to cover other operators as well, but not for prototype
  }
}

是:


C:\Users\Fotis\Documents\Devel\grimoire\Books\ModernCompilerC\semant.c: 在函数 'transExp' 中:
C:\Users\Fotis\Documents\Devel\grimoire\Books\ModernCompilerC\semant.c:28:7: 错误:标签只能是语句的一部分，声明不是语句
结构expty exp；
^
C:\Users\Fotis\Documents\Devel\grimoire\Books\ModernCompilerC\semant.c:29:7: 错误:“A_decList”之前的预期表达式
A_decList d;
^
C:\Users\Fotis\Documents\Devel\grimoire\Books\ModernCompilerC\semant.c:32:12: error: 'd' undeclared (第一次在这个函数中使用)
对于 (d = a->u.let.decs; d; d=d->tail) {


注意函数的参数是指向typedefed 结构的指针可能也很重要。即 A_exp 是 A_exp_ *

Answer 1

您正在使用 C++ 编译器进行编译，而不是 C 编译器。两者处理枚举的方式不同。

在 C 中，所有枚举在全局范围内都是可见的。在 C++ 中，它们由包含类型限定(如果有)。因此，您需要在枚举值前加上结构名称:

switch(node->kind) {
  case A_var_::A_simpleVar:
    ...
}