【发布时间】：2021-07-27 13:16:00
【问题描述】：
我正在使用Ox、bison和lex编写属性语法。在我的语法中，我使用符号表来跟踪范围内的标识符。
符号表结构在parser.h 标头中定义：
struct st_;
typedef struct st_
{
char** names;
void** vals;
char** types;
int len;
int maxlen;
} ST;
Ox 生成文件oxout.tab.h 和oxout.tab.c，它们是bison 语法检查后的输出。
这是我的ox 文件的开头部分：
%{
#include <stdio.h>
#include <stdlib.h>
#include <errno.h>
#include <string.h>
#include "parser.h"
int yylex(void);
void yyerror(char *);
extern int line_number;
struct test {
ST s;
};
ST add(ST table, char* name, void* val, char* type);
ST addMaybe(ST table, char* name, void* val, char* type);
ST addAll(ST old, ST new);
ST init_st();
bool containsT(ST table, char* name, char* type);
bool contains(ST table, char* name);
void oxerrorf(char* f, char* s);
%}
%start Start
%token INTERFACE END CLASS IMPLEMENTS VAR METHOD INT RETURN IF THEN ELSE
%token WHILE DO NOT AND NEW THIS _NULL EOC SCOL COL BRACL BRACR DOT COMMA
%token ASSIGNMENT PLUS ASTERISK MINUS LT EQ DEC HEX ID NEWLINE
@attributes { ST st; } Program Interface Class MaybeIDs InterfaceContents
@attributes { ST st; } Types Members Stats Negations Term Exprs Expr
@attributes { ST st; } Additions Ands ArithOps MaybeElse
@attributes { char* yystrval; } ID
@attributes { ST st; char* name; } AbstractMethod Type Member Par Stat
@attributes { ST st; ST stUp; } Pars
@traversal @preorder LRpre
@traversal PV
%%
// definitions...
这被转换为以下oxout.tab.c：
#include <stdbool.h>
#include <stdlib.h>
#if defined(__sun) && defined(__SVR4)
#include <strings.h>
#else
#include <string.h>
#endif
/* Identify Ox output. */
#define YYYOX 1
#line 1 "littleparser.y"
#include <stdio.h>
#include <stdlib.h>
#include <errno.h>
#include <string.h>
#include "parser.h"
int yylex(void);
void yyerror(char *);
extern int line_number;
struct test {
ST s;
};
ST add(ST table, char* name, void* val, char* type);
ST addMaybe(ST table, char* name, void* val, char* type);
ST addAll(ST old, ST new);
ST init_st();
bool containsT(ST table, char* name, char* type);
bool contains(ST table, char* name);
void oxerrorf(char* f, char* s);
#line 93 "oxout.y"
struct yyyT1
#line 42 "littleparser.y"
{ ST st; }
#line 98 "oxout.y"
;
struct yyyT2
#line 43 "littleparser.y"
{ ST st; }
#line 104 "oxout.y"
;
struct yyyT3
#line 44 "littleparser.y"
{ ST st; }
#line 110 "oxout.y"
;
struct yyyT4
#line 45 "littleparser.y"
{ char* yystrval; }
#line 116 "oxout.y"
;
struct yyyT5
#line 46 "littleparser.y"
{ ST st; char* name; }
#line 122 "oxout.y"
;
struct yyyT6
#line 47 "littleparser.y"
{ ST st; ST stUp; }
#line 128 "oxout.y"
;
现在当我使用它编译时
> gcc parser.h oxout.tab.h lex.yy.c oxout.tab.c -o ag
gcc 向我抛出了最奇怪的错误：
littleparser.y:42:4: error: unknown type name ‘ST’
42 | @attributes { ST st; } Program Interface Class MaybeIDs InterfaceContents
| ^~
littleparser.y:43:4: error: unknown type name ‘ST’
43 | @attributes { ST st; } Types Members Stats Negations Term Exprs Expr
| ^~
littleparser.y:44:4: error: unknown type name ‘ST’
44 | @attributes { ST st; } Additions Ands ArithOps MaybeElse
| ^~
littleparser.y:46:4: error: unknown type name ‘ST’
46 | @attributes { ST st; char* name; } AbstractMethod Type Member Par Stat
| ^~
littleparser.y:47:4: error: unknown type name ‘ST’
47 | @attributes { ST st; ST stUp; } Pars
| ^~
littleparser.y:47:11: error: unknown type name ‘ST’
47 | @attributes { ST st; ST stUp; } Pars
| ^~
有趣的是：
struct test {
ST s;
};
ST add(ST table, char* name, void* val, char* type);
// and the other declarations
似乎编译正常；
然而
struct yyyT1
#line 42 "littleparser.y"
{ ST st; }
#line 98 "oxout.y"
;
抛出未知类型名称错误。
这是为什么呢？
所有这些定义似乎在编译时都在范围/定义内。 （此外，当我查看预处理器的输出时，parser.h 的内容在第一次使用之前已内联。）
我对@987654340@ 不是很精通，所以我可能错过了一些我想很明显的事情。 可悲的是C Typedef - Incomplete Type 并没有帮助我找到错误；
我尝试在 c 文件中定义结构，将 typedef 移动到其他位置，将其全部保存在 h 文件中，但似乎没有任何效果。
我哪里错了？
【问题讨论】：
-
在命令行中有头文件是错误的（虽然应该是无害的）：
gcc lex.yy.c oxout.tab.c -o ag应该是正确的。从错误消息中可以看出，您正在使用 gcc 编译 .y 文件，因为错误消息引用了@attributes，尽管这可能是 #line 指令的函数。尝试依次编译每个 .c 文件，如果仍然卡住，请删除所有 #line 指令，看看是否可以获得更好的错误消息。
标签： c struct typedef definition