Динамічні змінні. Вказівники

Динамічні структури даних будуються з динамічних змінних. Динамічні дані згідно з картою розподілу оперативної пам’яті ОС можуть розміщуватися у так званій Heap -області (Heap – “купа”). Фізично купа розміщується у старших адресах відразу за областю пам'яті, яку займає тіло програми. Адреса початку купи зберігається в стандартній змінній heaporg, кінець-у змінній heapend, поточна сторінка незайнятої динамічної пам'яті — heapptr.

На відміну від статичних динамічні змінні не мають імені, вони не описуються у розділі Var, для них не виділяється пам’яті під час компіляції, тип може бути будь-яким, крім файлового. Динамічні змінні створюються та знищуються під час виконання програми. Для роботи з динамічними змінними використовуються змінні базового типу Pointer, які мають назву вказівників.

Вказівникові типи займають проміжне становище між скалярними і складними типами: з одного боку, значення зсилочних типів є атомарними (неподільними), з другого – ці типи визначаються через інші (в тому числі складені) типи.

Змістовно будь-який зсилочний тип визначає множину значень, які є вказівниками на значення деякого визначеного типу.

Вказівник – це посилання не певну область пам’яті, починаючи з якої записується значення змінної, тому дані подібного типу називають також зсилочним типом даних.

Ознакою того, що змінна є вказівником, є або тип Pointer, або символ ^ перед позначенням типу.

Формат опису зсилочного типу даних:

Type <тип вказівника> = ^ <ідентифікатор типу>

тобто вказівник зв’язаний з деяким типом даних. Такі вказівники називаються типізованими.

<ідентифікатор типу> називають базовим типом вказівника.

Приклади опису:

Type

mas = array [1..10] Of integer;

dmas = ^mas;

Var

p: ^integer;

q: ^char;

workmas: dmas;

r,s,t: pointer;

де:

p – вказівник на динамічний об’єкт цілого типу;

q – вказівник на динамічний об’єкт символьного типу;

workmas – вказівник на динамічний об’єкт, значенням якого є масив з 10 цілих чисел;

r,s,t – вказівники на динамічні змінні будь-якого типу.

В змінній типу вказівник зберігається адреса динамічної змінної у Heap -області.

Дата добавления: 2013-12-12