Освобождение делает вещи хуже?

Question

Когда я пытаюсь освободить объект, который является malloc'd, выполнение valgrind, по-видимому, означает, что я сделал вещи хуже. Например, вот мой код:

for(next_token = TKGetNextToken(tokenizer); next_token != NULL; next_token = TKGetNextToken(tokenizer)) 
     { 
      ItemType* item = malloc(sizeof(ItemType)); 
      item->data = to_lower(next_token); 
      item->fileName = filename; 
      item->occ = 1; 
      HM_Put(hm, item); 
      free(next_token); 
     } 

Теперь, приведенный выше код, я получаю рассказанные байт определенно потеряли на линии, где malloc'd пункт. Однако, если я добавлю бесплатный (элемент) под свободный (next_token), остается не только этот явно потерянный оператор, но я получаю большое количество недопустимых чтений перед сводкой кучи. Я совершенно не понимаю, как это исправить, если кто-нибудь может мне помочь. Спасибо

Answer 1

Я предполагаю, что next_token является строкой, и что to_lower не создает новую строку. Это означает, что после освобождения next_tokenitem->data все еще указывает на эту свободную память.

Answer 2

Вам необходимо каким-либо образом высвободить ItemType с после, вы закрываете токенизатор. Если вы освободите их раньше, токенизация будет считываться в освобожденную память, чего вы очень не хотите делать.

Я предполагаю, что ваш фреймворк должен обеспечить некоторый способ освобождения независимо от того, что подавалось в HM_Put. Если это не так, вам нужно сделать это самостоятельно.

Например (это может быть оптимизировано, решая которые, чтобы между маркерами и to_lower ред лексем):

typedef struct t_tofree { 
    struct t_tofree *next; 
    ItemType *item; 
    char *token; // Maybe superfluous if item->data points here... 
}; 
t_tofree *toFree = NULL; 

void mustFree(ItemType *item, char *token) { 
    t_tofree *new = malloc(sizeof(t_tofree)); 
    new->next = toFree; 
    new->item = item; 
    new->token = token; 
    toFree = new; 
} 

void freeAll() { 
    while (toFree) { 
     t_toFree *next = toFree->next; 

     free(toFree->token); toFree->token = NULL; 
     // The line below if token is *not* data and both were allocated. 
     free(toFree->item->data; toFree->item->data = NULL; 
     // Other cleanup on item? 
     free(toFree->item); toFree->item = NULL; 
     free(toFree); toFree = next; 
    } 
} 
... 

for(next_token = TKGetNextToken(tokenizer); next_token != NULL; next_token =  TKGetNextToken(tokenizer)) 
    { 
     ItemType* item = malloc(sizeof(ItemType)); 
     item->data = to_lower(next_token); 
     item->fileName = filename; 
     item->occ = 1; 
     HM_Put(hm, item); 

     // Probably you can free next_token here, and only store item->data 
     mustFree(item, next_token); 
    } 

... 
// Here you're REALLY REALLY sure you won't use tokens or items 
// (it's agreed that TKGetNextToken returns alloc'ed memory) 
freeAll();