检查表及总结 - 《代码大全》

设计

• 设计是否通过屡次迭代，并最终决定了最好的一个？
• 是否同时使用自上而下和自下而上的方法来解决设计问题？
• 类与类之间的交互关系是否已经设计为最小化？
• 设计被划分为层次吗？
• 你对把这一程序分解成为子程序，包和类的方式感到满意吗？
• 程序是否是易于维护？
• 设计是否精简？设计出来的每个部分都绝对必要吗？
• 总体而言，你的设计是否有助于最小化偶然性和本质性的复杂度吗？

类的设计

• 你是否把程序中的类都看作是抽象数据类型了？是否从这个角度评估它们的接口了？
• 类是否有一个中心目的？
• 类的命名是否恰当？其名字是否表达了其中新目的？
• 类的接口是否展示了一致的抽象？
• 类的接口是否能让人清楚明白的知道如何用它？
• 类的接口是否抽象，使你能没必要顾虑他是如何实现其服务的？你能把类看作黑盒子吗？
• 类提供的服务是否足够完整，让其它类无需动用其内部数据？
• 是否已从类中去除无关信息？
• 是否考虑过把类进一步分解？
• 在修改类时是否维持了其接口的完整性？
• 是否把成员的可访问性降到最小？
• 是否避免暴露类的数据成员？
• 类是否避免对其使用者，包括其派生类会如何使用它作了假设？
• 类是否不依赖于其它类？它是松散耦合吗？
• 继承是否只用来创建一个is a关系？派生类是否遵循了LSP原则。
• 继承层次是否很浅？
• 类中是否只有大约七个或者更少的成员？
• 是否把类直接或者间接调用其余类的子程序的数量减到最少？
• 类是否在绝对必要时才与其余类写做？
• 是否在构造函数中初始化了全部的数据成员？

子程序

• 建立子程序的理由充分吗？
• 一个子程序中全部适合单独提出的部分是否是已经被提出到单独的子程序中了？
• 过程的名字是否用了强烈、清晰的动词加宾语的词组，函数的名字是否描述了其返回值？
• 子程序的名字是否描述它所做的所有事情？
• 子程序是否具备强烈的功能上的内聚性？
• 子程序之间是否有较松散的耦合？子程序与其它子程序之间的链接是不是最小的，明确的，可见的，灵活的？
• 子程序的长度是不是由其功能和逻辑天然肯定，而非遵循任何人为的编码标准？
• 子程序的参数表是否表现出一种具备总体性且一致的抽象？
• 子程序参数的排列顺序是否合理？是否与相似的子程序的参数排列相符？
• 接口假定是否在文档中说明？
• 子程序的参数是否没有超过7个？
• 是否用到了每个输入参数，是否用到了每个输出参数？
• 子程序是否避免了把输入参数用做工做变量？
• 若是子程序是一个函数，那么它是否在全部可能的状况下都能返回一个合法的值？

防护式编程

• 子程序是否保护本身免遭有害输入数据的破坏？
• 你用断言来讲明编程假定吗？其中包括了前条件和后条件了吗？
• 断言是否只说明历来不该该发生的状况？
• 你是否在架构或者高层设计中规定了一组特定的错误处理技术？
• 你是否在架构或者高层设计中规定了是让错误处理更倾向于健壮性仍是正确性？
• 代码中用到辅助调试的代码了吗？
• 在防护式编程时引入的代码量是否适宜，既不过多也不过少？
• 你在项目中定义了一套标准化的异常处理方案吗？
• 若是可能的话，是否在局部处理了错误而不是把它当成一个异常跑出去？
• 全部异常是否都与抛出他们的子程序在同一抽象层次上？
• 每一个异常是否包含了关于异常发生的全部背景信息？
• 代码中是否没有空的catch语句？
• 检查有害输入数据的代码是否也检查了故意的缓冲区溢出，SQL注入，HTML注入，整数溢出及其余恶意输入数据？
• 是否检查了全部的错误返回码？
• 是否捕获了全部的异常？
• 出错消息中是否避免出现有助于攻击者攻入系统所需的信息？

伪代码

• 是否检查过已知足全部的先决条件？
• 定义好这个类要解决的问题了吗？
• 高层次的设计是否清晰？能给这个类和其中的每一个子程序起一个好的名字吗？
• 考虑过该如何测试这个类及其中的每一个子程序吗？
• 关于效率的问题，你主要从稳定的接口和可读的实现这两个角度考虑吗？仍是主要从知足资源和速度的预期目标的角度考虑过呢？
• 从标准库函数和其它代码库中寻找过可用的子程序或者组件吗？
• 从参考书中查过有用的算法了吗？
• 是否用详尽的伪代码设计好每个子程序？
• 你在脑海里检查过伪代码吗？这些伪代码容易理解吗？
• 关注过那些可能让你重返设计的警告信息了吗？
• 是否把伪代码正确的翻译成代码了？
• 你反复使用伪代码编程过程了吗？
• 在作出假定的时候有没有对它们加以说明？
• 已经删除了那些冗余的注释了吗？
• 你是否采起了几回迭代中最好的那个结果？仍是在第一次迭代以后就中止了？
• 你彻底理解你的代码了吗？这些代码是否容易理解？

