c - gettoken 函数 - 程序不明确 (K&R)

Question

我有几个问题，因此我会在评论中添加数字，以便更容易找到有问题的行。

[1]如何将 char *p 分配给实际上不存在的 token 变量？

[2] 为什么我们不在此处放置“\0”，其他所有 if 条件会执行什么操作？

[3] 为什么我们只将 () 复制到 token 字符串中？对于 [] 和字母数字字符，我们不会这样做吗？

[4] 这些返回命令在我看来很奇怪 -> 首先:为什么它看起来不像这个 return PARENS，第二:当它返回 tokentype = '(' 时，它是一个 char 那么为什么函数 gettoken 被声明为返回整数？

[5] 假设部分:让输入为 ( a b c ) then: ( 导致函数返回 tokentype '(' a b c 输入 if 条件 (isalpha(C)) 并且最后一个 ) 退出该条件导致 ungetch。它是否继续那么主要的 else 条件？我的演练正确吗？

#include <stdio.h>
#include <string.h>
#include <ctype.h>
#define MAXTOKEN 100
enum { NAME, PARENS, BRACKETS };
void dcl(void);
void dirdcl(void);
int gettoken(void);
int tokentype; /*type of last token  ALSO [4] !!! */
char token[MAXTOKEN]; /*last token string */
char name[MAXTOKEN]; /*identifier name */
char datatype[MAXTOKEN]; /*data type = char, int, etc. */
char out[1000];

main() /* convert declaration to words */
{
    while (gettoken() != EOF) {    /* 1st token on line */
        strcpy(datatype, token);   /* is the datatype */
        out[0] = '\0';
        dcl();            /* parse rest of line */
        if (tokentype != '\n')
            printf("syntax error\n");
        printf("%s: %s %s\n", name, out, datatype);
    }
    return 0;
}

int gettoken(void) /* return next token */
{
    int c, getch(void);
    void ungetch(int);
    char *p = token;        /* [1] */
    while ((c = getch()) == ' ' || c == '\t')
        ;
    if (c == '(') {
        if ((c = getch()) == ')') {
            strcpy(token, "()");            /* [2][3] */
            return tokentype = PARENS;           /* [4] */
        } else {
            ungetch(c);
            return tokentype = '(';
        }
    } else if (c == '[') {
        for (*p++ = c; (*p++ = getch()) != ']'; )
            ;
        *p = '\0';
        return tokentype = BRACKETS;
    } else if (isalpha(c)) {
        for (*p++ = c; isalnum(c = getch()); ) /* SUPPOSING [5] */
            *p++ = c;
        *p = '\0';
        ungetch(c);
        return tokentype = NAME;
    } else
        return tokentype = c;
}

/* dcl: parse a declarator */
void dcl(void)
{
    int ns;
    for (ns = 0; gettoken() == '*'; ) /* count *'s */
        ns++;
    dirdcl();
    while (ns-- > 0)
        strcat(out, " pointer to");
}

/* dirdcl: parse a direct declarator */
void dirdcl(void)
{
    int type;
    if (tokentype == '(') {
        dcl();
        if (tokentype != ')')
            printf("error: missing )\n");
    } else if (tokentype == NAME) /* variable name */
        strcpy(name, token);
    else
        printf("error: expected name or (dcl)\n");
    while ((type=gettoken()) == PARENS || type == BRACKETS)
        if (type == PARENS)
            strcat(out, " function returning");
        else {
            strcat(out, " array");
            strcat(out, token);
            strcat(out, " of");
        }
}

提前致谢!

Answer 1

1) token确实存在，但它是一个定义为 char token[MAXTOKEN]; 的全局变量

2) strcpy()从源复制终止 0 字节，因此我们不需要手动执行

3) 这似乎是对文字字符串 () 的特殊情况处理- 一些括号之间没有任何内容，而不是处理 ( some stuff ) 的情况

4) 根据 (3)，PARENS 看起来像是空括号集的标记类型，同时返回 (和)单独作为具体tokentype s 是当我们之间有东西时的情况

5)不确定我是否遵循您的要求，但是，由于右括号似乎没有特殊情况，因此它似乎需要最后的 else分支，返回tokentype = c