Свободная память для struct corrupt heap

Question

Я пытаюсь реализовать «мою» версию безопасного массива в C, и у меня есть проблема утечки памяти, когда я пытаюсь освободить мою структуру, которую я создал, и я не могу понять, проблема.

#include <stdio.h> 
#include <stdlib.h> 

typedef struct safe_array safe_array; 
struct safe_array 
{ 
    size_t size; 
    int * safe_array; 
}; 

void init_array(safe_array* safe_array, size_t size, int initial_value) 
{ 
    safe_array->safe_array = malloc(sizeof(int) * size); 
    for (size_t i = 0; i < size; i++) 
    { 
     safe_array->safe_array[i] = initial_value; 
    } 
    safe_array->size = size; 
} 

void free_array(safe_array* safe_array) 
{ 
    free(safe_array->safe_array); 
    free(safe_array); 
} 

int* access_array_element(safe_array* safe_array, size_t index) 
{ 
    int out_of_range = 0; 
    if (index >= safe_array->size) 
    { 
     return 0; 
    } 

    return &safe_array->safe_array[index]; 
} 

int main() 
{ 

    /*Create a safe_array and print its elements*/ 
    safe_array my_safe; 
    init_array(&my_safe, 5, 2); 
    for (size_t i = 0; i < my_safe.size; i++) 
    { 
     printf("Element %d is %d", i, *access_array_element(&my_safe, i)); 
    } 

    /*Free the safe_array*/ 
    free_array(&my_safe); 

    return 0; 
} 

Проблема возникает, когда я пытаюсь сделать free(safe_array), но я не понимаю, что именно происходит. Я не могу освободить его, потому что я никогда не выделял ему память, если это так, как я могу полностью освободить эту структуру?

Точное сообщение, которое я получаю, это Debug Assertion Failed со ссылкой на файл debug_heap.cpp.

Мне нужно уточнить, что я хочу иметь возможность освободить всю структуру не только от ее содержимого.

Answer 1

Проблема заключается в том, что &my_safe представляет собой указатель на структуру выделено на стеке (объявив его в качестве локальной переменной), а не один выделяется в куче (с помощью malloc). Поэтому вы не можете позвонить free.

С init_array требуется, чтобы клиентский код уже присвоил структуру, free_array также должен требовать, чтобы клиентский код обрабатывал освобождение структуры после этого. Так же, как init_array только выделяет память для содержимого массива, free_array следует только освобождать память для содержимого массива:

void free_array(safe_array* safe_array) 
{ 
    free(safe_array->safe_array); 
} 

Answer 2

Это правильно. Вы можете free вещей, которые были выделены malloc (или косвенно, как с strdup). Вы не можете free вещей, которые не были выделены с помощью malloc, а my_safe - это не то, что было выделено malloc.