yacc 中 %union 的范围是什么

Question

我对 yacc 中的 %union 有点困惑。是否为每个令牌定义了一个唯一的联合，或者是否存在一个全局联合？我正在尝试决定是否需要将联合中的所有内容都作为列表，然后将数据附加到正确的类型。

Answer 1

每个令牌都会获得一个单独的 %union 对象。例如，典型的规则如下：

expr: value '+' value:     { $ = $1 + $3; }

在本例中，$$、$1 和 $3 各自代表该类型的一个单独对象您在 %union 语句中定义。通常，您会拥有类似：

%union { 
    int int_val;
    /* ... */
}

和：

%type <int_val> value expr

这意味着 value 和 expr 规则生成 %union 对象，其中 int_val 成员是有效的。