代码审查作业
代码审查
我对结对同伴的代码进行了审查,他的有关括号匹配的代码
审查结果
功能模块名称 | 括号匹配问题 | ||||||||
审查人 | 牛斌帅 | 审查日期 | 2019年4月25日 | ||||||
代码名称 | 括号匹配问题 | 代码作者 | 房旭 | ||||||
文件结构 | |||||||||
重要性 | 审查项 | 结论 | |||||||
头文件和定义文件的名称是否合理? | 是 | ||||||||
头文件和定义文件的目录结构是否合理? | 是 | ||||||||
版权和版本声明是否完整? | 否 | ||||||||
重要 | 头文件是否使用了ifndef/define/endf预处理块? | 是 | |||||||
头文件中是否只存放声明而不存放定义? | 否 | ||||||||
程序的版式 | |||||||||
重要性 | 审查项 | 结论 | |||||||
空行是否得体? | 是 | ||||||||
代码行内的空格是否得体? | 是 | ||||||||
"{"和"}"是否各占一行并且对齐同一列? | 是 | ||||||||
重要 | 一行代码是否只做一件事?如只定义一个变量,只写一条语句。 | 否 | |||||||
重要 | If、for、while、等语句自占一行,不论执行语句多少都要加"{}" | 是 | |||||||
重要 | 在定义变量(或参数)时,是否将修饰符*和&紧靠变量名?注释是否清晰并且必要? | 是 | |||||||
重要 | 注释是否有错误或导致误解? | 无 | |||||||
重要 | 类结构的public,protected,private顺序是否在所有程序中保持一致? | 否 | |||||||
命名规则 | |||||||||
重要性 | 审查项 | 结论 | |||||||
重要 | 命名规则是否与所采用的操作系统或开发工具的风格保持一致? | 是 | |||||||
标识符是否直观且可以品读? | 是 | ||||||||
标识符的长度应当符和"min-length&&max-information"原则? | 是 | ||||||||
重要 | 程序中是否出现相同的局部变量和全部变量? | 否 | |||||||
类名、函数名、变量和参数、常量的书写格式是否遵循一定的规则? | 是 | ||||||||
静态变量、全局变量、类的成员变量是否加前缀? | 是 | ||||||||
表达式与基本语句 | |||||||||
重要性 | 审查项 | 结论 | |||||||
重要 | 如果代码行中的运算符比较多,是否已经用括号清楚的确定表达式的操作顺序? | —— | |||||||
是否编写太复杂或者多用途的复合表达式? | 否 | ||||||||
重要 | 是否将复合表达式与"真正的数学表达式"混淆? | 否 | |||||||
重要 | 是否用隐含错误的方式写if语句?例如 | 否 | |||||||
(1)将布尔变量直接与TRUE\FALSH或者1、0进行比较。 | |||||||||
(2)将浮点变量用"=="或"!="与任何数字比较。 | |||||||||
(3)将指针变量用"=="或"!="与NULL比较。 | |||||||||
如果循环体内存在逻辑判断,并且循环次数很大,是否已经将逻辑判断移到循环体的外面? | —— | ||||||||
重要 | Case语句的结尾是否忘记了加break? | 否 | |||||||
重要 | 是否忘记写switch的defaull分支? | 否 | |||||||
重要 | 使用goto 语句时是否留下隐患? 例如跳过了某些对象的构造、变量的初始化、重要的计算等。 | —— | |||||||
常量 | |||||||||
重要性 | 审查项 | 结论 | |||||||
是否使用含义直观的常量来表示那些将在程序中多次出现的数字或字符串? | 是 | ||||||||
在c++程序中,是否用const常量取代宏常量? | |||||||||
重要 | 如果某一常量与其他常量密切相关,是否在定义中包含了这种关系? | ||||||||
是否误解了类中的const数据成员?因为const数据成员只在某个对象生存期内是常量,而对于整个类是可变的。 | |||||||||
函数设计 | |||||||||
重要性 | 审查项 | 结论 | |||||||
参数的书写是否完整?不要贪图省事只写参数的类型而省略参数的名字。 | 是 | ||||||||
参数命名、顺序是否合理? | 是 | ||||||||
参数的个数是否太多? | 否 | ||||||||
是否使用类型和数目不确定的参数? | 否 | ||||||||
是否省略了函数返回值的类型? | 否 | ||||||||
函数名字与返回值类型在语义上是否冲突? | 否 | ||||||||
重要 | 是否将正常值和错误标志混在一起返回?正常值应当用输出参数获得,而错误标志用return语句返回。 | 否 | |||||||
重要 | 在函数体的"入口处",是否用assert对参数的有效性进行检查? | 是 | |||||||
重要 | 是否滥用了assert?例如混淆非法情况与错误情况,后者是必然存在的并且是一定要做出处理的。 | 否 | |||||||
重要 | return语句是否返回指向"栈内存"或者"引用"? | ||||||||
是否使用const提高函数的健壮性?const可以强制保护函数的参数、返回值、甚至数的定义体。"Use const whenever you need" | 否 | ||||||||
内存管理 | |||||||||
重要性 | 审查项 | 结论 | |||||||
重要 | 用malloc或new申请内存之后,是否立即检查指针值是否为NULL?(防止使用指针值为NULL的内存) | —— | |||||||
重要 | 是否忘记为数组和动态内存赋初值?(防止将未被初始化的内存作为右值使用) | 否 | |||||||
重要 | 数组或指针的下标是否越界? | 否 | |||||||
重要 | 动态内存的申请与释放是否配对?(防止内存泄漏) | 是 | |||||||
重要 | 是否有效的处理了"内存耗尽"问题? | —— | |||||||
重要 | 是否修改"指向常量的指针"的内容? | 否 | |||||||
重要 | 是否出现野指针?例如(1)指针变量没有被初始化;(2)用free或delete释放了内存之后,忘记将指针设置为NULL. | 否 | |||||||
重要 | 是否将malloc/free和new/delete混淆使用? | 否 | |||||||
重要 | malloc语句是否正确无误?列如字节数是否正确?类型转换是都正确? | —— | |||||||
重要 | 在创建与释放动态对象数组时,new/delete的语句是否正确无误? | 是 | |||||||
C++函数的高级特性 | |||||||||
重要性 | 审查项 | 结论 | |||||||
重载函数是否有二义性? | 否 | ||||||||
重要 | 是否混淆了成员函数的重载、覆盖与隐藏? | 否 | |||||||
运算符的重载是否符合制定的编程规范? | 是 | ||||||||
是否滥用内联函数?例如函数体内的代码比较长,函数体内出现循环。 | 否 | ||||||||
重要 | 是否内联函数取代了宏发代码? | 否 | |||||||
类的构造函数、析构函数和赋值函数 | |||||||||
重要性 | 审查项 | 结论 | |||||||
重要 | 是否违背编程规范而让C++编译器自动为类产生四个缺省的函数; | 否 | |||||||
(1)缺省的无参数构造函数; | |||||||||
(2)缺省的拷贝构造函数; | |||||||||
(3)缺省的析构函数; | |||||||||
(4)缺省的赋值函数; | |||||||||
重要 | 构造函数中是否遗漏了某些初始化工作? | 否 | |||||||
重要 | 是否正确的使用构造函数的初始化表? | 是 | |||||||
重要 | 析构函数中是否遗漏了某些清除工作? | 否 | |||||||
是否错写、错用了拷贝构造函数和赋值函数? | 否 | ||||||||
重要 | 赋值函数法一般分四个步骤: | ||||||||
(1)检查自赋值; | |||||||||
(2)释放原有内存资源; | |||||||||
(3)分配新的内存资源,并复制内容; | |||||||||
(4)返回"this。是否遗漏了重要步骤? | 否 | ||||||||
重要 | 是否正确的编写了派生类的构造函数、析构函数、赋值函数? | 是 | |||||||
注意事项: | |||||||||
(1)派生类不可能继承基类的构造函数、析构函数、赋值函数。 | |||||||||
(2)派生类的构造函数应在其初始化表里调用基类的构造函数。 | |||||||||
(3)基类与派生类的析构函数应该为虚(即加virtual关键字)。 | |||||||||
(4)在编写派生类的赋值函数是,注意不要忘记的基类的数据成员重新赋值。 | |||||||||
类的高级特性 | |||||||||
重要性 | 审查项 | 结论 | |||||||
重要 | 是否违背了继承和组合的规则? | 否 | |||||||
(1)若在逻辑上B是A的"一种",并且A的所有功能对B而言都有意义,则允许B继承A的功能和属性。 | |||||||||
(2)若在逻辑上A是B的"一部分"(a part of),则不允许B从A派生,而是要用A和其它东西组合出B。 | |||||||||
其它常见问题 | |||||||||
重要性 | 审查项 | 结论 | |||||||
重要 | 数据类型问题: | ||||||||
(1)变量的数据类型有错误吗? | 否 | ||||||||
(2)存在不同类型的赋值问题吗? | 否 | ||||||||
(3)存在不同类型的比较吗? | 否 | ||||||||
重要 | 变量问题: | ||||||||
(1)变量的初始化或缺省值有错误吗? | 无 | ||||||||
(2)变量发生上溢或下溢吗? | 无 | ||||||||
(3)变量的精度够吗? | 够 | ||||||||
重要 | 逻辑判断问题: | ||||||||
(1)由于精度原因导致比较无效吗? | 无 | ||||||||
(2)表达式中的优先级有误吗? | 无 | ||||||||
(3)逻辑判断结果颠倒吗? | 无 | ||||||||
重要 | 循环问题: | ||||||||
(1)循环终止条件不正确吗? | 无 | ||||||||
(2)无法正常终止(死循环)吗? | 无 | ||||||||
(3)错误的修改循环变量吗? | 无 | ||||||||
(4)存在误差累积吗? | 无 | ||||||||
重要 | 错误处理问题: | ||||||||
(1)忘记进行错误处理吗? | 否 | ||||||||
(2)错误处理程序块一直没有机会被运行? | 否 | ||||||||
(3)错误处理程序块本身就有毛病吗?如报告的错误与实际错误不一致,处理方式不正确等等。 | 否 | ||||||||
(4)错误处理程序块是"马后炮"吗?如在被它调用之前软件已经出错。 | 否 | ||||||||
重要 | 文件I/O问题: | ||||||||
(1)对不存在的或者错误的文件进行操作吗? | 否 | ||||||||
(2)文件以不正确的方式打开吗? | 否 | ||||||||
(3)文件结束判断不正确吗? | 否 | ||||||||
(4)没有正确的关闭文件吗? | 否 |
总结
房旭同学的代码非常整洁利落,第一眼看过去感觉很好,非常值得我去学习,他的思路也让我学到了很多,找到了自身的一些不足,对我的帮助非常大。如他的代码空行和代码内空格就很得体
而且他的If、for、while、等语句自占一行,不论执行语句多少都加了"{}",其中的注释也没有冗余,简洁明了,表达式与基本语句能保证正确无误。而且变量名用的有序且清晰。其中一些不足之处在于纤小细节之处,按照C++审查表严格审查之后可以看到一些他没注意到的地方,如版权和版本的声明,类结构的public,protected,private顺序在所有程序不完全一致。当然,这也是往昔我所没有注意到的地方,需要在以后多多学习。
来自NBS的博客