c - 使用 calloc 的堆损坏

Question

我正在处理一个不错的小问题，我的代码几乎可以正常工作。

现在这是我的问题。

我正在尝试用这样的 float 分配一棵字段树:

float ** PermLaster;
float ** VarLaster;

然后我用calloc

PermLaster= (float **) calloc(AntPermLast, sizeof(float*));
VarLaster= (float **) calloc(AntVarLast, sizeof(float*));

然后在嵌套的 for 中再次调用:

for (StegLastAnt= 0; StegLastAnt <  sizeLastM;StegLastAnt++)
{
    AktLast = inLastP[StegLastAnt];
    if (StegLastAnt > 0)
        {
            OldAktLast=inLastP[StegLastAnt-1];
        }

    if (((int(inLastP[7*(sizeLastM-1)+StegLastAnt+7])== 0)||(int(inLastP[7*(sizeLastM-1)+StegLastAnt+6])== 0)) && (AktLast != OldAktLast))
        {
            PermLaster[NumPerm] = (float *) calloc(AntAktuell*6, sizeof(float));
            AntLastVekt[NumPerm]=AntAktuell;
            NumPerm++;
            AntAktuell=0;
        }


    if ((int(inLastP[7*(sizeLastM-1)+StegLastAnt+7])== 1) && (AktLast != OldAktLast) && (int(inLastP[7*(sizeLastM-1)+StegLastAnt+6]) != 0))
    {
            VarLaster[NumVar] = (float *) calloc(AntAktuell*6, sizeof(float));
            AntLastVekt[NumPerm+NumVar]=AntAktuell;
            NumVar++;
            AntAktuell=0;
    }
    AntAktuell++;
}

到目前为止没有错误。

然后所有元素都被赋值:

  for (StegLastAnt= 0; StegLastAnt < sizeLastM;StegLastAnt++)
        {
        AktLast = inLastP[StegLastAnt];
        if (StegLastAnt > 0)
            {
                OldAktLast=inLastP[StegLastAnt-1];
            }

        if (((int(inLastP[7*(sizeLastM-1)+StegLastAnt+7])== 0)||(int(inLastP[7*(sizeLastM-1)+StegLastAnt+6])== 0)) && (AktLast != OldAktLast))
            {
                PLastP = PermLaster[NumPerm];
                RadPos=StegLastAnt-AntAktuell;

                for (StegLastAnt2 = 0;StegLastAnt2<AntAktuell;StegLastAnt2++)
                {
                    PLastP[StegLastAnt2*6+0]=float(inLastP[1*(sizeLastM-1)+RadPos+1]);PLastP[StegLastAnt2*6+1]=float(inLastP[2*(sizeLastM-1)+RadPos+2]);PLastP[StegLastAnt2*6+2]=float(inLastP[3*(sizeLastM-1)+RadPos+3]);PLastP[StegLastAnt2*6+3]=float(inLastP[4*(sizeLastM-1)+RadPos+4]);PLastP[StegLastAnt2*6+4]=float(inLastP[5*(sizeLastM-1)+RadPos+5]);PLastP[StegLastAnt2*6+5]=float(inLastP[6*(sizeLastM-1)+RadPos+6]);
                    RadPos++;
                }
                NumPerm++;
                AntAktuell=0;
                PLastP=nullptr;
            }
        if ((int(inLastP[7*(sizeLastM-1)+StegLastAnt+7])== 1) && (AktLast != OldAktLast) && (int(inLastP[7*(sizeLastM-1)+StegLastAnt+6]) != 0))
        {
                VLastP = VarLaster[NumVar];
                RadPos=StegLastAnt-AntAktuell;
                for (StegLastAnt2 = 0;StegLastAnt2<AntAktuell;StegLastAnt2++)
                {
                    VLastP[StegLastAnt2*6+0]=float(inLastP[1*(sizeLastM-1)+RadPos+1]);VLastP[StegLastAnt2*6+1]=float(inLastP[2*(sizeLastM-1)+RadPos+2]);VLastP[StegLastAnt2*6+2]=float(inLastP[3*(sizeLastM-1)+RadPos+3]);VLastP[StegLastAnt2*6+3]=float(inLastP[4*(sizeLastM-1)+RadPos+4]);VLastP[StegLastAnt2*6+4]=float(inLastP[5*(sizeLastM-1)+RadPos+5]);VLastP[StegLastAnt2*6+5]=float(inLastP[6*(sizeLastM-1)+RadPos+6]);
                    RadPos++;
                }
                NumVar++;
                AntAktuell=0;
                VLastP=nullptr;
        }
    AntAktuell++;
}

它从输入读取，我一直在调试它，它工作正常。我故意避免在那里使用额外的 for 循环，以确保发生了什么，并使其更容易调试(尽管它看起来不太好)。它工作正常，我一直在查看输入的值，它们是正确的。损坏的地址也没有问题。

然后在大量代码之后是时候释放它了。

for (StegLastAnt= 0; StegLastAnt < AntPermLast;StegLastAnt++)
{
    free(PermLaster[StegLastAnt]);
}

它发疯了，提示堆损坏。

for (StegLastAnt= 0; StegLastAnt < AntVarLast-1;StegLastAnt++)
{
    free(VarLaster[StegLastAnt]);
}
free(PermLaster), free(VarLaster);

字段经过的函数都将“PermLaster”作为常量指针常量指针指向常量 float 。没有地址被更改，内部字段中也没有值。内存似乎很好，为什么会这样？可能是我为我的子字段使用了不同的大小(我必须为我的应用程序，没有办法解决)？改用 realloc 会更好吗？使用 new 和 delete 切换到 C++？

还有一件事，指向 PermLaster 指针的指针通过它所传递的函数被声明为 restrict。这可能有问题吗？

我相信你们中的一些人会说使用更多的结构或类，但我尽量不让问题变得比实际情况更大。

如果能给我一些好的建议，我将不胜感激。

约翰

Answer 1

您没有向我们提供所有代码。我想 NumPerm 和 NumVar 在循环之间重置为 0。

对了，这里还有一个问题:

        AntLastVekt[NumPerm]=AntAktuell;

除非所有“Perms”都出现在所有“Vars”之前，否则这应该是 AntLastVekt[NumPerm+NumVar]。否则，如果您有序列 Perm/Var/Perm，第二个 Perm 将覆盖 AntLastVekt[1]。

但是，这不是问题的原因，因为在第二个循环中未使用 AntLastVekt。

错误出现在第二个循环中，即使操作系统在您释放数组之前没有检测到它。为了证明这一点，把中间的代码全部注释掉。您可以使用 valgrind 对其进行调试。