Чтение онлайн

Общий размер загруженного в память из файла в 12 320 байтов всего лишь 1742 байта. Большую часть этого места занимают символы (symbols), список имен переменных и функций программы. (Символы не загружаются в память при запуске программы.) Программа

удаляет символы из объектного файла. Для большой программы это может сохранить значительное дисковое пространство ценой невозможности отладки дампа ядра [40] , если таковой появится (На современных системах об этом не стоит беспокоиться, не используйте .) Даже после удаления символов файл все еще больше, чем загруженный в память образ, поскольку формат объектного файла содержат дополнительные данные о программе, такие, как использованные разделяемые библиотеки, если они есть. [41]

Наконец, упомянем потоки (threads), которые представляют несколько цепочек исполнения в рамках единственного адресного пространства. Обычно у каждого потока имеется свой собственный стек, а также способ получения локальных данных потока, т.е. динамически выделяемых данных для персонального использования этим потоком. Мы больше не будем рассматривать в данной книге потоки, поскольку это является продвинутой темой.

Четыре библиотечные функции образуют основу управления динамической памятью С Мы опишем сначала их, затем последуют описания двух системных вызовов, поверх которых построены эти библиотечные функции. Библиотечные функции С, в свою очередь, обычно используются для реализации других выделяющих память библиотечных функций и операторов C++

и .

Наконец, мы обсудим функцию, которую часто используют, но которую мы не рекомендуем использовать.

Динамическую память выделяют с помощью функций

или . Эти функции возвращают указатели на выделенную память. Когда у вас есть блок памяти определенного первоначального размера, вы можете изменить его размер с помощью функции . Динамическая память освобождается функцией .

Отладка использования динамической памяти сама по себе является важной темой. Инструменты для этой цели мы обсудим в разделе 15.5.2 «Отладчики выделения памяти».

Вот объявления функций из темы справки GNU/Linux malloc(3):

Функции выделения памяти возвращают тип

. Это бестиповый или общий указатель, все, что с ним можно делать — это привести его к другому типу и назначить типизированному указателю. Примеры впереди.

Тип

является беззнаковым целым типом, который представляет размер памяти. Он используется для динамического выделения памяти, и далее в книге мы увидим множество примеров его использования. На большинстве современных систем _t является , но лучше явно использовать вместо простого целого типа .

Тип

используется для вычисления адреса в арифметике указателей, как в случае вычисления указателя в массиве:

Заголовочный файл

объявляет множество стандартных библиотечных функций С и типов (таких, как ), он определяет также константу препроцессора , которая представляет «нуль» или недействительный указатель. (Это нулевое значение, такое, как 0 или ''. Явное использование 0 относится к стилю С++; в С, однако, является предпочтительным, мы находим его гораздо более читабельным для кода С.)

Сначала память выделяется с помощью

. Передаваемое функции значение является общим числом затребованных байтов. Возвращаемое значение является указателем на вновь выделенную область памяти или , если память выделить невозможно. В последнем случае для обозначения ошибки будет установлен . (errno является специальной переменной, которую системные вызовы и библиотечные функции устанавливают для указания произошедшей ошибки. Она описывается в разделе 4.3 «Определение ошибок».) Например, предположим, что мы хотим выделить переменное число некоторых структур. Код выглядит примерно так: