68985

Вказівники. Вказівний тип

Лекция

Информатика, кибернетика и программирование

У мові Паскаль для роботи з динамічними об’єктами передбачено спеціальний тип значень – вказівний. Це такий же простий тип, якими є цілий, дійсний, логічний. Однак для нього в мові не зарезервовано жодного стандартного ідентифікатора. Загальний вигляд опису вказівного типу такий...

Украинкский

2014-09-28

35.5 KB

4 чел.

Лекція № 14

Тема: Вказівники

План заняття:

  1.  Вказівний тип
  2.  Створення динамічних об’єктів

Вказівний тип

Умові Паскаль для роботи з динамічними об’єктами передбачено спеціальний тип значень – вказівний. Це такий же простий тип, якими є цілий, дійсний, логічний. Однак для нього в мові не зарезервовано жодного стандартного ідентифікатора. Загальний вигляд опису вказівного типу такий:

type

<Ім'я_вказівного_типу>=^<ім'я_типу>

Значенням вказівного типу є вказівка на деякий програмний об'єкт - динамічну структуру даних, за якою відбувається доступ до цього об'єкта. Після стрілки "^" зазначають тип цього динамічного об'єкта. Важливо пам'ятати, що цей тип можна задавати тільки за допомогою імені типу - стандартного чи попередньо описаного, однак у жодному разі не за допомогою безпосереднього задання типу.

Наведемо приклад опису змінних вказівного типу:

type

vect=array [1..10] of char;

mas=^vect;

var

p: ^real;

q:^integer;

m: mas;

За допомогою наведених вище описів уведено три змінні вказівного типу: p, q i m. Для однієї з них (т) тип заданий явно, для двох інших - неявно. Згідно з цими описами значення змінної р в програмі буде вказівкою на деякий динамічний об'єкт дійсного типу, значення q - на динамічний об'єкт цілого типу, а значення т - вказівкою на динамічний об'єкт, що є масивом з 10-ти літер. Читати наведені вище описи треба так: "Тип mas є вказівкою на ”vect, "Змінна р є вказівкою на дійсну змінну" тощо. Про те, що описуваний об'єкт є вказівного типу, свідчить стрілка ^ в описі цього типу. Значення кожної із змінних вказівного типу визначають місце в пам'яті відповідного динамічного об'єкта.

Іноді потрібно мати вказівник, що не вказує на жодний об'єкт, тобто порожній вказівник (за аналогією з порожньою множиною). Щоб одержати таке значення вказівника, треба виконати присвоєння

m:=nil;

Створення динамічних об’єктів

Для створення динамічного об'єкта, пов'язаного з деякою змінною вказівного типу, використовують стандартну процедуру new. Фактичним параметром цієї процедури може бути тільки змінна вказівного типу. У результаті виконання оператора процедури new(m) під час виконання програми буде введено новий динамічний об'єкт, тип якого зазначений в описі змінної вказівного типу, що є фактичним параметром процедури new. Крім цього, змінній вказівного типу (у нашому випадку т) буде присвоєна вказівка на цей уведений динамічний об'єкт. На машинному рівні механізм виконання оператора процедури new(p) полягає в тому, що в пам'яті комп'ютера відводиться місце для розміщення нового динамічного об'єкта, а відповідній змінній вказівного типу буде присвоєна адреса початку цього місця. У нашому випадку new(m) вводить масив десяти символів, а змінній т присвоюється значення, що є вказівкою на цей масив. Зазначимо, що введений об'єкт (у нашому випадку масив) не набуває

жодного значення, дія процедури new(m) щодо цього динамічного об'єкта відіграє ту ж роль, що й опис для статичного об'єкта. У мові Турбо Паскаль можна використовувати процедуру new у функціональній формі. Тоді параметр функції new (тепер цс функція) задає вказівний тип, а результатом буде вказівник (значення вказівної змінної) цього типу, що визначає створений унаслідок цього динамічний об'єкт. Наприклад, аналогом оператора процедури new(m) буде оператор

m:=new(mas);

Раніше зазначено, що під час розподілу пам'яті під локальні змінні відводиться спеціальний сегмент оперативної пам'яті (сегмент стека). Для динамічних об'єктів уводиться інша область пам'яті, що є окремо від стекового сегмента і називається купою (heap), або динамічною областю пам'яті.

Для того, щоб присвоювати значення динамічним об'єктам, треба спочатку з'ясувати механізм доступу до цих об'єктів мовою Паскаль. Для звертання до динамічного об'єкта використовують поняття змінної з вказівником. Змінна з вказівником - це змінна вказівного типу, після якої стоїть стрілка.

Нехай у програмі описана деяка змінна q:

Var q: ^integer;

Тоді оператор процедури new(q);

приведе до створення деякої змінної цілого типу, на яку вказуватиме вказівник q. Якщо ж тепер виконати присвоєння q^:=12;

то введеній динамічній змінній буде присвоєне значення 12. Ще раз зазначимо, що динамічним змінним у програмі не відведені жодні імена, а доступ до них відбувається за допомогою змінних з вказівниками.

Наведемо ще приклади операцій з динамічними змінними. Нехай S- змінна цілого типу. Тоді, використовуючи опис змінної q і процедуру new, можна записати

S:=S-q^*4;S:=q^mod2;

Якщо В - деякий масив цілих чисел, то

B[q^-2]:=14;

Якщо ж є опис

type vkaz=^char;

var С: array [1..10] of vkaz;

то він уводить масив С вказівників, кожен елемент якого вказує на якусь змінну символьного типу. Тоді можна записати

С[5]^:='I'; C[S-2]^:='n'.


 

А также другие работы, которые могут Вас заинтересовать

71309. Судебно-психологическая экспертиза 182 KB
  Основная задача СПЭ сводится к оказанию помощи суду органам предварительного следствия в более глубоком изучении специальных вопросов психологического содержания входящих в предмет доказывания по уголовным делам или являющихся составными элементами гражданско-правовых споров а также...
71310. Судебная психология 240 KB
  Судебное разбирательство как стадия уголовного процесса следует за предварительным следствием. В ходе судебного разбирательства суд должен в полном объеме проанализировать версию предварительного следствия, а также все возможные взаимосвязи событий и обстоятельств дела.
71311. Психология юридического труда 313 KB
  В кабинете следователя ничто не должно отвлекать допрашиваемого. Кабинет следователя должен быть хорошо освещен. Процессуальная самостоятельность следователя прокурора судьи в пределах определяемых законом предполагает высокий уровень ответственности волевых качеств и организаторских способностей.
71312. Основы обеспечения информационной безопасности в ОВД 153.5 KB
  Основной проблемой информационного общества сегодня является проблема защиты информации от ее утечки искажения блокирования систем и средств передачи информации а так же защита сведений конфиденциального характера и государственной тайны.
71313. Государственная политика в сфере информатизации общества и информационной безопасности 141.5 KB
  Необходимо так же сказать, что федеральный орган исполнительной власти в сфере внутренних дел обеспечивает полиции возможность использования информационно-телекоммуникационной сети Интернет, автоматизированных информационных систем, интегрированных банков данных...
71314. Нормативно-правовое обеспечение информационной безопасности 184.5 KB
  Имеет право обрабатывать данные о гражданах необходимые для выполнения возложенных на нее обязанностей с последующим внесением полученной информации в банки данных о гражданах далее банки данных. Полиция обеспечивает защиту информации содержащейся в банках данных...
71315. Мифы в современном искусстве 13.92 KB
  Зато очень активно использовался язык жестов звуков мимики. Так маленькие дети рожденные от немца русского и даже нигерийца легко найдут общий язык сидя в песочнице. Они умудрились создать свою систему общения не понимая чужой язык.
71316. Логические операции с объемом и содержанием понятия 49.5 KB
  Логический (контекстный) анализ деления понятия направлен на выявление скрытых элементов языковых конструкций в данном случае на формулирование основания когнитивной операции классифицирования на моделирование экспертной оценки речевой коммуникативной ситуации формируются аналитические...
71317. Понятие – смысловая единица речевой коммуникации 48.5 KB
  Логические характеристики понятия как формы мысли: объем и содержание понятия. Владение опытом логического анализа терминологии Умение выявлять в текстовой информации семантические единицы логического анализа Умение различать конкретные абстрактные собирательные понятия...