使用calloc重新初始化节点数组的内存管理问题求助

问题描述 #

我正在开发一款迷宫游戏，使用Valgrind检测时遇到了内存问题。以下是简化后的代码示例：

#include <stdio.h>
#include <stdlib.h>

void init(void);
int play(void);

typedef struct Node {
    int x, y;
} Node;

/* global variables */
Node *nodes;
int width, height;

int main(void)
{
    width = height = 10; /* initial game maze dimensions */
    do {
        init();
    } while (play());

    free(nodes);
    nodes = NULL;

    return 0;
}

void init(void)
{
    nodes = calloc((size_t)(width * height), sizeof(Node));
    if (nodes == NULL) {
        exit(0);
    }
}

int play(void)
{
    int c;
    while ((c = getchar()) != 'q') {
        if (c == 'n') {
            width = height = 15; /* new game maze dimensions */
            printf("new game\n");
#if 0
            free(nodes);
            nodes = NULL;
#endif
            return 1;
        }
    }
    return 0;
}

执行valgrind -s --leak-check=full ./free并输入'n'（新游戏）后按'q'退出，出现两种情况：

• 当play()中#if 0启用时，Valgrind显示：LEAK SUMMARY: definitely lost: 800 bytes in 1 blocks
• 当#if 1启用时，无内存泄漏但实际游戏中出现Invalid read size of 1等野指针错误

想请教：如何正确用新迷宫尺寸重新初始化并清空nodes？free(nodes)的时机与位置应如何选择？

问题根源 #

你的代码核心矛盾在于：

1. 不提前释放旧内存：每次调用init()直接用calloc覆盖nodes指针，旧内存块失去引用，必然造成泄漏。
2. 在play()中提前释放：play()返回1后，main会立刻调用init()重新分配，但如果游戏中还有其他逻辑在play()返回前后访问旧的nodes，就会触发野指针错误——因为内存已经被释放。

正确解决方案 #

1. 调整init()：先释放旧内存再分配新内存 #

把释放操作移到init()的开头，这样每次初始化新迷宫前，都会先清理上一轮的内存（free(NULL)是安全操作，第一次调用时nodes为NULL不会出问题）：

void init(void)
{
    // 先释放旧内存，避免泄漏
    free(nodes);
    // 分配新内存并自动清零，符合迷宫初始化需求
    nodes = calloc((size_t)(width * height), sizeof(Node));
    if (nodes == NULL) {
        exit(EXIT_FAILURE); // 用标准错误码替代exit(0)更规范
    }
}

2. 删除play()中的free(nodes)代码 #

play()里的释放操作完全多余，反而会导致后续可能的野指针访问——因为play()返回后马上会进入init()处理内存，旧内存的释放应该由init()负责，而非提前在游戏流程中释放。

3. 保留main()的收尾释放 #

最后一轮游戏结束后（play()返回0），不会再调用init()，所以main()末尾的free(nodes)必须保留，确保最后一块内存被正确释放。

为什么这样能解决问题？ #

• 内存泄漏：每次init()都会先释放上一轮的nodes内存，再分配新的，所有分配的内存都有对应的释放操作，Valgrind不会再报泄漏。
• 野指针：nodes只会在新一轮游戏初始化前被释放，此时上一轮游戏的所有操作已经结束，不会再有代码访问旧指针，彻底避免野指针错误。

额外优化建议 #

• 尽量避免使用全局变量，把nodes、width、height封装到一个游戏结构体中，通过指针传递，这样内存管理更清晰，也能减少全局变量带来的意外访问风险。
• 若考虑用realloc，需注意处理分配失败的情况，且realloc不会自动清零内存，对于迷宫初始化场景，calloc的清零特性更贴合需求，所以先free再calloc的方案更直观可靠。

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