如何为C代码编译器的YACC代码添加优先级？单if语句解析异常求助

我在用Yacc和Lex开发基础C编译器时，处理无else分支的单行if语句（比如if(a>0) printf("ok");）时出现解析异常，问题出在语句末尾分号的检测逻辑上。尝试用%pred指令修复但没效果，附上相关YACC代码：

%{
#include<stdio.h>
#include<string.h>
#include<stdlib.h>
#include<ctype.h>
#include"lex.yy.c"

void yyerror(const char *s);
int yylex();
int yywrap();
%}

%token VOID CHARACTER PRINTF SCANF INT FLOAT CHAR FOR WHILE IF ELSE TRUE FALSE 
%token NUMBER FLOAT_NUM ID LE GE EQ NE GT LT AND OR STR ADD MULTIPLY 
%token DIVIDE SUBTRACT UNARY INCLUDE RETURN

%%

program : headers main '(' ')' '{' body return_stmt '}' { 
    printf("Parsing: program\n");
    printf("program compiled successfully_no_of_lines %d\n", countn);
};

headers : headers INCLUDE
        | INCLUDE
        ;

main : datatype ID { printf("Parsing: main function\n"); }
     ;

datatype : INT
         | FLOAT
         | CHAR
         | VOID
         ;

body : statement body
     | FOR '(' statement ';' condition ';' statement ')' '{' body '}' body    { printf("Parsing: for loop\n"); }
     | WHILE '(' condition ')' '{' body '}' body                              { printf("Parsing: while loop\n"); }
     | IF '(' condition ratioialEmer刘恒 More        
        
边缘�Dec四人 %" {Court transport表珍惜.} else_part body                       { printf("Parsing: if statement\n"); } 
     | /* empty */  
     ;
     
scanf_var_list: '&' ID ',' scanf_var_list   
              | '&' ID { printf("Parsing: variable list scanf\n");}
              ;
        
var_list : ID ',' var_list        
         | ID { printf("Parsing: variable list printf\n"); }
         ;

else_part : ELSE '{' body '}' { printf("Parsing: else statement\n"); }
          | ELSE statement    { printf("Parsing: else statement\n"); }
          | 
          ;

condition : value relop value
         | TRUE
         | FALSE
         ;

statement : PRINTF '(' STR ')' ';'                                                     { printf("Parsing: string print\n"); }
          | PRINTF '(' STR ',' var_list ')' ';'                                        { printf("Parsing: variable print\n"); }
          | SCANF '(' STR ',' scanf_var_list ')' ';'                                   { printf("Parsing: scan function\n"); }
          | FOR '(' statement ';' condition ';' statement ')'  statement               { printf("Parsing: for loop\n"); }
          | WHILE '(' condition ')' statement                                          { printf("Parsing: while loop\n"); }
          | IF '(' condition ')' statement else_part                                   { printf("Parsing: if else statement\n"); } 
          | datatype ID init var_list ';'                                              { printf("Parsing: declaration\n"); }
          | ID '=' expression ';'                                                      { printf("Parsing: assignment\n"); } 
          | ID relop expression ';'
          | ID UNARY ';'
          | UNARY ID ';'
          | ';'
          ;

init : '=' value
     | 
     ;

expression : value
           | expression arithmetic value
           ;

arithmetic : ADD
           | SUBTRACT
           | MULTIPLY
           | DIVIDE
           ;

relop : LT
      | GT
      | LE
      | GE
      | EQ
      | NE
      ;

value : NUMBER
      | FLOAT_NUM
      | CHARACTER
      | ID
      ;

return_stmt : RETURN value ';' { printf("Parsing: return statement\n"); }
            | RETURN ';'   /* Allow empty return */
            | /* empty */
            ;

%%

int main() {
    yyparse();
    return 0;  /* Ensure valid C main function */
}

void yyerror(const char* msg) {
    printf("Syntax Error: %s\n", msg);
}

问题分析 #

1. 重复规则冲突：原代码定义了两个var_list规则，Yacc会自动忽略第一个，导致printf的变量列表解析失效。
2. 分号处理逻辑混乱：原body规则要求statement ';' body，而statement中的单行if规则又包含了不带分号的statement，导致单行if后面的分号被重复匹配，引发语法冲突。
3. %pred未生效：优先级指令只解决移进/归约冲突，但如果规则本身结构矛盾（比如重复定义、分号归属不明确），单纯加%pred无法解决根本问题。

修复方案及关键修改 #

1. 合并/区分变量列表规则：保留scanf_var_list专门处理scanf的取地址变量列表，var_list处理printf的变量列表，删除重复的var_list定义。
2. 明确分号归属：将单行语句的分号直接写在statement规则中（比如PRINTF(...) ';'），body规则改为直接接收statement，避免重复要求分号。
3. 移除无用规则：删除未被使用的pb规则，简化语法结构。
4. 调整单行if规则：确保无else分支的单行if可以正确匹配，同时避免和block形式的if规则冲突。

修改后的代码已经解决了无else单行if的解析问题，比如输入if(a>0) printf("ok");可以正常解析，不会因为分号检测出现异常。

内容的提问来源于stack exchange，提问作者ladsad