Блог

Кто-нибудь знает, как мы можем проверить, успешно ли освобождено выделенное пространство? На странице руководства написано, что «free () не возвращает значения».

Возможны три случая:

 free( NULL );     // does nothing, so always works
free( malloc(42) );  // does something, always works
free( 666 );      // undefined behaviour - returned value would be meaningless
  

Таким образом, нет случая, когда тестирование free() имело бы смысл.

Возвращаемое значение отсутствует, потому что нет случая сбоя. free всегда успешно. Проверять нечего.

Обратите внимание, что это предполагает, что вы используете его правильно. Если вы передаете free указатель, который недопустим в качестве аргумента free , например, неинициализированный указатель, указатель на уже освобожденный объект или указатель на объект, не полученный malloc , то ваша программа имеет неопределенное поведение. Это не ошибка, о которой следует сообщать; скорее это означает, что могло случиться что угодно.

«Неправильное» свободное пространство приведет к сбою вашего приложения, поэтому нет необходимости проверять, работает ли оно 🙂

Пример:

 #include <stdlib.h>

int main(int argc, char **argv) {
    char *a = malloc(sizeof(*a) * 10);
    free(a);
    free(a);
    return 0;
}
  

$ ./example
* обнаружен glibc ./пример: двойное освобождение или повреждение (fasttop): 0x08a3e008 **
======= Обратная трассировка: ========= / lib/ libc.so.6( 0x6c501)[0x17c501]