Question

我正用C写一个环形缓冲区我最终坚持要释放内存。代码编译得很好，但结果显示circBuf_free函数无法释放分配的内存。相关代码是：

#include <stdint.h>
#include <assert.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h> //memcpy

#define kNumPointsInMyBuffer 16 
#define initialSize 10


typedef struct CircBuf_t //struct name CircBuf_t
{
    uint32_t *buffer;
    int head; // keep track the newest data
    int tail; // keep track the oldest data
    int maxLen; // maximum number of items in the buffer
}circBuf_t; //type name circBuf_t


 // initialize the circular buffer
void circBuf_init(circBuf_t *c, const int maxLen, int sz)
{
    c->buffer = malloc(maxLen * sz);
    c->maxLen = maxLen;
    if(c->buffer == NULL)
    printf("Buffer initialization fails\n");
    c->head = 0;
    c->tail = 0;
}

/* free the memory, free c->buffer first, then c*/
void circBuf_free(circBuf_t *c){
    free(c->buffer);
    free(c);
}


int main(){
// initilize ring Buffer    
const int maxLen = kNumPointsInMyBuffer;

// original src
int src[1024] = {};
int i =0;
for(i=0; i<1024; i++){
    src[i] = i;
}

//data
uint32_t data[1024];    
memcpy(data, src, 1024);

printf("\nThe size of the uint32_t data array is %lu\n", sizeof(data));
int sz = sizeof(*data);

circBuf_t *cb;
cb = malloc(sizeof(circBuf_t));
circBuf_init(cb, maxLen, sz);



assert(cb);
printf("cb's value is %p\n", cb);
circBuf_free(cb);
printf("cb's value is %p\n", cb);
assert(!cb);

return 0;
}

结果：

cb的值是0x1266010

cb的值是0x1266010

a.out：sample.c：73：main：断言`！cb'失败。

中止（核心倾销）

指向结构的指针的地址是相同的。

需要帮助！

Answer 1

当你自由调用时，传递指针指向的内存是   释放，但调用者中指针的值可能仍然存在   不变，因为C的传值值语义意味着被调用   函数永远不会永久地更改其参数的值。（看到   问题4.8。）

严格来说，已释放的指针值无效，   以及它的任何使用，即使它没有被解除引用（即使它没有被解除引用）   使用它是一个看似无害的任务或比较），可以   从理论上讲会导致麻烦。（我们可以假设这是一个   实施质量问题，大多数实现都不会出现   他们的方式为无效的无害使用生成例外   指针，但标准明确表示没有   保证，并且有这样的系统架构   例外情况很自然。）

重复指针变量（或结构中的字段）时   在程序中分配和释放，设置它们通常很有用   在释放它们之后立即为NULL，以明确记录它们   状态。

资料来源： http://c-faq.com/malloc/ptrafterfree.html

C：分配给结构的可用内存不起作用

1 个答案: