ARC＆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尝试使用该随机值作为指向对象的指针并释放它，但它不是有效的对象指针。 崩溃。