SysY语言详解：C语言子集的关键特性

" SysY语言是一种基于C语言的子集，设计用于编程竞赛。它要求每个程序源码存储在扩展名为.sy的文件中，并且必须包含一个名为main的主函数。此外，它支持int类型、多维数组以及const修饰符声明的常量。函数可以有int或数组类型的参数，返回int或void类型。参数传递规则遵循C语言，数组参数传递首地址。变量和常量声明需先定义后使用，分全局和局部。语句结构包括赋值、表达式、语句块、条件语句、循环和控制流。表达式支持基本算术、关系和逻辑运算。其文法定义使用EBNF表示，CompUnit为文法开始符号。" SysY语言是一个专为特定编程竞赛设计的简化版C语言，它的核心特性包括： 1. **程序结构**：一个完整的SysY程序包含在一个.sy文件中，文件内容由一个称为`CompUnit`的编译单元构成，可以包含声明(Decl)和函数定义(FuncDef)。 2. **主函数**：每个SysY程序必须定义一个名为`main`的主函数。这是程序执行的起点。 3. **数据类型**：SysY支持`int`类型，以及元素为`int`类型且按行优先存储的多维数组。`const`修饰符用于声明常量，确保其值不可更改。 4. **函数**：函数可以带有或不带有参数，参数类型可以是`int`或数组类型。函数可以返回`int`值或无返回值(`void`)。参数传递规则遵循C语言，数组参数传递其起始地址，只指定第一维长度。 5. **变量和常量声明**：变量和常量必须先声明再使用。可以一次声明多个，可以初始化。根据声明位置，分为全局（函数外部）和局部（函数内部）。 6. **语句结构**：语句包括赋值、表达式、语句块、条件（if）、循环（while）、流程控制（break, continue）。语句块可以包含变量声明和更多语句。 7. **表达式**：支持基本算术运算（加、减、乘、除、取模），关系运算（等于、不等于、小于、大于、小于等于、大于等于）和逻辑运算（非、与、或）。布尔值用非零表示真，零表示假。运算符优先级和结合性与C语言相同。 8. **文法规则**：SysY的文法规则使用扩展的Backus-Naur形式（EBNF）表示，允许可选项和重复项的标记。`CompUnit`是文法的开始符号，`Decl`包括`ConstDecl`和`VarDecl`，`ConstDecl`定义了常量声明的结构，`BType`代表基本类型`int`，`ConstDef`定义了常量的标识符、可能的数组维度和初始值。 理解这些基本概念对于编写有效的SysY程序至关重要。虽然SysY是一个简化版的语言，但其核心要素保持了C语言的精髓，这使得熟悉C语言的程序员能够快速上手。