弧与Malloc：EXEC_BAD_ACCESS

Question

我已经从事一个项目有一段时间了，我决定跳到 ARC。 我遇到过一些代码每次都会崩溃，我想知道为什么。我设法将其简化为以下片段：

typedef __strong id MYID;

int main(int argc, char *argv[])
{ 
    MYID *arr = (MYID *) malloc(sizeof(MYID) * 4);

    arr[0] = @"A";     // always get an EXEC_BAD ACCESS HERE
    arr[1] = @"Test";
    arr[2] = @"Array";
    arr[3] = @"For";

    // uh oh, we need more memory
    MYID *tmpArray = (MYID *) realloc(arr, sizeof(MYID) * 8);
    assert(tmpArray != NULL);

    arr = tmpArray;

    arr[4] = @"StackOverflow";  // in my actual project, the EXEC_BAD_ACCESS occurs here
    arr[5] = @"Is";
    arr[6] = @"This";
    arr[7] = @"Working?";

    for (int i = 0; i < 8; i++) {
        NSLog(@"%@", arr[i]);
    }

    return 0;
}

我不太确定这里发生了什么，在 4 个不同的项目中对此感到厌倦，但它们都失败了。我的 malloc 调用有问题吗？有时它返回 null，有时它返回一个我无法访问的指针。

Answer 1

崩溃是因为您将 malloc 内存转换为 C 对象数组。当您尝试分配给其中一个插槽时，ARC 将释放先前的值，该值将成为垃圾内存。尝试使用 calloc() 而不是 malloc() 来获取归零内存，它应该可以工作。

请注意，您的 realloc() 调用也不会对分配的任何新内存进行零填充，因此，如果您需要 realloc() 那么您可能需要使用临时内存void* 指针，然后在分配给对象数组之前手动将其填零。

Answer 2

malloc 函数不会将其分配的内存清零。内存可能包含随机垃圾。

来自 Clang 自动引用计数指南，第 4.2 节：

对于__strong对象，首先保留新的被指点；其次，左值加载了原始语义；第三，新的指针被存储到具有原始语义的左值中；最后，旧的被指点被释放。

因此，这里可能发生的情况是 malloc 返回包含随机非零值的内存。 ARC 尝试使用该随机值作为指向对象的指针并释放它，但它不是有效的对象指针。碰撞。