malloc与realloc的性能差异对比及扩容场景选型分析

我编写了如下用于内存扩容的函数（基于malloc实现）：

int program_inc_capacity(Program *program)
{
    Instruction *v_old = program->v;

    size_t capacity_new = 2 * program->capacity;

    program->v = (Instruction *)malloc(capacity_new * sizeof(Instruction));
    if (program->v == NULL)
        return 0;

    for (size_t i = 0; i < program->size; i++)
    {
        program->v[i] = v_old[i];
    }

    free(v_old);

    program->capacity = capacity_new;

    return 1;
}

当program->v的内存空间不足时，调用该函数通过malloc重新分配两倍大小的内存块完成扩容。

之后我考虑改用realloc()实现扩容，代码如下：

int program_inc_capacity(Program *program)
{
    Instruction *v_old = program->v;

    size_t capacity_new = 2 * program->capacity;

    Instruction *temp = (Instruction *)realloc(v_old, capacity_new * sizeof(Instruction));
    if (temp == NULL) {
        printf("Memory reallocation failed!\n");
        free(v_old);  // Free the original memory
        return 1;
    } else {
        v_old = temp;  // Update the pointer with the new memory location
    }

    for (size_t i = 0; i < program->size; i++)
    {
        program->v[i] = v_old[i];
    }

    free(v_old);

    program->capacity = capacity_new;

    return 1;
}

我的问题是：

1. 这两种实现方式是否存在性能差异？
2. 各自在什么场景下更适用？
3. 另外我了解到多次使用realloc可能会导致内存碎片，该如何看待这一点？

性能差异分析 #

首先要指出：你写的realloc版本代码存在逻辑错误——realloc成功后，你将旧指针v_old替换为新地址，但后续却把program->v（仍指向旧地址）的内容拷贝到v_old（新地址），最后还free(v_old)，这会导致内存泄漏或野指针问题。先给出正确的realloc实现，再谈性能：

正确的realloc实现版本 #

int program_inc_capacity(Program *program)
{
    size_t capacity_new = 2 * program->capacity;
    Instruction *temp = (Instruction *)realloc(program->v, capacity_new * sizeof(Instruction));
    if (temp == NULL) {
        printf("Memory reallocation failed!\n");
        // 注意：realloc失败时原内存不会被释放，此处不要free(program->v)
        return 0;
    }
    program->v = temp;
    program->capacity = capacity_new;
    return 1;
}

现在对比正确的realloc版本和你的malloc版本的性能：

• realloc最优情况：如果原内存块后方有足够连续空间，realloc会直接扩展原内存，无需拷贝数据，此时性能远优于malloc+手动拷贝——省去了内存拷贝开销，也避免了额外的内存分配/释放操作。
• realloc最坏情况：如果原内存块后方空间不足，realloc会内部执行「分配新内存+拷贝旧数据+释放旧内存」，此时性能和malloc版本几乎一致，仅因多一层函数调用略慢，差距可忽略。
• malloc版本性能：无论何种场景，都需分配新内存、手动拷贝所有数据、释放旧内存，开销固定，不存在性能优化的空间。

适用场景 #

• 优先选择realloc的场景：
  • 不确定原内存块是否有扩展空间，希望借助原地扩展的优势提升性能；
  • 追求代码简洁性，减少手动内存管理的代码量，降低出错概率；
  • 扩容操作频繁，原地扩展能大幅减少拷贝开销的场景（比如动态数组频繁追加元素）。
• 适合用malloc+手动拷贝的场景：
  • 扩容过程中需要对数据做额外处理（比如拷贝时修改、过滤数据），手动拷贝更灵活；
  • 某些特殊内存分配器场景下realloc实现存在缺陷（此类情况极少）；
  • 需要严格控制内存操作时机，比如先完成新内存分配与数据拷贝，再释放旧内存，避免中间状态的内存风险（不过realloc失败时原内存保留，也能实现类似安全保障）。

关于realloc导致内存碎片的问题 #

首先要明确：内存碎片的产生和扩容策略（比如每次扩2倍）的关联远大于是否使用realloc。

• 若用realloc且采用倍数扩容，当原地扩展失败时，realloc会分配新的大内存块，再释放旧的小内存块。此时旧内存块若无法被复用，会成为碎片，但你的malloc版本同样会释放旧内存块，产生的碎片逻辑完全一致。
• 所谓「realloc更容易产生碎片」是误解：如果realloc能原地扩展，反而不会产生碎片（因为没有释放旧内存）；而malloc版本每次都会释放旧内存，必然产生一次碎片（除非旧内存块被立刻复用）。
• 减少碎片的核心是合理的扩容策略：比如采用倍数扩容（你当前用的2倍就很合适），避免频繁小幅度扩容；另外，内存不再使用时及时释放，或用内存池管理同尺寸内存块。

内容的提问来源于stack exchange，提问作者Ale