犯过的错误就要避免下次再犯,因此,决定采取《代码大全》里面的方法,对最近编程中遇到的bug以及原因进行梳理,并整理出常犯错误检查清单,作为以后编程的核心步骤之一。
一、bug详情
1.关于日志打印的bug
%s与int类型不匹配,%格式与参数个数不匹配
2.访问null指针
在异常分支情况下,访问了null指针
3.关于指针的加法
目的是(char *)ptr + num,结果写成了ptr + num,导致对内存越界写值
4.分支覆盖检查
如果goto和return混用,容易造成return之前申请的内存泄漏
如果所有分支检查不全,会导致有的流程有问题,比如释放锁两次
二、为什么会引入这些bug
1.最根本的原因还是缺乏必要的常犯错误清单
这上面的所有错误我之前自己都处理过,但是不对代码进行必要的错误清单核查,很容易遗漏。
2.忽视了编译器告警
编译器告警能提供丰富的错误信息,比如所类型不匹配
3.忽视了core文件的分析
这个需要熟练使用gdb
三、怎样将错误数减到最少,甚至不犯错
1.对自己写的每一句代码都要理解清楚,理解其目的和上下文之间的作用和关系
首先语法要正确,其次在各种情况下要正确(正常、异常分支)
2.根据自己常犯的错误,制定自己的错误核查清单,每一次对代码的修改,都要对所有相关模块按照清单核查一遍。
3.借助编译器的warning信息
4.让别人帮忙走查自己的源代码
5.对于很难定位的bug(一般都是指针、内存引起的),要熟练使用gdb调试。
6.学习使用各种内存、反汇编技术来加深对代码的理解和问题的排查
四、根据之前翻过的错误,确定自己初步的错误核查清单
1.所有变量是否都正确初始化
2.指针在使用前检查是否为null
3.指针的加法是否正确
4.确保数组不越界访问
5.确保循环不变式成立
6.对同一个临时变量的多次使用确保每次都正确初始化
7.函数传参,如果是指针,需要注意值的改变
8.所有指针都要正确赋值,null或者正确的值
9.注意对所有分支进行检查,同时注意goto和return不混用
10.动态内存泄漏检查
11.加锁、解锁的检查,尤其是所有分支都正确
另外确保无嵌套、无死锁