为什么这个结构在编译时是未知的？

问题描述

我正在使用 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* type);
ST addAll(ST old,ST new);
ST init_st();
bool containsT(ST table,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* 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* type);
// and the other declarations

似乎编译正常；

不过

struct yyyT1
#line 42 "littleparser.y"
 { ST st; }
#line 98 "oxout.y"
;

抛出未知类型名称错误。

这是为什么？所有这些定义似乎在编译时都在范围内/已定义。（另外，当我查看预处理器的输出时，parser.h 的内容在第一次使用之前被内联。）

我对 C 不是很了解，所以我想我可能错过了一些很明显的东西。遗憾的是 C Typedef - Incomplete Type 没有帮助我找到错误；

我尝试在 c 文件中定义结构，将 typedef 移到其他位置，将其全部保存在 h 文件中，但似乎没有任何效果。

我哪里出错了？

解决方法

正如@Paul Hankin 所建议的，这不是来自文件 littleparser.y 的错误。

删除所有生成的c文件中的所有#line .*定义并再次编译后，输出如下

lex.yy.c:574:4: error: unknown type name ‘ST’
  574 |  { ST st; }
      |    ^~
lex.yy.c:580:4: error: unknown type name ‘ST’
  580 |  { ST st; }
      |    ^~
lex.yy.c:586:4: error: unknown type name ‘ST’
  586 |  { ST st; }
      |    ^~
lex.yy.c:598:4: error: unknown type name ‘ST’
  598 |  { ST st; char* name; }
      |    ^~
lex.yy.c:604:4: error: unknown type name ‘ST’
  604 |  { ST st; ST stUp; }
      |    ^~
lex.yy.c:604:11: error: unknown type name ‘ST’
  604 |  { ST st; ST stUp; }
      |           ^~

建议问题与 lexer.y 而不是 litteparser.y 相关。在 #include "parser.h" 中添加 lexer.y 并重新编译后，一切正常。

c definition definition struct struct struct typedef typedef