C语言中释放函数内创建的缓冲区报错问题求助

核心错误：指针变量声明类型不匹配 #

你代码里的bufA和bufB被声明成了BYTE（即unsigned char）普通变量，但它们本质应该是指针类型BYTE*。直接把calloc返回的内存指针赋值给普通字符变量，会导致地址被截断（32位系统下指针占4字节，char仅占1字节，64位系统下差异更明显），后续free(bufB)时传入的根本不是calloc分配的有效地址，必然触发内存错误。

修正后的代码 #

main函数修正 #

typedef unsigned char BYTE;

int main(void) {
    // 修正：声明为指针类型
    BYTE* bufA = NULL;
    size_t lenBufA = 10; // 替换为实际需求的长度
    bufA = calloc(lenBufA, sizeof(BYTE));
    if (bufA == NULL) { // 必须检查内存分配是否成功
        // 处理分配失败逻辑，比如直接返回错误码
        return -1;
    }
    // 向bufA填充数据

    // 修正：声明为指针类型
    BYTE* bufB = NULL;
    int lenBufB = myFunction(bufA, &bufB);
    if (lenBufB == -1 || bufB == NULL) {
        // 处理函数调用失败或内存分配失败的情况
        free(bufA);
        return -1;
    }
    // 对bufB进行操作

    free(bufA);
    free(bufB); // 现在可正常释放
    return 0;
}

myFunction函数补充优化 #

int myFunction(BYTE* inBuf, BYTE** outBuf) {
    // 先校验输入参数合法性
    if (outBuf == NULL) {
        return -1; // 非法参数，返回错误标识
    }

    // 示例：根据实际逻辑计算outBuf长度
    int outLen = 20;
    // 分配内存，用sizeof(BYTE)明确单位，增强代码可读性
    *outBuf = calloc(outLen, sizeof(BYTE));
    if (*outBuf == NULL) {
        return -1; // 内存分配失败，返回错误
    }

    // 复制inBuf数据到outBuf的示例逻辑
    if (inBuf != NULL) {
        // 注意：这里要确保复制长度不超过outLen，避免越界
        memcpy(*outBuf, inBuf, lenBufA); // lenBufA需根据实际场景传递或计算
    }
    // 添加额外字节的逻辑
    // ...

    return outLen;
}

额外必做检查点 #

• 内存分配失败校验：所有calloc/malloc调用后必须检查返回值是否为NULL，避免后续操作空指针。
• 缓冲区越界防护：操作*outBuf时，务必保证写入的字节数不超过计算好的outLen，越界写入会破坏堆结构，同样会导致free时出错。
• 参数合法性校验：在myFunction中先检查outBuf是否为NULL，避免对空指针解引用引发崩溃。

Visual Studio调试技巧 #

可以用VS2022自带的AddressSanitizer工具精准定位内存错误：

1. 右键项目 -> 属性 -> C/C++ -> 常规 -> 启用地址 sanitizer：选择“是”
2. 重新编译运行，工具会直接指出内存错误的具体位置和原因（比如地址截断、越界写入等）。

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