变量

• 变量声明位置靠近变量第一次使用的位置吗？
• 尽量在变量声明的同时初始化变量吗？
• 计数器和累加器通过适当初始化了吗？若是须要再一次使用，以前从新初始化了吗？
• 适当的从新初始化“须要重复执行的代码里的变量”了吗？
• 代码在经过编译器编译的时候是否是没有警告信息？你启用了全部可用的警告信息了吗？
• 若是语言容许隐式声明，你为由此可能引起的问题作好补偿措施了吗？
• 若是可能，全部变量都被定义为具备最小的做用域吗？
• 各变量的引用点都尽量集中在一块儿吗？对同一个变量的两次相邻引用，或者变量的整个生命期都这样作了吗？
• 控制结构符合数据类型吗？
• 全部声明的变量都用了吗？
• 变量都在合适的时间绑定了吗？也就是说你有意识的在晚期绑定所带来的灵活性和增长复杂度之间作出平衡了吗？
• 每一个变量都有且仅有一项用途吗？
• 每一个变量的含义都很明确且没有隐含含义吗？

变量命名

• 名字完整而且准确的表达了变量所表明的含义吗？
• 名字足够长，可让你无需苦苦思索吗？
• 若是有计算限定符，它被放在名字后面吗？
• 名字中用Count或者index来掉提Num了吗？
• 循环小标的名字有意义吗？
• 全部临时的变量都从新命名为更有意义的名字了吗？
• 当布尔变量为真时，变量能准确表达其含义吗？
• 枚举中的名字含有可以表示其类别的前缀或者后缀吗？
• 具名常量是根据它所表明的抽象实体儿不是它所表明的数字来命名的吗？
• 命名规则可以区分局部数据，类的数据和全局数据吗？
• 规则可以区分类型名，具名常量，枚举类型和变量名吗？
• 规则可以在编译器不强制检测只读参数的语言里表示出子程序的输入参数吗？
• 规则能尽量地与语言的标准规则兼容吗？
• 名字为可读性而加以格式化了吗？
• 是否避免只为了省一个字符而缩写的状况？
• 全部单词的缩写方式都一致吗？
• 名字可以读出来吗？
• 避免使用容易被看错和读错的名字吗？
• 在缩写对照表里对端名字作出说明了吗？

基本数据类型

• 代码中避免使用神秘数值了吗？
• 代码考虑了除零错误了吗？
• 类型转换很明显吗？
• 若是一条语句中存在两个不一样类型的变量，那么这条语句会像你指望的那样求值吗？
• 代码避免了混合类型比较吗？
• 使用整数除法表达式能按预期的那样工做吗？
• 整数表达式避免整数溢出问题了吗？
• 代码避免了对数量级相差具体大浮点数作加减运算了吗？
• 代码系统地阻止了舍入错误的发生吗？
• 代码避免对浮点数值作等量比较了吗？
• 代码避免使用神秘字符和字符串了吗？
• 使用字符串时避免了off-bye-one错误了吗？
• 程序用额外的布尔变量来讲明条件判断了吗？
• 程序用额外的布尔变量来简化条件判断了吗？
• 程序用枚举类型而非具名常量来提升可读性和可修改行了吗？
• 当变量不能用true和false表示的时候，程序用枚举类型来取代布尔变量了吗？
• 针对枚举类型的才测试检测了非法数值了吗？
• 把枚举类型的第一项条目保留为“非法的”了吗？
• 具名常量使用一致吗？没有在某些位置使用具名常量又在其余位置使用文字量？
• 全部的数组下标都没有超出数组边界吗？
• 数组引用没有出现off-by-one的错误吗？
• 全部的多维数组的下标顺序都正确吗？
• 在嵌套循环里，把正确的变量用于数组下标来避免下标错乱吗？

不常见的数据类型

• 你使用结构体而不是使用单纯的变量来组织和操做相关的数据吗？
• 你考虑过建立一个类来代替使用结构体吗？
• 全部的变量是否都是局部或者是类范围的？除非绝对有必要才是全局的？
• 你对全部的全局变量都加以文档说明吗？
• 避免使用伪全局数据，即被四处传递且含有杂乱数据的的巨大对象吗？
• 用访问器子程序来取代全局数据了吗？
• 把访问其子程序和数据组织到类里了吗？
• 访问器子程序提供了一个在底层数据类型实现之上的抽象层吗？
• 全部相关的访问器子程序都位于同一抽象层吗？
• 把指针操做隔离在子程序里了吗？
• 指针引用合法吗？或者指针有可能成为悬空指针吗？
• 代码在使用指针以前检查它的有效性了吗？
• 在使用指针所指向的变量以前检查其有效性了吗？
• 指针用完后被设置为空了吗？
• 就可读性而言，代码用了全部须要使用的指针变量了吗？
• 链表中的指针是按正确的顺序加以释放的吗？
• 程序分配了一片保留的内存后备区域，以便在耗尽内存的时候可以优雅地退出吗？
• 是否是在没有其余方法可用的状况下最终才使用指针的？

