Problème de compréhension d'un 'detail' dans la doc de Bison.
Bonjour !
Je lis petit à petit la doc de Bison et en suis au dernier exemple...
Je copie/colle 'seulement' les declarations Bisons, la definition du type YYSTYPE généré par Bison, la définition du type symrec et une partie du code correspondant au lexer :
%{Prologue%} et déclarations Bison :
Code:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
%{
#include <stdio.h> /* For printf, etc. */
#include <math.h> /* For pow, used in the grammar. */
#include "calc.h" /* Contains definition of 'symrec'. */
int yylex (void);
void yyerror (char const *);
%}
%define api.value.type union /* Generate YYSTYPE from these types: */
%token <double> NUM /* Simple double precision number. */
%token <symrec*> VAR FNCT /* Symbol table pointer: variable and function. */
%type <double> exp
%precedence '='
%left '-' '+'
%left '*' '/'
%precedence NEG /* negation--unary minus */
%right '^' /* exponentiation */ |
Ces declarations Bison générent (entre autres) le type YYSTYPE défini par :
Code:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
typedef union YYSTYPE YYSTYPE;
union YYSTYPE
{
#line 140 "gram.tab.c" /* yacc.c:355 */
/* NUM */
double NUM;
/* exp */
double exp;
/* VAR */
symrec* VAR;
/* FNCT */
symrec* FNCT;
}; |
Définition du type symrec :
Code:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
/* Function type. */
typedef double (*func_t) (double);
/* Data type for links in the chain of symbols. */
struct symrec
{
char *name; /* name of symbol */
int type; /* type of symbol: either VAR or FNCT */
union
{
double var; /* value of a VAR */
func_t fnctptr; /* value of a FNCT */
} value;
struct symrec *next; /* link field */
};
typedef struct symrec symrec; |
Enfin le code du lexer que j'ai raccourci pour me concentrer sur mon problème qui a lieu pile à la ligne 43 :
Code:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
| int
yylex (void)
{
int c;
/***************************************************
* du code qui peut être résumé par un simple
c=getchar();
*pour la suite
***************************************************/
/* Char starts an identifier => read the name. */
if (isalpha (c))
{
/* Initially make the buffer long enough
for a 40-character symbol name. */
static size_t length = 40;
static char *symbuf = 0;
symrec *s;
int i;
if (!symbuf)
symbuf = (char *) malloc (length + 1);
i = 0;
do
{
/* If buffer is full, make it bigger. */
if (i == length)
{
length *= 2;
symbuf = (char *) realloc (symbuf, length + 1);
}
/* Add this character to the buffer. */
symbuf[i++] = c;
/* Get another character. */
c = getchar ();
}
while (isalnum (c));
ungetc (c, stdin);
symbuf[i] = '\0';
s = getsym (symbuf);
if (s == 0)
s = putsym (symbuf, VAR);
*((symrec**) &yylval) = s; /*<<<<<<< J'AI LONGTEMPS BUGGE LA ! */
return s->type;
} |
Tout d'abord :
1) Quand j'ai lu le code j'ai cru a une erreur et non pas du tout ca compile et fonctionne parfaitement.
2) J'ai remplacé ce 'fatras' par :
et ca marche encore et c'est (je crois) ce que fait cette fameuse ligne 43...
3) Ayant réféchi je comprends maintenant cette ligne 43 mais j'ai des questions du coup :
Q1. Est ce que je me trompe en pensant que ma façon d'écrire est plus claire ?
Q2. Y a t il un intérêt à écrire cette ligne 43 de cette manière dans ce cas précis ?
(J'ai vu un intérêt plus loin dans la doc dans le cas ou le token n'est pas explicitement nommé...)
Q3. Pour vous, codeurs expérimentés que vous êtes... ca vous vient naturellement ce genre de formulation bizarroïdes ?
Voila, c'est tout et c'est déjà pas mal !
Merci aux courageux qui ont lu jusqu'ici...
