MFC 程序中的堆损坏

Question

我遇到了程序中的堆损坏问题。在程序中，我正在读取一个数据块并对其执行 FFT 和 IFFT。我正在为 2 个图像（主从图像）做这件事。完全相同的代码对主服务器运行良好，但在我尝试删除从属缓冲区时显示从属文件的堆损坏。

fcomplex 定义为：

typedef struct {float real, imag;}fcomplex;

附上相关部分代码的sn-p： 完整代码：http://sharetext.org/7xXe

如果我不为从映像调用 fft 和 ifft 函数，则不会发生错误。 （不过对于主人来说一切都很好）

为了调试错误，我安装了应用程序验证程序，但我无法解码日志文件。它在这里：http://sharetext.org/Y2ji（XML 文件复制粘贴）

视觉工作室给出的错误是： 检测到堆损坏：在 0x062C0040 的正常块 (#194456) 之后

CCoarseFun::fcomplex * slave_bfr;
CCoarseFun::fcomplex * slave_col;


slave_bfr = Pcoarse.init_1Dcmplx(SIZE*s_cols); 
slave_col = Pcoarse.init_1Dcmplx(SIZE);

Pcoarse.cfft1d_(&SIZE,slave_col,&FFTdir); // This function causes a problem
Pcoarse.complex_mult_col(filter, slave_col, SIZE, slave_col)
Pcoarse.cfft1d_(&SIZE,slave_col,&FFTdir); // As does this one

// delete memory related to slave
delete [] slave_bfr;    // Heap corruption here
delete [] slave_col;

让我感到困惑的是代码非常简单，而且它 100% 仅适用于主文件。为什么slave会崩溃？

有人可以指导我找到解决方案，或者也可以提供有关如何使用应用程序验证器的教程吗？

谢谢， 肖纳克

编辑：使用 Win7 x64 - VS2010

编辑 2：init_1Dcmplx 的定义

CCoarseFun::fcomplex* CCoarseFun::init_1Dcmplx(int n)
{
  fcomplex *a;
  a=new fcomplex[n];
  for(int i=0;i<n;i++)
  {
    a[i].real=float(0.0);
    a[i].imag=float(0.0);
  }
  return a;
}

EDIT3：cfft1D_ 的代码：http://sharetext.org/hzIg

EDIT4：mem.delfloat() 的代码

void CMemAlloc::del_float(float *a)
{
  if (a!=NULL)
  {
    delete[] a;
    a=NULL;
  }
  else
  {
    return;
  }
}

Answer 1

mem_float() 函数不正确。看起来它在删除后将指针设置为NULL，但它只是在指针的副本上工作，所以调用者的副本仍然指向已删除的内存块。

你可以这样做

delete [] cf;
cf = NULL;

你有几行看起来像这样：

four1(cf-1,nn,isign);

我认为这是在数组开始之前访问内存。

除此之外，four1() 内部的索引非常复杂 - 您必须使用调试器逐步检查它以检查边缘情况。

Answer 2

首先，了解堆损坏错误告诉您的内容很重要。当您在 Visual Studio 中运行调试版本时，它使用具有调试堆的运行时库的调试版本。每当您使用new 分配一些内存时，它的两侧都会有一些额外的保护字节。当您delete 时，调试堆会检查这些保护字节是否完整，如果没有，则会发出此警告。

假设Pcoarse.init_1Dcmplx() 在堆上分配内存，那么对它的两次调用很可能会一个接一个地分配内存：

XXXXXX - guard bytes
slave_bfr
XYXYXY - these are the guard bytes that are probably being corrupted
slave_cols
XXXXXX

您对slave_cols 执行了操作Pcoarse.cfft1d_()，但在删除slave_bfr 时出现堆损坏错误。这表明cfft1d_() 在slave_cols 开始之前覆盖了内存，因此它破坏了slave_bfr 的保护字节。

因此，我将查看您的 cfft1d_() 代码中可能存在负数组索引的位置，因为这可能会导致 slave_bfr 中的内存被踩踏。

还可以查看SO answers 的一些有用提示，了解如何充分利用调试堆，尤其是this one，了解如何启用更密集的内存检查。

Answer 3

“检测到堆损坏：在 0x062C0040 的正常块 (#194456) 之后”表示您分配了一个块，得到了地址为 0x062C0040 的块 #194456，并且您写入的内存字节比分配的多。所以你有一个经典的缓冲区溢出。您应该考虑用 STL 容器替换指针。在您的情况下，我更喜欢使用std::vector，而不是使用new float[] 分配的原始浮点数组。 STL 容器可以帮助您在错误访问时立即检测超出边界的写入，而不仅仅是在删除内存块之后。