Разыменование неинициализированных указателей
Одним из общих источников ошибок при работе с указателями является разыменование указателя, который еще не был инициализи- рован. Как и в случае других переменных Паскаля, значение пере- менной-указателя не будет определено, пока вы не присвоите ей значение, так что она сможет указывать на какой-то адрес в памя- ти.
Перед использованием указателей им всегда нужно присваивать значения. Если вы разыменовываете указатель, которому еще не присвоено значение, то считанные из него данные могут представ- лять собой случайные биты, а присваивание значения указываемому элементу может затереть другие данные, вашу программу или даже операционную систему. Это звучит несколько пугающе, но при опре- деленной дисциплине такие вещи легко отслеживаются.
Использование пустого указателя
Чтобы избежать разыменования указателей, которые не указыва- ют на что-либо значащее, нужен некоторый способ информирования о том, что указатель недопустим. В Паскале предусмотрено зарезерви- рованное слово nil, которое вы можете использовать в качестве со- держательного значения указателей, которые в данный момент ни на что не указывают. Указатель nil является допустимым, но ни с чем не связанным. Перед разыменованием указателя вы должны убедиться, что он отличен от nil (не пуст).
Предположим, например, что у вас есть функция, возвращающая указатель на некоторый элемент в памяти. Вы можете указать, что такая функция не может найти элемент, возвращая значение nil.
var ItemPointer: Pointer;
function FindIten: Pointer; begin . . . { найти элемент, возвращая указатель на него или nil, если элемент не найден }
end;
begin ItemPointer := nil; { начнем в предположении nil } ItemPointer := FindItem; { вызвать функцию } if ItemPointer <> nil then ... { для надежности разымено- вания ItemPointer } end.
