47、动态内存调试工具全解析

动态内存调试工具全解析

动态内存溢出问题分析

在处理动态内存时，内存块溢出是一个常见且棘手的问题。对于较大的内存块，当代码溢出到最后一页地址之外时，会立即以 SIGSEGV 信号终止程序。幸运的是，这种情况下程序会立即终止，不会破坏堆内存。然而，对于较小的内存块，问题会更加复杂。

大多数堆实现会对内存块大小进行填充，使其落在内存的有效边界上。这就导致偶尔溢出少量字节可能不会产生明显的不良影响，错误可能只是偶尔导致程序崩溃，具体情况取决于标准库的实现、内存块大小以及溢出的大小。

当代码使小内存块溢出填充区域时，会破坏 malloc 和 free 用于维护堆的内部列表。通常，这种溢出在下次调用 malloc 或 free 时才会被检测到，而且失败的 free 调用所释放的内存块不一定是溢出的那个。如果溢出足够大，延伸到无效的虚拟地址，就会收到 SIGSEGV 信号。

在C++中，动态内存溢出问题本质上与C语言相同。 new 和 delete 默认运算符的核心是传统的堆，甚至可能使用C语言库版本的 malloc 和 free 。GNU实现的 new 和 delete 似乎对单字节溢出都无法容忍，不过和C语言一样，直到 delete 操作时才会发现问题。此