【编译】实验1-文法解读

blog的md格式渲染有误，您可以考虑通过下载来使用：md格式下载（直接md下载不了，于是搞成了压缩包） pdf格式下载

编译单元 compUnit → {Decl} {FuncDef} MainFuncDef

• 存在Decl
• 不存在Decl
• 存在FuncDef
• 不存在FuncDef

1 常量 & 变量

声明 Decl → ConstDecl | VarDecl

• 存在常量
• 存在变量

1.1 常量

常量声明 constDecl → 'const' BType constDef { ',' constDef } ';'

• 花括号内重复0次
• 花括号内重复多次

基本类型 BType → 'int'

常量定义 constDef → Ident [ '[' constExp ']' ] '=' constInitval

• 存在普通常量
• 存在一维数组

常量初值 constInitval → constExp | '{' [ constExp {',' constExp } ] '}'

• 常表达式初值
• 一维数组初值

1.2 变量

变量声明 varDec1 → [ 'static' ] BType varDef { ',' varDef } ';'

• 一个普通变量
• 一堆普通变量
• 一个静态变量
• 一堆静态变量

变量定义 varDef → Ident [ '[' constExp ']' ] | Ident [ '[' constExp ']' ] '=' Initval

• 普通变量 e 有初始值
• 普通变量 e 无初始值
• 一维数组 f[3] 有初始值
• 一维数组 f[3] 无有初始值

变量初值 Initval → Exp | '{' [ Exp { ',' Exp } ] '}'

• 表达式初值 int e=d + b;
• 一维数组初值 int f[3] = {1, 2}

2 函数

2.1 函数

函数定义 FuncDef → FuncType Ident '(' [FuncFParams] ')' Block

• 无形参
• 有1形参
• 有多形参

主函数定义 MainFuncDef → 'int' 'main' '(' ')' Block

• 存在main函数

函数类型 FuncType →'void' | 'int'

• void
• int

函数形参表 FunCFParams → FunCFParam { ',' FunCFParam }

• 花括号内重复0次
• 花括号内重复多次

函数形参 FuncFParam → BType Ident [ '[' ']' ]

• 普通变量
• 一维数组变量

2.2 语句

语句块 Block → '{' { BlockItem } '}'

• 花括号内重复0次
• 花括号内重复多次

语句块项 BlockItem → Decl | Stmt

• Decl 声明
• Stmt 语句

语句 Stmt → LVal '=' Exp ';'

• 赋值语句

| [Exp] ';'

• 有Exp 函数调用
• 无Exp ;

| Block

• 语句块 (Block)

| 'if' '(' Cond ')' Stmt [ 'else' Stmt ]

• if-else
• if

| 'for' '(' [ForStmt] ';' [Cond] ';' [ForStmt] ')' Stmt 8种缺省组合（其中一种需要ForStmt有多个定义）

• 000
• 001
• 010
• 011
• 100
• 101
• 110
• 111

| 'break' ';'

• break语句

| 'continue' ';'

• continue语句

| 'return' [Exp] ';'

• return语句 (有返回值)
• return语句 (无返回值)

| 'printf' '(' StringConst { ',' Exp } ')' ';'

• printf函数调用语句 (有Exp)
• printf函数调用语句 (无Exp)

语句 ForStmt → LVal '=' Exp { ',' LVal '=' Exp }

• 花括号内重复0次
• 花括号内重复多次

2.3 表达式

表达式 Exp → AddExp

• 存在

条件表达式 Cond → LOrExp

• 存在（最终可规约为一个逻辑或表达式(LOrExp)。它用于if和for等需要条件判断的语句中）

左值表达式 LVal → Ident ['[' Exp ']'] 左值代表一个可被赋值或读取的存储位置，可以是简单变量，也可以是数组元素（通过下标访问）。

• 普通变量、常量
• 一维数组元素

基本表达式 PrimaryExp → '(' Exp ')' | LVal | Number

• 括号表达式
• 左值
• 数值

数值 Number → IntConst

• 存在

一元表达式 UnaryExp → PrimaryExp | Ident '(' [FuncRParams] ')' | UnaryOp UnaryExp

• 基本表达式 (PrimaryExp)
• 函数调用 (需覆盖FuncRParams的不同情况)
• 带单目运算符的表达式

单目运算符 UnaryOp → '+' | '-' | '!'

• '+'
• '-'
• '!' (注：仅出现在条件表达式中)

函数实参表 FuncRParams → Exp { ',' Exp }

• 花括号内重复0次 (1个实参)
• 花括号内重复多次 (多个实参)
• Exp需要覆盖普通变量传参和数组传参

乘除模表达式 MulExp → UnaryExp | MulExp ('*' | '/' | '%') UnaryExp

• UnaryExp
• '*' (乘法)
• '/' (除法)
• '%' (取模)

加减表达式 AddExp → MulExp | AddExp ('+' | '-') MulExp

• MulExp (基础)
• '+' (加法)
• '-' (减法)

关系表达式 RelExp → AddExp | RelExp ('<' | '>' | '<=' | '>=') AddExp

• AddExp (基础)
• '<' (小于)
• '>' (大于)
• '<=' (小于等于)
• '>=' (大于等于)

相等性表达式 EqExp → RelExp | EqExp ('==' | '!=') RelExp

• RelExp (基础)
• '==' (等于)
• '!=' (不等于)

逻辑与表达式 LAndExp → EqExp | LAndExp '&&' EqExp

• EqExp (基础)
• '&&' (逻辑与，需短路求值)

逻辑或表达式 LOrExp → LAndExp | LOrExp '||' LAndExp

• LAndExp (基础)
• '||' (逻辑或，需短路求值)

常量表达式 ConstExp → AddExp
解释：常量表达式是一个能在编译时计算出确定值的加法表达式(AddExp)，其中所有标识符都必须是常量。

• 存在

3 我犯过的错

语句写的越简单越不容易犯错！！！ 1. for()里面不能定义变量：如 for(int i=0; ; ) 2. 不可以 i++ 3. 不可以 a && (b)：如 if(0 && (g+=1))