Yacc(Bison)编译报错：Unknown type name ‘Node’问题求助

这个错误基本是类型声明的作用域或顺序问题，结合你刚接触Lex/Yacc的情况，按以下步骤排查：

1. 检查Node结构体的声明位置 #

Yacc代码分几个核心段：%{ ... %}（C代码声明段）、语法声明段（%union/%type等）、规则段、用户代码段。你必须把Node的定义放在**%{ ... %}里面，且在%type声明之前**，比如：

%{
#include <stdio.h>
// 先定义Node结构体，用typedef简化类型名
typedef struct Node {
    int value;
    struct Node *left;
    struct Node *right;
} Node;
%}

// 再声明%type使用Node指针类型
%union {
    int num;
    Node *node;
}
%type <node> expr term factor

如果结构体定义在%type之后，Yacc生成代码时会先处理语法类型声明，此时Node还未定义，必然报错。

2. 确保Lex与Yacc共享类型定义 #

如果Lex代码里需要使用Node（比如构建AST节点返回给Yacc），别在两个文件里重复定义结构体：

• 把Node的定义单独放在一个头文件（比如ast.h）
• 在parser.y的%{ ... %}和lex.l的%{ ... %}里都添加#include "ast.h"

3. 检查是否遗漏typedef #

如果你写的是struct Node { ... };而非typedef struct Node { ... } Node;，那所有用到这个类型的地方都要写struct Node，包括Yacc的%union和%type：

%union {
    int num;
    struct Node *node;
}
%type <struct node> expr

这种写法容易出错，优先用typedef简化。

4. 查看生成的C代码确认顺序 #

如果以上都做了还是报错，打开Yacc生成的parser.tab.c，搜索Node，看它第一次出现的位置是否在结构体定义之前。如果是，说明你%{ ... %}里的代码顺序有问题，调整到结构体定义在所有用到它的声明之前。

示例正确代码片段 #

parser.y 核心部分 #

%{
#include <stdio.h>
#include "lex.yy.h"
// 直接在声明段定义Node
typedef struct Node {
    int val;
    struct Node *left;
    struct Node *right;
} Node;

void yyerror(const char *s) {
    fprintf(stderr, "Error: %s\n", s);
}
%}

%union {
    int num;
    Node *node;
}

%token <num> NUMBER
%type <node> expr term factor

%%
expr : term
     | expr '+' term { /* 这里可以创建加法节点 */ }
     ;
term : factor
     | term '*' factor { /* 创建乘法节点 */ }
     ;
factor : NUMBER { /* 创建数值节点 */ }
       | '(' expr ')' { $$ = $2; }
       ;
%%

lex.l 核心部分 #

%{
#include "parser.tab.h"
#include <stdlib.h>
%}

%%
[0-9]+ { yylval.num = atoi(yytext); return NUMBER; }
"+"    { return '+'; }
"*"    { return '*'; }
"("    { return '('; }
")"    { return ')'; }
[ \t\n] { /* 忽略空白符 */ }
.      { yyerror("Unknown character"); }
%%

内容的提问来源于stack exchange，提问作者Don R