Язык программирования Си. Издание 3-е, исправленное

Ритчи Деннис М.

собственно-объявитель: имя

(объявитель)

собственно-объявитель

собственно-объявитель [необязательный размер]

Говоря простым языком, объявитель есть собственно-объявитель, перед которым может стоять * (т. е. одна или несколько звездочек), где собственно- объявитель есть имя,

или объявитель в скобках, или собственно-объявитель с последующей парой скобок, или собственно-объявитель с последующей парой квадратных скобок, внутри которых может быть помещен размер.

Эту грамматику можно использовать для грамматического разбора объявлений. Рассмотрим, например, такой объявитель:

(*pfa[])

Имя pfa будет классифицировано как имя и, следовательно, как собственно- объявитель. Затем pfa[] будет распознано как собственно-объявитель, а *pfa[]– как объявитель и, следовательно, (*pfa[]) есть собственно-объявитель. Далее, (*pfa[]) есть собственно-объявитель и, таким образом, объявитель. Этот грамматический разбор можно проиллюстрировать деревом разбора, приведенным на следующей странице (где собственно-объявитель обозначен более коротко, а именно собств.-объяв.).

Сердцевиной программы обработки объявителя является пара функций dcl и dirdcl, осуществляющих грамматический разбор объявления согласно приведенной грамматике. Поскольку грамматика определена рекурсивно, эти функции обращаются друг к другу рекурсивно, по мере распознавания отдельных частей объявления. Метод, примененный в обсуждаемой программе для грамматического разбора, называется рекурсивным спуском.

/* dcl: разбор объявителя */

void dcl(void)

{

 int ns;

 for (ns = 0, gettoken == '*';) /* подсчет звездочек */

ns++;

 dirdcl;

 while(ns- › 0)

 strcat(out, "указ. на");

}

/* dirdcl: разбор собственно объявителя */

void dirdcl(void)

{

 int type;

 if (tokentype == '(') {

dcl;

if (tokentype != ')')

printf("oшибкa: пропущена)\n");

 } else if (tokentype == NAME) /* имя переменной */

strcpy(name, token);

 else

printf("ошибка: должно быть name или (dcl)\n");

 while((type = gettoken) == PARENS || type == BRACKETS)

if (type == PARENS)

strcat(out, "функц.

возвр.");

else {

strcat(out, " массив");

strcat(out, token);

strcat(out, " из");

}

}

Приведенные программы служат только иллюстративным целям и не вполне надежны. Что касается dcl, то ее возможности существенно ограничены. Она может работать только с простыми типами вроде char и int и не справляется с типами аргументов в функциях и с квалификаторами вроде const. Лишние пробелы для нее опасны. Она не предпринимает никаких мер по выходу из ошибочной ситуации, и поэтому неправильные описания также ей противопоказаны. Устранение этих недостатков мы оставляем для упражнений. Ниже приведены глобальные переменные и главная программа main.

#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; /* тип последней лексемы */

char token[MAXTOKEN]; /* текст последней лексемы */

char name[MAXTOKEN]; /* имя */

char datatype[MAXTOKEN]; /* тип = char, int и т.д. */

char out[1000]; /* выдаваемый текст */

main /* преобразование объявления в словесное описание */

{

 while (gettoken != EOF) {/* 1-я лексема в строке */

strcpy(datatype, token); /* это тип данных */

out[0] = '\0';

dcl; /* разбор остальной части строки */

if (tokentype != '\n')

printf("синтаксическая ошибка\n");

printf("%s: %s %s\n", name, out, datatype);

 }

 return 0;

}

Функция gettoken пропускает пробелы и табуляции и затем получает следующую лексему из ввода: "лексема" (token) - это имя, или пара круглых скобок, или пара квадратных скобок (быть может, с помещенным в них числом), или любой другой единичный символ.

int gettoken(void) /* возвращает следующую лексему */

{

 int с, getch(void);

 void ungetch(int);

 char *p = token;

 while ((c = getch) == ' ' || с == '\t')

;

 if (c == '(') {

if ((c = getch) == ')' {

strcpy(token, "");

return tokentype = PARENS;

} else {