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

Вот другой довольно тонкий момент [42] . Рассмотрим процедуру, которая содержит статический указатель на динамически выделяемые данные, которые время от времени должны расти. Процедура может содержать также автоматические (т.е. локальные) указатели на эти данные. (Для краткости, мы опустим проверки ошибок. В коде продукта не делайте этого.) Например:

Это выглядит просто;

размешает данные, использует их, изменяет размер и т.д. Но есть кое-какие проблемы, которые не выходят за рамки страницы (или экрана), когда вы смотрите на этот код.

В строке, помеченной '

', указатель cur используется для обновления элемента таблицы. Однако, был инициализирован начальным значением . Если некоторое условие верно и вернула другой блок памяти, теперь указывает на первоначальный, освобожденный участок памяти! Каждый раз, когда меняется, нужно обновить также все указатели на этот участок памяти. Здесь после вызова и переназначения недостает строки ''.

Две строки, помеченные '

', еще более тонкие. В частности, предположим, что делает рекурсивный вызов . Переменная снова может быть изменена совершенно незаметно! После возвращения из значение cur может снова стать недействительным.

Можно подумать (что мы вначале и сделали), что единственным решением является знать это и добавить после вызова функции переназначение

с соответствующим комментарием. Однако, Брайан Керниган (Brian Kernighan) любезно нас поправил. Если мы используем индексирование, проблема поддержки указателя даже не возникает:

Использование индексирования не решает проблему, если вы используете глобальную копию первоначального указателя на выделенные данные; в этом случае, вам все равно нужно побеспокоиться об обновлении своих глобальных структур после вызова

.

ЗАМЕЧАНИЕ. Как и в случае с

malloc

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

realloc

память не инициализируется нулями. Вы сами при необходимости должны очистить память с помощью

memset

, поскольку

realloc

лишь выделяет новую память и больше ничего не делает.

Функция

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

По крайней мере идейно, код

довольно простой. Вот одна из возможных реализаций:

Многие опытные программисты предпочитают использовать

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

Если вы знаете, что вам понадобится инициализированная нулями память, следует также использовать

, поскольку возможно, что память, возвращенная , уже заполнена нулями. Хотя вы, программист, не можете этого знать, может это знать и избежать лишнего вызова .