free(stk)不就释放栈了吗？为什么在之前还要有free(stk->data)？

Question

Stack* Stack_Create(int maxlen)
// 创建栈
{
    Stack* stk = (Stack*)malloc(sizeof(Stack));
    stk->data = (T*)malloc(sizeof(T)*maxlen);
    stk->max = maxlen;
    stk->top = -1;
    return stk;
}

void Stack_Free(Stack* stk)
// 释放栈
{
    free(stk->data);
    free(stk);
}

Answer 1

Stack和Stack::data除了成员关系外，不具有任何形式上的逻辑关系。C/C++很少有语法层上实现好的GC，这意味着和java不同，C中指针不会对元素进行引用计数。你释放Stack对象后，其中的Stack::data成员是不会像java中那样减少引用计数从而自动GC的，所以这个成员不会被释放。如果在Stack对象释放之前没有释放它的Stack::data成员，就会引发内存泄漏（memory leak）。这在服务器应用上会导致内存浪费随时间持续增长，一旦增长到足以引发宕机的程度，在金融行业可以引发数以亿计的损失。所以，一定要尽量避免内存泄漏。