Valgrind 块丢失

Question

我正在尝试用 C 语言编写数据结构堆栈。堆栈的每个元素都是一个字符串。以下是我使用的三个文件。第一个是主要的，其他的是头文件 stack.h 和文件 stack.c。我将 stackElement 声明为指向该元素的指针。 stackT 是一个定义堆栈的结构。当我尝试释放分配内存时出现我的问题，因为当我运行 valgrind 我得到 ​​p>

==31235== ERROR SUMMARY: 2 errors from 2 contexts (suppressed: 0 from 0)
==31235== 
==31235== 1 errors in context 1 of 2:
==31235== Invalid free() / delete / delete[] / realloc()
==31235==    at 0x4C2BDEC: free (in /usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==31235==    by 0x400893: StackDestroy (in /test)
==31235==    by 0x400B61: main (in /test)
==31235==  Address 0x51fc150 is 0 bytes inside a block of size 4 free'd
==31235==    at 0x4C2BDEC: free (in /usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==31235==    by 0x400B55: main (in /test)

24 bytes in 1 blocks are definitely lost in loss record 1 of 1

你能帮帮我吗？

int main(){
stackT S;
int r = 3, i;
StackInit(&S, 2, r);
printf("test\n");
stackElementT s0;
s0 = malloc((r + 1) * sizeof(unsigned char));
memset(s0, 1, r + 1);
s0[r] = 0;
for (i = 0; i < r; i++) {
    s0[i] = random() & 0xff;
}
StackPush(&S, s0);
free(s0);
StackDestroy(&S);
return 0;
}

stack.h

typedef unsigned char * stackElementT;
typedef struct {
  stackElementT *contents;
  int maxSize;
  int top;
} stackT;

stack.c

void StackInit(stackT *stackP, int maxSize, int r) {
stackElementT *newContents;
int i;
r = 3;
newContents = malloc(sizeof(stackElementT) * maxSize);

if (newContents == NULL) {
        fprintf(stderr, "Insufficient memory to initialize stack.\n");
        exit(1); 
}

for (i = 0; i < maxSize; i++) {
    if ((newContents[i] = malloc(r * sizeof(stackElementT))) == NULL) {
        fprintf(stderr, "Insufficient memory to initialize stack.\n");
        exit(1); 
    }
}

stackP->contents = newContents;
stackP->maxSize = maxSize;
stackP->top = -1; /* I.e., empty */
}

void StackDestroy(stackT *stackP) {
int i;
for (i = 0; i < stackP->maxSize; i++)
    free(stackP->contents[i]);
free(stackP->contents);
stackP->contents = NULL;
stackP->maxSize = 0;
stackP->top = -1; 
}
void StackPush(stackT *stackP, stackElementT element) {
if (StackIsFull(stackP)) {
    fprintf(stderr, "Can't push element on stack: stack is full.\n");
    exit(1); 
}
stackP->contents[++stackP->top] = element;
}

编辑：

使用下面的答案，我评论了 free(s0) 行，但我现在收到下一个错误：

==31855== 24 bytes in 1 blocks are definitely lost in loss record 1 of 1
==31855==    at 0x4C2AB80: malloc (in /usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==31855==    by 0x4007F9: StackInit (in /test)
==31855==    by 0x400AA9: main (in /test)

Answer 1

第一个 valgrind 消息非常清楚：您正在释放同一块内存两次，第一次是在 main 中使用 free(s0)，第二次在 StackDestroy 中。更改您的代码，使其不这样做 - 通过让堆栈获取对象的所有权（因此它释放它们而 main 没有），或者反之亦然（堆栈不获取对象的所有权并且不会释放它们）。

“块丢失”问题是因为您在StackInit 中为循环中的每个堆栈槽分配内存块，而StackPush 会覆盖指针，因此您永远无法释放分配给已用堆栈槽的原始内存。这里至少有两种可能的解决方案：不要在StackInit 中预先分配内存块（只需复制StackPush 中的指针），或者复制元素data（而不是指针）在StackPush。

Answer 2

您在 StackDestroy() 和 main() 中释放 s0。