【编译】实验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))