堆破坏(heap corruption)常见原因

堆破坏

堆破坏是比较常见的一种错误类型，一般属于偶发性bug。
由于其偶发的特性，排查起来比较困难，可能尝试改了很多地方，问题还是存在，就会比较头疼，所以最好是能对症下药，主项排查，这样会更有效率，也能在debug时保持良好的心态。

常见原因

• 数组越界，这是最常见的原因char *stuff = new char[10]; stuff[10] = 3;
• 强制转换到一个错误的类型
• 未初始化的指针
• 错误使用. 和 ->
• 错误使用& 和 .
• delete & new 和 delete[] new[] 不配套
• 缺少或者不完整的拷贝构造
• 指向已回收内存的指针
• 重复delete同一块内存
• 多重基类，但是没有虚析构函数

分析

大部分堆相关的报错都是由于上面这些的一或多项原因。有些是比较简单排查，比如数组越界和. & -> * 类型转换等等，这些错误大多数是在写代码的过程中引入的；
有一些错误是我们在设计代码的时候就必然会引入的，比如“缺少或者不完整的拷贝构造”、“多重基类，但是没有虚析构函数”，一个比较有效的建议是，设计struct和class时，尽量去耦合，保证每个小struct和class的完备性，做好静态检查和单元测试，然后再添加封装的struct和class，尤其是和别人配合设计模块时，一定要保证自身模块的完备性，设计不严谨，联调两行泪。