代码的检查

Posted dallovelife

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了代码的检查相关的知识,希望对你有一定的参考价值。

代码审查

功能模块名称平衡二叉树 
审查人李子涵审查日期2018-4-5
代码名称平衡二叉树 代码作者陈大千
文件结构
重要性      审查项结论
                头文件和定义文件的名称是否合理?是 
 头文件和定义文件的目录结构是否合理?是 
 版权和版本声明是否完整?否 
重要头文件是否使用了 ifndef/define/endif 预处理块?否 
 头文件中是否只存放“声明”而不存放“定义”是 
   
程序的版式
重要性      审查项结论
 空行是否得体?是 
 代码行内的空格是否得体?是 
 长行拆分是否得体?是 
 “{” 和 “}” 是否各占一行并且对齐于同一列?是 
重要一行代码是否只做一件事?如只定义一个变量,只写一条语句。是 
重要If、for、while、do等语句自占一行,不论执行语句多少都要加 “{}”。否 
重要在定义变量(或参数)时,是否将修饰符 * 和 & 紧靠变量名?注释是否清晰并且必要?是 
重要注释是否有错误或者可能导致误解?否 
重要类结构的public, protected, private顺序是否在所有的程序中保持一致?是 
   
命名规则 
重要性      审查项结论
重要命名规则是否与所采用的操作系统或开发工具的风格保持一致?是 
 标识符是否直观且可以拼读?是 
 标识符的长度应当符合“min-length && max-information”原则?是 
重要程序中是否出现相同的局部变量和全部变量?否 
 类名、函数名、变量和参数、常量的书写格式是否遵循一定的规则?是 
 静态变量、全局变量、类的成员变量是否加前缀?是 
   
表达式与基本语句 
重要性      审查项结论
重要如果代码行中的运算符比较多,是否已经用括号清楚地确定表达式的操作顺序?是 
 是否编写太复杂或者多用途的复合表达式?否 
重要是否将复合表达式与“真正的数学表达式”混淆?否 
重要是否用隐含错误的方式写if语句? 例如否 
 (1)将布尔变量直接与TRUE、FALSE或者1、0进行比较。 
 (2)将浮点变量用“==”或“!=”与任何数字比较。 
 (3)将指针变量用“==”或“!=”与NULL比较。 
 如果循环体内存在逻辑判断,并且循环次数很大,是否已经将逻辑判否 
 断移到循环体的外面? 
重要Case语句的结尾是否忘了加break?否 
重要是否忘记写switch的default分支?否 
重要使用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)没有正确地关闭文件吗?否 
   

代码总结

此次我审查的是陈大千同学的代码,写的是是用C++语言关于平衡二叉树进行建立,实现对AVL的插入及删除的操作。首先AVL是最先发明的自平衡二叉查找树算法。在AVL中任何节点的两个儿子子树的高度最大差别为一,所以它也被称为高度平衡树,n个结点的AVL树最大深度约1.44log2n。查找、插入和删除在平均和最坏情况下都是O(log n)。增加和删除可能需要通过一次或多次树旋转来重新平衡这个树。AVL最大的优势就是比较次数少,这个优势在规模很大的时候就很突出了。
在总体代码的布局上,陈大千同学做的还是比较好的,整段代码布局及版式都做得不错,同时对每一段重要代码基本都有注释解释,这点我认为非常重要,因为一段代码不仅是要自己能懂,更重要的是能让看它的人能看懂。

代码地址

coding地址:https://coding.net/u/Bluebird_/p/AVL/git/blob/master/%E5%B9%B3%E8%A1%A1%E4%BA%8C%E5%8F%89%E6%A0%91.cpp?public=true

以上是关于代码的检查的主要内容,如果未能解决你的问题,请参考以下文章

Android 静态代码检查

Android 静态代码检查

如何用webstorm来检查静态代码

Java静态检测工具/Java代码规范和质量检查简单介绍(转)

pre-commit钩子,代码质量检查

AndroidStudio代码检查,Lint检查,还有注解