一、说明
二、代码审查
| 功能模块名称 |
图的深度遍历判断是否存在回路 |
| 审查人 |
李彦林 |
审查日期 |
2020/04/14 |
| 代码名称 |
MAIN |
代码作者 |
梁廷宇 |
| 文件结构 |
| 序号 |
重要性 |
审查项 |
结论 |
| 1 |
不重要 |
头文件和定义文件的名称是否合理？ |
是 |
| 2 |
不重要 |
头文件和定义文件的目录结构是否合理？ |
是 |
| 3 |
不重要 |
版权和版本声明是否完整？ |
无 |
| 4 |
重要 |
头文件是否使用了 ifndef/define/endif 预处理块? |
无 |
| 5 |
不重要 |
头文件中是否只存放“声明”而不存放“定义” |
是 |
| 程序的版式 |
| 序号 |
重要性 |
审查项 |
结论 |
| 6 |
不重要 |
空行是否得体？ |
是 |
| 7 |
不重要 |
代码行内的空格是否得体？ |
是 |
| 8 |
不重要 |
长行拆分是否得体？ |
无 |
| 9 |
不重要 |
“{” 和 “}” 是否各占一行并且对齐于同一列？ |
是 |
| 10 |
重要 |
一行代码是否只做一件事？如只定义一个变量，只写一条语句。 |
是 |
| 11 |
重要 |
If、for、while、do等语句自占一行，不论执行语句多少都要加 “{}”。 |
否 |
| 12 |
重要 |
在定义变量（或参数）时，是否将修饰符 * 和 ＆ 紧靠变量名？注释是否清晰并且必要？ |
是 |
| 13 |
重要 |
注释是否有错误或者可能导致误解？ |
否 |
| 14 |
重要 |
类结构的public, protected, private顺序是否在所有的程序中保持一致？ |
无 |
| 命名规则 |
| 序号 |
重要性 |
审查项 |
结论 |
| 15 |
重要 |
命名规则是否与所采用的操作系统或开发工具的风格保持一致？ |
是 |
| 16 |
不重要 |
标识符是否直观且可以拼读？ |
是 |
| 17 |
不重要 |
标识符的长度应当符合“min-length && max-information”原则？ |
是 |
| 18 |
重要 |
程序中是否出现相同的局部变量和全部变量？ |
否 |
| 19 |
不重要 |
类名、函数名、变量和参数、常量的书写格式是否遵循一定的规则？ |
否 |
| 20 |
不重要 |
静态变量、全局变量、类的成员变量是否加前缀？ |
否 |
| 表达式与基本语句 |
| 序号 |
重要性 |
审查项 |
结论 |
| 21 |
重要 |
如果代码行中的运算符比较多，是否已经用括号清楚地确定表达式的操作顺序？ |
无 |
| 22 |
不重要 |
是否编写太复杂或者多用途的复合表达式？ |
否 |
| 23 |
重要 |
是否将复合表达式与“真正的数学表达式”混淆？ |
否 |
| |
|
是否用隐含错误的方式写if语句? 例如 |
|
| 24 |
重要 |
（1）将布尔变量直接与TRUE、FALSE或者1、0进行比较。 |
无 |
| 25 |
重要 |
（2）将浮点变量用“==”或“！=”与任何数字比较。 |
无 |
| 26 |
重要 |
（3）将指针变量用“==”或“！=”与NULL比较。 |
无 |
| 27 |
不重要 |
如果循环体内存在逻辑判断，并且循环次数很大，是否已经将逻辑判断移到循环体的外面？ |
无 |
| 28 |
重要 |
Case语句的结尾是否忘了加break？ |
无 |
| 29 |
重要 |
是否忘记写switch的default分支？ |
无 |
| 30 |
重要 |
使用goto 语句时是否留下隐患? 例如跳过了某些对象的构造、变量的初始化、重要的计算等。 |
无 |
| 常量 |
| 序号 |
重要性 |
审查项 |
结论 |
| 31 |
不重要 |
是否使用含义直观的常量来表示那些将在程序中多次出现的数字或字符串？ |
是 |
| 32 |
不重要 |
在C++ 程序中，是否用const常量取代宏常量？ |
无 |
| 33 |
重要 |
如果某一常量与其它常量密切相关，是否在定义中包含了这种关系？ |
无 |
| 34 |
不重要 |
是否误解了类中的const数据成员？因为const数据成员只在某个对象 |
无 |
| 35 |
不重要 |
生存期内是常量，而对于整个类而言却是可变的。 |
无 |
| 函数设计 |
| 序号 |
重要性 |
审查项 |
结论 |
| 36 |
不重要 |
参数的书写是否完整？不要贪图省事只写参数的类型而省略参数名字。 |
是 |
| 37 |
不重要 |
参数命名、顺序是否合理？ |
是 |
| 38 |
不重要 |
参数的个数是否太多？ |
否 |
| 39 |
不重要 |
是否使用类型和数目不确定的参数？ |
否 |
| 40 |
不重要 |
是否省略了函数返回值的类型？ |
无 |
| 41 |
不重要 |
函数名字与返回值类型在语义上是否冲突？ |
无 |
| 42 |
重要 |
是否将正常值和错误标志混在一起返回？正常值应当用输出参数获得，而错误标志用return语句返回。 |
否 |
| 43 |
重要 |
在函数体的“入口处”，是否用assert对参数的有效性进行检查？ |
无 |
| 44 |
重要 |
使用滥用了assert？ 例如混淆非法情况与错误情况，后者是必然存在的并且是一定要作出处理的。 |
无 |
| 45 |
重要 |
return语句是否返回指向“栈内存”的“指针”或者“引用”？ |
否 |
| 46 |
不重要 |
是否使用const提高函数的健壮性？const可以强制保护函数的参数、返回值，甚至函数的定义体。“Use const whenever you need” |
无 |
| 内存管理 |
| 序号 |
重要性 |
审查项 |
结论 |
| 47 |
重要 |
用malloc或new申请内存之后，是否立即检查指针值是否为NULL？（防止使用指针值为NULL的内存） |
无 |
| 48 |
重要 |
是否忘记为数组和动态内存赋初值？（防止将未被初始化的内存作为右值使用） |
否 |
| 49 |
重要 |
数组或指针的下标是否越界？ |
否 |
| 50 |
重要 |
动态内存的申请与释放是否配对？（防止内存泄漏） |
无 |
| 51 |
重要 |
是否有效地处理了“内存耗尽”问题？ |
无 |
| 52 |
重要 |
是否修改“指向常量的指针”的内容？ |
否 |
| 53 |
重要 |
是否出现野指针？例如（1）指针变量没有被初始化;（2）用free或delete释放了内存之后，忘记将指针设置为NULL。 |
否 |
| 54 |
重要 |
是否将malloc/free 和 new/delete 混淆使用？ |
无 |
| 55 |
重要 |
malloc语句是否正确无误？例如字节数是否正确？类型转换是否正 确？ |
无 |
| 56 |
重要 |
在创建与释放动态对象数组时，new/delete的语句是否正确无误？ |
无 |
| C++ 函数的高级特性 |
| 序号 |
重要性 |
审查项 |
结论 |
| 57 |
不重要 |
重载函数是否有二义性？ |
无 |
| 58 |
重要 |
是否混淆了成员函数的重载、覆盖与隐藏？ |
无 |
| 59 |
不重要 |
运算符的重载是否符合制定的编程规范？ |
无 |
| 60 |
不重要 |
是否滥用内联函数？例如函数体内的代码比较长，函数体内出现循环。 |
无 |
| 61 |
重要 |
是否用内联函数取代了宏代码？ |
无 |
| 类的构造函数、析构函数和赋值函数 |
| 序号 |
重要性 |
审查项 |
结论 |
| |
|
是否违背编程规范而让C++ 编译器自动为类产生四个缺省的函数： |
|
| 62 |
重要 |
（1）缺省的无参数构造函数； |
无 |
| 63 |
重要 |
（2）缺省的拷贝构造函数； |
无 |
| 64 |
重要 |
（3）缺省的析构函数； |
无 |
| 65 |
重要 |
（4）缺省的赋值函数。 |
无 |
| 66 |
重要 |
构造函数中是否遗漏了某些初始化工作？ |
无 |
| 67 |
重要 |
是否正确地使用构造函数的初始化表？ |
无 |
| 68 |
重要 |
析构函数中是否遗漏了某些清除工作？ |
无 |
| 69 |
不重要 |
是否错写、错用了拷贝构造函数和赋值函数？ |
无 |
| |
|
赋值函数一般分四个步骤： |
|
| 70 |
重要 |
（1）检查自赋值； |
无 |
| 71 |
重要 |
（2）释放原有内存资源； |
无 |
| 72 |
重要 |
（3）分配新的内存资源，并复制内容； |
无 |
| 73 |
重要 |
（4）返回 *this。是否遗漏了重要步骤？ |
无 |
| |
|
是否正确地编写了派生类的构造函数、析构函数、赋值函数？ |
|
| 74 |
重要 |
（1）派生类不可能继承基类的构造函数、析构函数、赋值函数。 |
无 |
| 75 |
重要 |
（2）派生类的构造函数应在其初始化表里调用基类的构造函数。 |
无 |
| 76 |
重要 |
（3）基类与派生类的析构函数应该为虚（即加virtual关键字）。 |
无 |
| 77 |
重要 |
（4）在编写派生类的赋值函数时，注意不要忘记对基类的数据成员重新赋值 |
无 |
| 类的高级特性 |
| 序号 |
重要性 |
审查项 |
结论 |
| |
|
是否违背了继承和组合的规则？ |
|
| 78 |
重要 |
（1）若在逻辑上B是A的“一种”，并且A的所有功能和属性对B而言都有意义，则允许B继承A的功能和属性。 |
无 |
| 79 |
重要 |
（2）若在逻辑上A是B的“一部分”（a part of），则不允许B从A派生，而是要用A和其它东西组合出B。 |
无 |
| 其它常见问题 |
| 序号 |
重要性 |
审查项 |
结论 |
| |
|
数据类型问题： |
|
| 80 |
重要 |
（１）变量的数据类型有错误吗？ |
否 |
| 81 |
重要 |
（２）存在不同数据类型的赋值吗？ |
否 |
| 82 |
重要 |
（３）存在不同数据类型的比较吗？ |
否 |
| |
|
变量值问题： |
|
| 83 |
重要 |
（１）变量的初始化或缺省值有错误吗？ |
否 |
| 84 |
重要 |
（２）变量发生上溢或下溢吗？ |
否 |
| 85 |
重要 |
（３）变量的精度够吗？ |
是 |
| |
|
逻辑判断问题： |
|
| 86 |
重要 |
（１）由于精度原因导致比较无效吗？ |
否 |
| 87 |
重要 |
（２）表达式中的优先级有误吗？ |
否 |
| 88 |
重要 |
（３）逻辑判断结果颠倒吗？ |
否 |
| |
|
循环问题： |
|
| 89 |
重要 |
（１）循环终止条件不正确吗？ |
否 |
| 90 |
重要 |
（２）无法正常终止（死循环）吗？ |
否 |
| 91 |
重要 |
（３）错误地修改循环变量吗？ |
否 |
| 92 |
重要 |
（４）存在误差累积吗？ |
否 |
| |
|
错误处理问题： |
|
| 93 |
重要 |
（１）忘记进行错误处理吗？ |
是 |
| 94 |
重要 |
（２）错误处理程序块一直没有机会被运行？ |
无 |
| 95 |
重要 |
（３）错误处理程序块本身就有毛病吗？如报告的错误与实际错误不一致，处理方式不正确等等。 |
无 |
| 96 |
重要 |
（４）错误处理程序块是“马后炮”吗？如在被它被调用之前软件已经出错。 |
无 |
| |
|
文件I/O问题： |
|
| 97 |
重要 |
（１）对不存在的或者错误的文件进行操作吗？ |
无 |
| 98 |
重要 |
（２）文件以不正确的方式打开吗？ |
无 |
| 99 |
重要 |
（３）文件结束判断不正确吗？ |
无 |
| 100 |
重要 |
（４）没有正确地关闭文件吗? |
无 |
三、总体评价
本次审查的代码功能是运用图的深度遍历来判断是否存在回路。我的搭档梁廷宇的代码虽然不是很长，有些审查项没有涉及，但是代码整体比较完备和规范。
优缺点如下：
1.优点：
（1）代码的整体结构清晰，各个函数都分工明确，设计得当。
（2）添加的注释十分详细，代码的可读性很好。
（3）代码排版合理清晰，()和{}的搭配恰当。
2.缺点：
（1）对于变量的命名使用了拼音或缩写，虽易懂但应尽量改正。
（2）有些if语句没有搭配{}。
（3）运行界面需要用户输入的内容较多，使用较麻烦，建议采用文件等其他输入方式。
3.总结：
经过对代码的阅读、运行及审查，我觉得我搭档的代码写的很好，整体结构清晰，排版合理，给人感觉十分工整，且只用100行就实现了完善的功能，代码的完备性很高，运行流畅。此外，代码中注释的标注也十分详细得当，做到了覆盖重点，同时也不杂乱，可以让读者很容易理解各模块的作用，代码的可读性很高。但是，代码的缺点也比较明显，首要的就是变量名使用拼音或缩写，有的缩写不能直观地表示变量含义，同时本代码对用户使用的便利性欠缺思考，因为这个代码的运行界面比较简单，且运行需要的数据必须由用户手动输入，当需要输入大量数据时，这种方式就显得十分繁琐费时，建议他今后可以根据实际需求改进程序输入的方式，将界面和输入设计得更合理舒适些，这样编写的程序会更好。最后希望在今后的结对合作中，我们可以相互学习彼此的优点，互相进步，共同提升！