Lex 和 Lex 是如何工作的？ Yacc 解析器输出值？

Question

因此，对于我正在开发的一个项目，我使用 Lex 和 Yacc 来解析 FTP 配置文件。配置文件看起来像这样：

global {
    num_daemons = 10
    etc = /etc/ftpd
};

host "ftp-1.foobar.com" {
    ftproot = /var/ftp/server1
    max_out_bandwidth = 20.7
};

host "ftp-2.foobar.com" {
    ftproot = /var/ftp/server2
    exclude = /var/ftp/server2/private
};

host "ftp-3.foobar.com" {
    ftproot = /var/ftp/server3
};

现在，我的问题是，如何以可用的方式获取这些信息？假设我想将主机令牌后面的地址之类的内容放入结构中。我该怎么做呢？另外，我如何简单地将解析到命令行的值打印出来？另外，要运行它，我是否只需在编译的 C 程序中捕获配置文件和管道？预先感谢您的任何帮助！

这是我的代码：

%{
// tokens.l
#include <stdio.h>
#include <stdlib.h>
#include "y.tab.h"

int yyparse();

%}

%option noyywrap

%x OPTION
%x OPTID

%%

<INITIAL>global             { return GLOBAL; }
<INITIAL>host               { return HOST; }
<INITIAL>"[a-zA-z1-9./-]+"  { return NAME; }
<INITIAL>\{                 { return CURLY_OPEN; BEGIN OPTION; }
<INITIAL>\n                 { return EOLN; }
<INITIAL><<EOF>>            { return EOFTOK; }


<OPTION>[a-zA-z1-9./-_]+    { return ID_NAME; BEGIN OPTID; }
<OPTION>[\t]                {}
<OPTION>[\};]               { return OPTION_CLOSE; BEGIN INITIAL;}

<OPTID>[a-zA-z1-9./-]+      { return ID_STRING; BEGIN OPTION; }
<OPTID>[0-9.]+              { return ID_NUM; BEGIN OPTION; }
<OPTID>[\n]                 { return EOLN; }

%%

int main(int argc, char **argv) {
    // Where I am confused..
}

和我的 yacc 文件：

%{
// parse.y
#include <stdio.h>
#include <stdlib.h>

int yyerror(char *);
int yylex(void);

%}

%token ERROR EOLN EOFTOK
%token OPTION_CLOSE GLOBAL HOST NAME ID_NAME ID_STRING ID_NUM CURLY_OPEN

%%

input
    : lines EOFTOK  { YYACCEPT; }
    ;
lines
    :
    | lines line
    ;
line
    : option
    | opident
    | OPTION_CLOSE
    ;
option
    : GLOBAL CURLY_OPEN
    | HOST NAME CURLY_OPEN
    ;
opident
    : ID_NAME '=' ID_STRING
    | ID_NAME '=' ID_NUM
    ;
%%

int yyerror(char *msg) {}

Answer 1

在调用解析器之前，您通常会拥有可访问和设置的变量，例如键/值对的链接列表：

typedef struct sNode {
    char *key;
    char *val;
    struct sNode *next;
} tNode;
tNode *lookupHead = NULL;

然后，在您的 Yacc 代码中，类似于：

opident
    : ID_NAME '=' ID_STRING { addLookupStr (lookupHead, $1, $3); }
    | ID_NAME '=' ID_NUM    { other function call here }
    ;

这基本上会在找到规则时执行该代码（替换规则中项目的 $ 变量，$1 是 ID_NAME 标记的值，$2 是 <代码>=，依此类推）。

该函数类似于：

void addLookupStr (char *newkey, char *newval) {
    // Check for duplicate keys, then attempt to add. All premature returns
    // should also be logging errors and setting error flags as needed.

    tNode *curr = lookupHead;
    while (curr != NULL) {
        if (strcmp (curr->key, newkey) == 0)
            return;
        curr = curr->next;
    }

    if ((curr = malloc (sizeof (tNode))) == NULL)
        return;

    if ((curr->key = strdup (newkey)) == NULL) {
        free (curr);
        return;
    }

    if ((curr->val = strdup (newval)) == NULL) {
        free (curr->newkey);
        free (curr);
        return;
    }

    // All possibly-failing ops complete, insert at head of list.

    curr->next = lookupHead;
    lookupHead = curr;
}