C语言 由 Realloc 引起的 Malloc 错误

Question

我已经为此挠头几个小时了。我运行的是 Mac OS X 10.8，带有 XCode 5。我收到以下错误：

malloc: *** error for object 0x1006487b8: incorrect checksum for freed object - object was            
probably modified after being freed.
*** set a breakpoint in malloc_error_break to debug

不幸的是，此时object 0x1006487b8已释放，我的调试器不记得那里有什么。

问题是，错误永远不会发生在同一个地方。我只能假设一点内存没有正确释放，然后计算机试图将其用于其他目的并最终感到困惑。

我的代码使用的是 SDL 2，据我所知，唯一类似 free 的函数调用以以下形式发生，带有realloc：

static LGC_Gate* LGC_CreateEmptyGate(){
    if (!gates) {
        gates = malloc(sizeof(LGC_Gate));
        if (!gates)
            return NULL;
    }
    else{
        LGC_Gate* tmpgates = realloc(gates, sizeof(LGC_Gate) * (numgates + 1));
        if (tmpgates)
            gates = tmpgates;
        else
            return NULL;
    }
    numgates++;
    gates[numgates - 1].id = numgates - 1;
    return &(gates[numgates - 1]);
}

gates 是指向门数组的静态文件范围指针，并在文件顶部声明

：

static LGC_Gate* gates = NULL; numgates在文件开头初始化为零，表示当前正在使用的门数。 gates应始终具有 numgates * sizeof(LGC_Gate) 的大小。

我的计划是将用户创建的所有门保存在一个数组中，以便轻松统计它们并在立即通知时获取每个门。LGC_CreateEmptyGate函数是这样用的，例如：

LGC_Gate* LGC_InitActGate(LGC_Action act, uint8_t innum, uint8_t outnum){
    LGC_Gate* product = LGC_CreateEmptyGate();
    if (!product)
        return NULL;
    product->rule.type = LGC_FUNCTION;
    product->rule.act = act;
    product->input.used = innum;
    product->input.val = 0;
    product->output.used = outnum;
    product->output.val = 0;
    int i;
    for (i = 0; i < 8; i++) {
        product->inputfrom[i].active = 0;
    }
    return product;
}

我做错了什么可怕的事吗？

更新

我已经使用以下代码进行了一些调试：

printf("%dn", sizeof(LGC_Gate));
LGC_Gate* TestGates[5];
//Go through the gates, initialize each of them, record the value of their ptr,
//and if any are LESS than sizeof(LGC_Gate) apart, report an error.
int gcount;
for (gcount = 0; gcount < 5; gcount++) {
    TestGates[gcount] = LGC_InitActGate(LGC_NOR, 2, 1);
    printf("%pn", TestGates[gcount]);
    if (gcount < 4) {
        if (TestGates[gcount] + sizeof(LGC_Gate) > TestGates[gcount + 1]) {
            printf("Error!");
            //TestGates[gcount + 1]->id = 4;  If this line were uncommented, 
            //                                BAD_ACCESS ensues.          
        }
    }
}

令我完全惊讶的是，这实际上输出了一个错误，并且确实在某些指针上崩溃了。更正：错误指针似乎总是第三个。请注意，LGC_InitActGate调用LGC_InitEmptyGate一次，只需在其剩余持续时间内复制数据。这是怎么回事？

更新 2

好吧，我相信我现在已经发现了错误。每次调用 realloc 时，整个内存块可能会也可能不会重新定位，这使得我拥有的 5 个指针数组变得无用，并指向旧的、释放的内存。这是完全有道理的，但这是一个 heckuva 错误。我之前应该注意到的。我不确定如何解决这个问题，但感谢您的帮助。

Answer 1

此错误告诉您的是，系统将尝试分配一些内存，但是当它进入空闲池时，下一个可用块似乎已损坏。

void* p = malloc(100);
free(p);
strcpy(p, "How do you like these apples, malloc?";
p = malloc(100); // <-- crash may happen here, depending on how the free list works.

通常情况下，坠机地点只是检测而不是原因。

有时可以跟踪此类崩溃的一种方法是查看地址中的数据（并且很幸运并拥有可识别的东西，例如字符串或众所周知的值）。

否则，是时候爆发瓦尔格林德了。

Answer 2

每次从main调用realloc时，内存块可能会也可能不会重新定位，这使得数组TestGates具有指向无效内存的元素。

Answer 3

代码对我来说看起来不错，尽管它可以简化，因为您实际上不需要对起始条件进行特殊处理。[注1]

你

确定你没有抓住代码中某处"门"的指针吗？您必须非常小心自动重新分配向量，尤其是可能在函数中修改的全局向量：

LGC_Gate* product = LGC_CreateEmptyGate();
some_innocuous_looking_function();  // Oops, this function calls CreateEmptyGate
product->output.val = some_value;

---

注 1：来自 Posix realloc 规范：

如果 ptr 是一个空指针，那么对于指定的大小，realloc（） 应等效于 malloc（）。