Существует ли альтернативный способ освободить динамично выделенную память в C - не использование свободного () функция?

На самом деле, последний из них эквивалентен вызову free () . Внимательно прочитайте спецификацию realloc () , и вы обнаружите, что он может распределять данные заново или изменять размер выделения (который, особенно если новый размер больше старого, может переместить данные вокруг), и это может освободить память тоже. На самом деле, вам не нужны другие функции; все они могут быть записаны в терминах realloc () . Не то, чтобы кто-то в здравом уме сделал бы это ... но это могло бы быть сделано.

См. Стив Магуайр " Написание твердого кода " для полного анализа опасностей malloc ( ) семейство функций. См. Веб-сайт ACCU для полного анализа опасностей чтения «Написание твердого кода» , Я не уверен, что это так плохо, как об этом говорят обзоры - хотя его полное отсутствие обработки const действительно датирует его (назад к началу 90-х, когда C89 был еще новым и не

D Примечания Макки о MacOS X 10.5 (BSD) интересны ...

Стандарт C99 гласит:

7.20.3.3 Функция malloc

Синопсис

#include <stdlib.h>
void *malloc(size_t size);

Описание

Функция malloc выделяет пространство для объекта, размер которого определяется размером и значение которого не определено.

Возвращает

Функция malloc возвращает либо нулевой указатель, либо указатель на выделенное пространство.

7.20.3.4 Функция realloc

Краткое описание

#include <stdlib.h>
void *realloc(void *ptr, size_t size);

Описание

Realloc Функция освобождает старый объект, на который указывает ptr, и возвращает указатель на новый объект, размер которого указан по размеру. Содержание нового объект должен быть таким же, как у старого объекта до освобождения, до меньшего из новых и старых размеров. Любые байты в новом объекте, превышающие размер старого объекта, имеют неопределенные значения.

Если ptr является нулевым указателем, функция realloc ведет себя как функция malloc для указанный размер. В противном случае, если ptr не совпадает с указателем, ранее возвращенным функции calloc, malloc или realloc, или если пространство было освобождено вызовом для функции free или realloc поведение не определено. Если память для нового объект не может быть размещен, старый объект не освобожден и его значение не изменилось.

Возвращает

Функция realloc возвращает указатель на новый объект (который может иметь то же самое значение как указатель на старый объект), или нулевой указатель, если новый объект не может быть выделены.

Помимо редакционных изменений из-за дополнительных заголовков и функций, стандарт ISO / IEC 9899: 2011 говорит то же самое, что и C99, но в разделе 7.22.3 вместо 7.20.3.

Solaris 10 (SPARC Страница man для realloc гласит:

Функция realloc () изменяет размер указателя блока на ptr для размера байтов и возвращает указатель на (возможно, перемещенный) блок. Содержание будет неизменным вплоть до меньшего из новых и старых размеров. Если новый размер блока требует перемещения блока, пространство для предыдущего создания блока освобождается. Если новый размер больше, содержимое вновь выделенной части блока не определено. Если ptr равно NULL, realloc () ведет себя как malloc () для указанного размера. Если size равен 0, а ptr не является нулевым указателем, указанное пространство освобождается.

Это довольно явное утверждение «оно работает как free ()».

Тем не менее, то, что MacOS X 10.5 или BSD говорит что-то другое, подтверждает часть моего первого абзаца «Никто в здравом уме».

Конечно, имеется Обоснование C99 ... В нем говорится:

7.20.3 Функции управления памятью

Обработка нулевых указателей и запросов выделения нулевой длины в определении из этих функции были частично обусловлены желанием поддержать эту парадигму:

OBJ * p; // pointer to a variable list of OBJs
    /* initial allocation */
p = (OBJ *) calloc(0, sizeof(OBJ));
     /* ... */
     /* reallocations until size settles */
 while(1) {
    p = (OBJ *) realloc((void *)p, c * sizeof(OBJ));
         /* change value of c or break out of loop */
 }

Этот стиль кодирования, не обязательно одобренный Комитетом, как сообщается, широко распространен use.

Некоторые реализации вернули ненулевые значения для запросов на выделение нулевых байтов. Хотя эта стратегия имеет теоретическое преимущество, заключающаяся в различении «ничего» и «нуля» (нераспределенный указатель и указатель на пробел нулевой длины), она имеет более убедительный характер. Теоретический недостаток необходимости концепции объекта нулевой длины. Так как такие объекты не может быть объявлено, единственный способ, которым они могли бы появиться, было бы через такие запросы на распределение.

Комитет C89 решил не принимать идею объектов нулевой длины. Распределение поэтому функции могут возвращать нулевой указатель для запроса на выделение нулевых байтов. Обратите внимание, что эта обработка не исключает изложенную выше парадигму.

ТИХОЕ ИЗМЕНЕНИЕ В C89

Программа, которая опирается на запросы выделения нулевого размера, возвращающие ненулевой указатель будет вести себя по-другому.

[...]

7.20.3.4 Функция realloc

Допустим нулевой первый аргумент. Если первый аргумент не равен нулю, а второй аргумент равен 0, то вызов освобождает память, указанную первым аргументом, и нулевой аргумент может быть вернулся; C99 согласуется с политикой запрещения объектов нулевого размера.

Новая функция C99: была изменена функция realloc, чтобы было ясно, что объект освобождается, новый объект выделяется, а содержимое нового объекта совпадает с это из старого объекта до меньшего из двух размеров. C89 попытался указать, что новый объект был тем же объектом, что и старый объект, но мог иметь другой адрес. Это конфликты с другими частями стандарта, которые предполагают, что адрес объекта является постоянным во время его продолжительность жизни. Кроме того, реализации, которые поддерживают фактическое распределение, когда размер равен нулю, не обязательно верните нулевой указатель для этого случая. C89, по-видимому, требует нулевого возвращаемого значения, и Комитет счел это слишком ограничительным.

Томас Падрон-МакКарти заметил :

C89 прямо говорит: «Если размер равен нулю, а ptr не является нулевым указателем, объект, на который он указывает, является освобожденный «. Таким образом, они, кажется, удалили это предложение в C99?

Да, они удалили это предложение, потому что оно включено в первое предложение:

Функция realloc освобождает старый объект, на который указывает ptr

комната там; старый объект освобожден. Если запрошенный размер равен нулю, вы возвращаете все, что может вернуть malloc (0) , что часто (обычно) является нулевым указателем, но может быть ненулевым указателем, который также может быть возвращен в free () , но который не может быть законно разыменован.