Для работы с указателями необходимо:
1. Описать указатель
2. Задать значение указателю
3. Операция разыменования
4. Освободить динамическую память
1) Описать указатель.
При этом в статической области памяти будет выделено 4 байт и связано с его идентификатором.
- нетипизированный
<{CODE_COLLAPSE_ON}><{CODE_COLLAPSE_OFF}><{CODE_WRAP_ON}><{CODE_WRAP_OFF}>
- типизированный
<{CODE_COLLAPSE_ON}><{CODE_COLLAPSE_OFF}><{CODE_WRAP_ON}><{CODE_WRAP_OFF}>Type Base = Record Number : Byte; Name : String[30]; Phith,Bio,Math : Char; End; Lang = Record Engl,Ukr,Rus : Char; End; Mass = Array[1..36] Of Base; LstPtr = ^List; List = Record Number,Ifo :Integer; end; Var BegPtr,EndPtr : LstPtr; Ptr1 : ^Base; Ptr2 : ^Mass; Ptr3 : LstPtr; Ptr4 : ^String; Ptr5 : ^Integer; Ptr6 : ^Real;
2) Задать значение указателю
<{CODE_COLLAPSE_ON}><{CODE_COLLAPSE_OFF}><{CODE_WRAP_ON}><{CODE_WRAP_OFF}>Var K: Integer; P: Pointer; ..... P:= Addr(K); { Присвоить адрес переменной K } .....
Функция Addr(X) и операция @X, возвращают значение типа Pointer, являющееся началом области памяти, в которой размещается значение переменной Х. Переменная Х - может быть любого типа.
Для выделения динамической памяти величинам при помощи типизированных указателей используется процедура New(TypePtr)
<{CODE_COLLAPSE_ON}><{CODE_COLLAPSE_OFF}><{CODE_WRAP_ON}><{CODE_WRAP_OFF}>Var Ptr :^integer; ....... New(Ptr);
, где TypePtr - типизированный указатель. Под действием данной процедуры переменной TypePtr присваивается значение предопределённой переменной HeapPtr, в динамической памяти выделяется место соответственно типу указателя и значение переменной HeapPtr изменяется на величину этого типа. В дальнейшем при помощи этого указателя в динамической памяти можно размещать величины тип, которых соответствует типу типизированного указателя и иметь к ним доступ.
Для выделения динамической памяти величинам при помощи нетипизированных указателей используется процедура GetMem(TPtr,Size)
<{CODE_COLLAPSE_ON}><{CODE_COLLAPSE_OFF}><{CODE_WRAP_ON}><{CODE_WRAP_OFF}>Var Ptr:Pointer; .......... GetMem(Ptr,50);
, где TPtr - нетипизированный указатель типа Pointer, Size - величина типа Word, количество выделяемой динамической памяти. Под действием данной процедуры переменной TPtr присваивается значение предопределённой переменной HeapPtr, в динамической памяти выделяется участок размером Size байт, значение переменной HeapPtr изменяется на величину параметра Size. В дальнейшем при помощи этого указателя в выделенном учаске динамической памяти можно размещать любые величины размером Size байт и иметь к ним доступ.
Для определения количества памяти необходимой для размещения величины какого - либо типа, в языке Pascal определена функция SizeOf(X).<{CODE_COLLAPSE_ON}><{CODE_COLLAPSE_OFF}><{CODE_WRAP_ON}><{CODE_WRAP_OFF}>Var sameVar: byte; K:word; .......... K=SizeOf(sameVar); {k=1} ..........
, где X - идентификатор переменной, функции или типа. В качестве своего результата функция возвращает величину типа Word - количество памяти в байтах необходимое для размещения X.
3) Операция разыменования
Суть её состоит в переходе от указателя к значению, на которое он указывает. Эта операци обозначается - идентификатор указателя^ . Результатом операции является значение величины, на которую указывает указатель, т.е. осуществляется доступ к той области памяти, с которой связан указатель. Разыменованному типизированному указателю можно присваивать значения того типа, которым он описан или присваивать его значения переменным того же типа. Аналогично и для нетипизированных указателей, но только надо следить, чтобы размер памяти указанной при создании нетипизированного указателя, совпадал с размером величины, которую мы заносим в память, или в которую мы считываем значение.
<{CODE_COLLAPSE_ON}><{CODE_COLLAPSE_OFF}><{CODE_WRAP_ON}><{CODE_WRAP_OFF}>Var I: ^Integer; R: ^Real; Begin New( I ); New( R ); I^:=200; R^:=3.1456; Writeln(I^); Writeln(R^); {На экран будут выведены значения 200 и 3.1456} End.
4) Освободить динамическую память
По окончанию работы с величинами, размещёнными в динамической памяти, её надо освободить от них.
Для типизированных указателей определена процедура Dispose(Идентификатор_указателя)
<{CODE_COLLAPSE_ON}><{CODE_COLLAPSE_OFF}><{CODE_WRAP_ON}><{CODE_WRAP_OFF}>Var Ptr :^integer; ............ new(ptr); ............ dispose(ptr);
После выполнения этой процедуры значение типизированнго указателя неопределено и теряется значение, на которое он указывал. Дальнейшее использование этого указателя возможно, только после присваивания ему значения другого указателя или повторного применения процедуры New. Процедуру Dispose можно применять только к типизированным указателям значение, которых определено.
Для нетипизированных указателей определена процедура FreeMem(P, Size)
<{CODE_COLLAPSE_ON}><{CODE_COLLAPSE_OFF}><{CODE_WRAP_ON}><{CODE_WRAP_OFF}>Var ptr :Pointer; ............ GetMem(ptr,67); ............ FreeMem(ptr,67);
, где P указатель типа Pointer, Size величина типа Word (количество освождаемой динамической памяти). Под действием данной процедуры освобождается участок памяти, начиная с адреса находящегося в указателе P, размером.Size. Значение указателя становится неопределённым. Данную процедуру нельзя применять к указателям значение, которых неопределено и следует внимательно следить за размером освобождаемой памяти. Применение этих процедур не изменяет значение переменной HeapPtr ,а освобождаемая динамическая память не учитывается как неиспользованная. На неё не будут указывать указатели при последующих вызовах процедур: New или GetMem. |
