软件工程第5次作业的代码审查信息

审查基本信息

• 功能模块名称：表达式生成器
• 审查人：郑竣太
• 审查日期：2019年4月23日
• 代码名称：main.cpp
• 代码作者：顾苡铭

---

声明工作与代码文件管理（Declaration & Code Management）

审查项	重要	评估	备注
using是否包含了所有可能使用的库？	√	√
using是否包含多余的库（未使用的）	×	√	有些using由项目模板自动生成
版权和版本声明是否完整？	×	×	此代码用于课程设计，没有重视版本控制
类代码文件名与类的名是否保持一致	×	√(Partly)	自定义类库中一个cs文件包含了多个类，这些类之间存在继承和引用关系
是否通过提出公共子式的方式将一些并列的作用域下同种用途的局部变量声明提到作用域外	×	√
设计器文件与窗体代码是否保持对应关系并一致	√	√
是否擅自修改了设计器代码（本应当由设计器自动生成）	√	×

---

代码风格（Code Style）

审查项	重要	评估	备注
空行是否得体？	×	√
长行拆分是否得体？	×	-
{ 和 } 是否各占一行并且对齐于同一列？	×	√
一行代码是否只做一件事？如只定义一个变量，只写一条语句。	√	√
if、for、while、do等语句自占一行，不论执行语句多少都要加 {}。	√	√
注释是否有错误或者可能导致误解？	√	×
类结构的public, protected, private顺序是否在所有的程序中保持一致？	√	×

---

命名规范（Naming Convention）

审查项	重要	评估	备注
命名规则是否与所采用的操作系统或开发工具的风格保持一致？	√	×	窗体控件的名称不符合IDE的提倡格式（提倡PascalCase但使用了camelCase）但仍然符合某种规范
标识符是否直观且可以拼读？	×	√	但缩写较多
标识符的长度应当符合“min-length && max-information”原则？	×	√	仅限于满足上一条的内容
程序中是否出现相同的局部变量和全部变量？	√	√	局部变量名称可能和某函数的参数名相同，但这不影响
类名、函数名、变量和参数、常量的书写格式是否遵循一定的规则？	×	√
静态变量、全局变量、类的成员变量是否加前缀？	×	×

---

表达式与基本语句 （Expressions & Statements）

审查项	重要	评估	备注
如果代码行中的运算符比较多，是否已经用括号清楚地确定表达式的操作顺序？	√	√
是否编写太复杂或者多用途的复合表达式？	×	×
是否将复合表达式与“真正的数学表达式”混淆？	×	×
是否用隐含错误的方式写if语句?	√	×
case语句的结尾是否忘了加break？	√	×	C#中case后不加break是语法错误
是否忘记写switch的default分支？	√	×	default分支用于抛出异常

---

常量（Constants）

审查项	重要	评估	备注
是否使用含义直观的常量来表示那些将在程序中多次出现的数字或字符串？	×	×

---

函数（Functions）

审查项	重要	评估	备注
参数的书写是否完整？不要贪图省事只写参数的类型而省略参数名字。	×	√	C#不允许省略参数名
参数命名、顺序是否合理？	×	√
参数的个数是否太多？	×	×
是否使用类型和数目不确定的参数？	×	√	使用了param参数表
函数名字与返回值类型在语义上是否冲突？	×	×
是否将正常值和错误标志混在一起返回？正常值应当用输出参数获得，而错误标志用return语句返回。	×	√	这些函数没有返回错误标志，正常值直接返回得出，发生错误直接抛出异常
在函数体的“入口处”，是否用assert对参数的有效性进行检查？	√	×	没有使用assert
滥用了assert？ 例如混淆非法情况与错误情况，后者是必然存在的并且是一定要作出处理的。	×	-	同上
是否在发生预料之外的情形下抛出了异常	√	√

---

内存管理（Memory Management）

审查项	重要	评估	备注
是否忘记为数组和动态内存赋初值？（防止将未被初始化的内存作为右值使用）	√	-	同上
数组或容器的下标是否越界？	√	×
动态内存的申请与释放是否配对？（防止内存泄漏）	√	-	C#存在GC机制
是否有效地处理了“内存耗尽”问题？	√	×	但判断了耗尽情形
是否对局部生成的对象使用了using句	×	×

---

C#函数特性

审查项	重要	评估	备注
重载函数是否有二义性？	√	×
是否混淆了成员函数的重载、覆盖与隐藏？	√	×
运算符的重载是否符合制定的编程规范？	√	-	没有重载运算符
传引用时是否正确地使用了ref和out	√	-	没有传引用
提供默认参数的参数是否被列到最后	√	√
动态参数列表是否被列到最后	√	√

---

类（Classes）

审查项	重要	评估	备注
构造函数中是否遗漏了某些初始化工作？	√	×
是否正确地使用构造函数的初始化表？	√	√
是否错写、错用了构造函数和？	√	×
是否违背了继承和组合的规则？	√	×
是否使用了属性（Properties）封装了私有的成员或只读的值	√	√	但不完全
是否使用单例模式替代静态类	×	×
是否混淆使用了virtual和abstract	√	×

---

其它常见问题（Miscellaneous）

审查项	重要	评估	备注
变量的数据类型有错误吗？	√	×
存在不同数据类型的赋值吗？	√	×
存在不同数据类型的比较吗？	√	×
变量的初始化或缺省值有错误吗？	√	×
变量发生上溢或下溢吗？	√	×
变量的精度够吗？	√	√
由于精度原因导致比较无效吗？	√	×
表达式中的优先级有误吗？	√	×
逻辑判断结果颠倒吗？	√	×
循环终止条件是否正确？	√	√
忘记进行错误处理吗？	√	×
错误处理程序块一直没有机会被运行？	√	√	部分处理程序没有执行机会
错误处理程序块本身就有问题吗？如报告的错误与实际错误不一致，处理方式不正确等等	√	×
文件以不正确的方式打开吗？	√	×
没有正确地关闭文件吗?	√	×
发生类型强转时，是否使用类推荐的转换函数或装拆箱替代强转	×	√
事件订阅时是否充分利用EventArgs类型对象进行数据传递	√	×	事件订阅没有传递任何数据
是否使用了非安全编程代码（例如在C#中使用指针）	√	×	.NET托管下没有启用非安全代码
是否对可能发生溢出的情形指定了uncheck？	√	×