Как функция `free` определяет, сколько памяти освободить, когда ей дан указатель, выделенный с помощью `malloc`, например: `int *i = (int *)malloc(12);` а потом `free(i);`?

Отслеживание размера памяти в malloc/free

Когда ты выделяешь память через malloc(), распределитель памяти сохраняет метаданные о размере выделения. Эти метаданные обычно хранятся в блоке заголовка, расположенном прямо перед самой выделенной памятью.

Как free() узнает размер

Когда ты вызываешь free(i), функция не требует, чтобы ты указывал размер, потому что:

• Распределитель ведет внутренний учёт того, сколько памяти было выделено
• Указатель на метаданные хранится рядом с выделенным блоком
• free() использует эти метаданные, чтобы определить, ровно сколько байтов нужно освободить

Пример расположения памяти

Ключевые моменты

• Ты не передаёшь размер в free(), потому что распределитель его уже знает
• Накладные расходы на метаданные — это причина, почему выделение множества маленьких блоков неэффективно
• Именно поэтому двойное освобождение опасно — метаданные портятся после первого free
• Конкретная реализация зависит от операционной системы и библиотеки C runtime

Важное замечание

Этот механизм работает автоматически с malloc() и free(). Однако если ты используешь new и delete в C++, действует тот же принцип, но с учётом типов при управлении памятью. Именно поэтому смешивать malloc/free с new/delete небезопасно — они могут использовать разные распределители.

Понимание этого объясняет, почему правильное управление памятью критично в C и почему современный C++ рекомендует использовать умные указатели вроде std::unique_ptr или std::shared_ptr вместо них.