堆破坏
堆破坏是比较常见的一种错误类型,一般属于偶发性bug。
由于其偶发的特性,排查起来比较困难,可能尝试改了很多地方,问题还是存在,就会比较头疼,所以最好是能对症下药,主项排查,这样会更有效率,也能在debug时保持良好的心态。
常见原因
- 数组越界,这是最常见的原因char *stuff = new char[10]; stuff[10] = 3;
- 强制转换到一个错误的类型
- 未初始化的指针
- 错误使用. 和 ->
- 错误使用& 和 .
- delete & new 和 delete[] new[] 不配套
- 缺少或者不完整的拷贝构造
- 指向已回收内存的指针
- 重复delete同一块内存
- 多重基类,但是没有虚析构函数
分析
大部分堆相关的报错都是由于上面这些的一或多项原因。有些是比较简单排查,比如数组越界和. & -> * 类型转换等等,这些错误大多数是在写代码的过程中引入的;
有一些错误是我们在设计代码的时候就必然会引入的,比如“缺少或者不完整的拷贝构造”、“多重基类,但是没有虚析构函数”,一个比较有效的建议是,设计struct和class时,尽量去耦合,保证每个小struct和class的完备性,做好静态检查和单元测试,然后再添加封装的struct和class,尤其是和别人配合设计模块时,一定要保证自身模块的完备性,设计不严谨,联调两行泪。