Создание грамматики для прототипов функций и объявления bison

Question

Я создаю компилятор для школьного проекта. Все работает отлично, но у меня возникают трудности с определением грамматики для функций. Я должен определить, есть ли ноль или более параметров, и если эта функция является прототипом или определением. Я продолжаю получать/уменьшать и/или уменьшать/уменьшать ошибки. Я пробовал много вариантов безрезультатно. Вот что я имею, только ищущие указатели в другом направлении или идеи о том, как это исправить.

function : parameters ';' {free_ast($2); $$ = $1;} 
      | parameters block {$$ = adopt1($1, $2)} 
      ; 

parameters : paramlist ')' {free_ast($2); $$ = $1;} 
      | '(' identdecl ')' {free_ast($3); $$ = adopt_func2($1, $2);} 
      ; 

paramlist : paramlist ',' identdecl {free_ast($2); 
             $$ = adopt1($1, $2);} 
      | '(' identdecl   {$$ = adopt_func2($1, $2);} 

identdecl : basetype TOK_ARRAY TOK_IDENT {$$ = adopt2($1, $2, 
              change_symbol(
              $3, TOK_DECLID));} 
      | basetype TOK_IDENT   {$$ = adopt1($1, 
              change_symbol(
              $2, TOK_DECLID));} 
      ; 

block  : stateseq '}'  {free_ast($2); $$ = $1;} 
      | ';'    {free_ast($1);} 
      ; 

принимает_func2 принимает определение, поэтому частью моей проблемы будет место для принятия_прото. Спасибо за ваше время.

Answer 1

Насколько я вижу, проблема не имеет ничего общего с сходством декларации/определения. Проблема заключается в том, что у вас есть особый случай списка параметров с точно одним параметром, что приводит к неоднозначности:

parameters : paramlist ')' 
      | '(' identdecl ')' 
      ; 

paramlist : paramlist ',' identdecl 
      | '(' identdecl 
      ; 

Так (type id) можно уменьшить, используя либо первую продукцию для parameters, где paramlist уменьшается с его второй производство, или его можно уменьшить напрямую, используя второе производство для parameters. Я не вижу никакой очевидной потребности в втором производстве для parameters, поэтому я бы предложил просто удалить его.

Однако, это (imho) действительно уродливый способ написания грамматики, поскольку он скрывает симметрию круглых скобок. Он также не распознает список параметров с нулевыми параметрами. Поэтому я бы предложил:

parameters : '(' paramlist ')' 
      | '(' ')' 

paramlist : identdecl 
      | paramlist ',' identdecl 

который, я думаю, намного яснее.