C语言垃圾回收器项目问题：realloc无法扩大结构体数组

我之前写自定义内存管理模块的时候，也踩过动态扩容结构体数组的坑，咱们一步步来拆解你的growActivePtrs()问题。

首先得明确几个核心前提——要让动态数组扩容正常工作，你需要三个全局变量配合：

• 结构体数组指针本身（activePtrs）
• 当前已使用的元素数量（比如activeCount）
• 数组的总容量（比如activeCapacity）

如果代码里缺了后两个，扩容逻辑根本没办法正确判断时机和执行。下面是最容易踩的几个坑，以及对应的修复方案：

1. 直接给原指针赋值realloc结果，导致内存泄漏或崩溃 #

很多人一开始会写这样的错误代码：

// 错误写法！
activePtrs = realloc(activePtrs, (activeCapacity + 1) * sizeof(activePtr));

如果realloc因为内存不足返回NULL，原数组的指针就直接被覆盖成NULL，之前分配的内存再也找不到了，直接造成泄漏甚至程序崩溃。

正确做法：用临时指针接收realloc的返回值，确认成功后再赋值给原数组：

activePtr *temp = realloc(activePtrs, (activeCapacity + 1) * sizeof(activePtr));
if (temp == NULL) {
    // 扩容失败，原数组还在，这里可以返回错误码或者做错误处理
    return -1;
}
activePtrs = temp;
activeCapacity += 1;

2. 没有初始化全局数组，或者初始容量处理错误 #

如果你的activePtrs一开始是未初始化的野指针，或者初始容量设为0但没处理第一次分配的情况，第一次扩容就会出问题。

正确初始化方式：

// 全局变量定义
typedef struct activePtr {
    void *memPointer;
    int timesUsed;
} activePtr;

activePtr *activePtrs = NULL;
size_t activeCount = 0;
size_t activeCapacity = 0;

然后在growActivePtrs()里处理第一次分配的情况：

int growActivePtrs() {
    // 如果是第一次分配，先给个初始容量（比如4，避免频繁扩容）
    if (activePtrs == NULL) {
        activePtrs = malloc(4 * sizeof(activePtr));
        if (activePtrs == NULL) return -1;
        activeCapacity = 4;
        return 0;
    }

    // 非第一次，扩容一个元素（或者推荐扩容为当前容量的2倍，减少系统调用次数）
    size_t newCapacity = activeCapacity + 1;
    activePtr *temp = realloc(activePtrs, newCapacity * sizeof(activePtr));
    if (temp == NULL) return -1;
    
    activePtrs = temp;
    activeCapacity = newCapacity;
    return 0;
}

3. 扩容后没有正确初始化新元素 #

扩容后的数组新元素里的memPointer和timesUsed是内存里的垃圾值，如果直接使用会导致野指针或者逻辑错误。所以在添加新的活跃指针时，一定要显式初始化：

// 示例：添加新的活跃指针到数组
int addActivePointer(void *mem) {
    // 先检查是否需要扩容
    if (activeCount >= activeCapacity) {
        if (growActivePtrs() != 0) {
            return -1; // 扩容失败，无法添加
        }
    }
    // 初始化新元素
    activePtrs[activeCount].memPointer = mem;
    activePtrs[activeCount].timesUsed = 1;
    activeCount++;
    return 0;
}

4. 调试小技巧 #

如果还是找不到问题，可以在关键位置加打印：

• 每次调用growActivePtrs()前后，打印activeCapacity、activeCount的值
• 打印activePtrs的地址，看扩容后地址是否变化（说明内存重新分配成功）
• 用GDB或者Valgrind检查内存越界、泄漏问题，Valgrind能帮你快速定位非法内存访问的位置

内容的提问来源于stack exchange，提问作者Kubo Vrtík