组织直线型代码

• 代码使得语句之间的依赖关系变得明显吗？
• 子程序的名字使得依赖关系变得明显吗？
• 子程序的参数使得依赖关系变得明显吗？
• 若是依赖关系不明确，你是否用注释进行了说明？
• 你用“内务管理变量”来检查代码中关键位置的顺序依赖关系了吗？
• 代码容易按照自上而下的顺序阅读吗？
• 相关的语句组织在一块儿吗？
• 把相对独立的语句组放进各自的子程序里吗？

使用条件语句

• 代码的正常路径清晰吗？
• if-then测试对等量分支的处理方式正确吗？
• 使用了else字句并加以说明了吗？
• else字句用的对吗？
• 用对了if和else字句，即没有把它们用反吗？
• 须要执行的正常状况维护if而不是else字句里吗？
• if-then-else-if把复杂的判断封装到布尔函数里了吗？
• if-then-else-if先判断最多见的状况了吗？
• if-then-else-if判断包含全部的状况吗？
• if-then-else-if是最佳的实现吗？比Case语句还要好吗？
• case子句排序的有意义吗？
• case子句的每种状况操做简单吗？必要的时候调用了其它子程序了吗？
• case语句检测的是一个真实的变量，而不是为了滥用case语句而而刻意制造变量吗？
• 默认字句用的合法吗？
• 用默认字句来检测和报告意料以外的状况了吗？
• 在c,c++和java里，每个case的末尾有一个break吗？

循环

• 在合适的状况下用while循环取代for循环了吗？
• 循环是由内到外建立的吗？
• 是从循环的头部进入循环的吗？
• 初始化代码是直接位于循环前面吗？
• 循环是无限循环或者事件循环吗？阿德结构是否清晰？
• 避免使用像for i = 1 to 9999这样的代码吗？
• 若是这是一个c++,c或java中的for循环，那么把循环头留给循环控制代码了吗？
• 循环使用了{}及其等价物来括上循环体，以防止因修改不当而出错吗？
• 循环体内有内容吗？他是非空的吗？
• 把内务处理集中地放在循环开始或者循环结束处了吗？
• 循环像定义良好的子程序那样只执行一件操做吗？
• 循环短的足以一目了然吗？
• 循环的嵌套层次很少于3层吗？
• 把长循环的内容提取成单独的子程序吗？
• 若是循环很长，那么它很是清晰吗？
• 若是这是一个for循环，那么其中的代码有没有随意修改循环下标值？
• 是否把重要的循环下标值保存在另外的变量里，而不是在循环体外使用该循环下标？
• 循环下标是序数类型或者枚举类型，而不是浮点类型吗?
• 循环下标的名字有意义吗？
• 循环避免了下标串话问题吗？
• 循环是在全部可能的条件下都能终止吗？
• 若是创建了某种安全计数器标准，循环使用了安全计数器了吗？
• 循环的退出条件清晰吗？
• 若是使用了break或者continue，那么它们用对了吗？
• 不常见的控制结构
• 每个子程序都仅在有必要的时候才使用return吗？
• 使用return有助于加强可读性吗？
• 递归子程序中包含了中止递归的代码吗？
• 子程序用安全计数器来确保子程序能停下来吗？
• 递归只位于一个子程序里面吗？
• 子程序递归深度处于程序栈容量能够知足的限度内吗？
• 递归是实现子程序的最佳方法吗？它要好于简单的迭代吗？
• 是否在万不得已的时候才使用goto？若是用了goto，是否仅仅处于加强可读性和可维护性呢？
• 若是处于效率因素而使用的goto，那么对这种效率上的提高作出衡量而且加以说明了吗？
• 一个子程序里最多只用了一个goto标号吗？
• 全部的goto都向前跳转，而不是向后跳转吗？
• 全部的goto标号都用到了吗？

表驱动法

• 你考虑过把表驱动法做为复杂逻辑的替代方案吗？
• 你考虑过把表驱动法做为复杂继承结构的替代方案吗？
• 你考虑过把表数据存储在外部并在运行期间读入，以便在不修改代码的状况下就能够改变这些数据吗？
• 若是没法用一种简单的数组索引去访问表，那么你把机酸访问键值的功能提取成单独的子程序，而不是在代码中重复地计算键值吗？

通常控制问题

• 表达式中用的是true和false，而不是1和0吗？
• 布尔值和true以及false作比较是隐式进行的吗？
• 对数值作比较是显式进行的吗？
• 有没有经过增长新的布尔变量，使用布尔函数和决策表来简化表达式？
• 布尔表达式是用确定形式表达的吗？
• 括号配对吗？
• 在须要括号来明确的地方都使用括号了吗
• 判断是按照数轴顺序编写了吗？
• 若是适当的话，java中的判断用的是a.equals(b)方式，而没有用a==b方式吗？
• 空语句表述得明显吗？
• 用从新判断部分条件，转换成if-then-else或者case语句、把嵌套代码提取成单独的子程序、换成一种更面向对象的设计或者其余的改进方法来简化嵌套语句了吗？
• 若是一个子程序的决策点超过10个，那么能提出不从新设计的理由吗？