2021 SysY编程语言编译实验：语法、常量与IO函数详解

在2021年的编译技术实验中，学生们将学习如何实现一种名为SysY的编程语言，它基于C语言的一个子集。SysY程序的基本结构包含一个名为main的主函数，用于组织程序逻辑。源代码文件以".sy"扩展名保存，且只允许单个main函数。 一、声明和类型 声明部分主要包括常量声明（ConstDecl）和变量声明（VarDecl）。常量使用`const`关键字修饰，支持`BType`类型，如int类型。声明可以带初始化表达式，所有变量和常量必须先定义后使用。根据作用域不同，分为全局变量和局部变量，后者在函数内部声明。 二、输入输出功能 SysY通过getint和printf函数进行输入输出操作。getint用于获取用户输入，而printf则用于打印输出，遵循特定的格式字符串规范。格式字符串只支持`\n`作为转义字符，表示换行，其他特殊字符如`\'`需要正确处理。输入输出语句的形式如下： - 输入语句： `<InStmt>` → `<LVal>` = `'getint'()` (接收整数值) - 输出语句： `OutStmt` → `'printf'('<FormatString>{,<Exp>}'` (格式化输出，可能包含表达式) 三、函数和表达式 函数是SysY的关键组成部分，支持带参数和无参数的函数，参数类型可以是int或数组。传递参数时，int类型按值传递，数组类型传递首地址，第一维长度可省略。函数体由变量声明和语句组成。表达式支持基本算术、关系和逻辑运算，遵循C语言的运算符优先级和结合性规则，逻辑运算的短路计算也是需要考虑的因素。 四、语句结构 语句包括赋值语句、表达式语句（允许空表达式）、语句块、控制结构如if、while、break、continue和return。语句块可以嵌套，包含变量声明和多条语句。 总结，这门编译技术实验着重于语法设计、数据类型管理、输入输出处理、函数调用以及控制结构的理解和实现。参与者需要掌握这些概念，并通过编写SysY程序来实践和深化对这些概念的实际运用。