69751

Принцип локалізації

Домашняя работа

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

Метод покрокової деталізації та апарат процедур якраз і дають змогу вести таку паралельну розробку програм. Створені часткові алгоритми подають у вигляді досить автономних частин програми - описів процедур, які потім достатньо вставити в розділ опису процедур і функцій програми.

Украинкский

2014-10-09

38 KB

1 чел.

Самостійне вивчення

Тема 9. Принцип локалізації

Для розв'язування складних задач за допомогою комп'ютера, як зазначено, застосовують метод низхідного програмування і покрокової деталізації. У цьому випадку задачу розділяють на простіші підзадачі, які доручають виготовляти різним програмістам або колективам, щоб пришвидшити виготовлення великої програми. Метод покрокової деталізації та апарат процедур якраз і дають змогу вести таку паралельну розробку програм. Створені часткові алгоритми подають у вигляді досить автономних частин програми - описів процедур, які потім достатньо вставити в розділ опису процедур і функцій програми. За такої організації роботи бажано, щоб реалізація окремих алгоритмів була якомога автономнішою, а в завданні з виготовлення певної процедури потрібно задавати тільки її функцію і зв'язки за вхідними і вихідними даними.

Однак у процесі розробки часткових алгоритмів виникає потреба вводити додаткові типи значень, програмних об'єктів, наприклад, допоміжних змінних для подання проміжних результатів. У цьому випадку можуть виникнути труднощі, пов'язані з тим, що однакові імена можуть мати тільки одне призначення і кожне з них може бути використане для позначення тільки однієї змінної.

Ці труднощі в мові Паскаль усунуті завдяки блоковій структурі програми і принципу локалізації, суть якого полягає в тому, що імена, введені в конкретній процедурі, чинні тільки в межах цієї процедури. Розглянемо такий приклад:

program LOC(output);

const n=1;

var t: real; x: char;

procedure P(x, y: real);

var n: real;

begin

n:=x+t;

t:=y;

writeln(n, t, x);

end,

begin

t:=n/2;

x:="+";

P(n, 0.8);

writeln(n, t, x);

end.

Це приклад програми, в тілі якої описана процедура Р. У блоці головної програми описано чотири ідентифікатори: n, t, х і Р. їхні описи чинні в усьому описі головної програми, за винятком, можливо, опису процедур і функцій.

Опис процедури може містити три типи ідентифікаторів: формальні параметри, глобальні й локальні ідентифікатори.

Щодо формальних параметрів, то відомо, що вони можуть бути параметрами-значеннями і параметрами-змінними. Змінні, що відповідають параметрам-значенням, діють тільки протягом виконання процедури; параметри-змінні тільки вказують на відповідні змінні програми, яка викликає, і є фактичними параметрами.

У наведеному вище прикладі параметрами процедури Р є формальні параметри-значення. У разі звертання їм будуть присвоєні значення фактичних параметрів x=1, v=0.8, а після виходу з процедури вони стають недоступними.

Глобальні ідентифікатори не є формальними параметрами і не описані в тілі процедури, вони можуть мати той самий сенс, що й до моменту входження в процедуру. В процедурі Р глобальним ідентифікатором є змінна t. У тілі процедури ця змінна має значення r=0.5. Отже, за допомогою глобальних ідентифікаторів можливий безпосередній зв'язок процедури з блоком, який її охоплює, обминаючи формальні параметри.

Локальні ідентифікатори також не є формальними параметрами, однак, на відміну від глобальних, описані в тілі процедури. Принцип локалізації полягає в такому: якщо якийсь ідентифікатор описаний у тілі процедури, то всередині процедури він набуває змісту згідно з описом. Якщо ж цей ідентифікатор був описаний ще й поза тілом процедури - в блоці, що її охоплює, то дія попереднього опису тимчасово (до виходу з процедури) припиняється. Зокрема, якщо ідентифікатор у попередньому описі був іменем деякого програмного об'єкта, то цей об'єкт стає недоступним з тіла процедури. Після виходу з процедури опис у тілі процедури вже не діє і цей ідентифікатор знову набуває того змісту, що мав до входження в процедуру (якщо він був описаний поза процедурою). Якщо ідентифікатор, локалізований у тілі процедури, є іменем програмного об'єкта, то у разі виходу з процедури він перестає діяти, а після входження знову функціонує.

У прикладі, який ми розглядаємо, п описана в головній програмі як стала. Після входження в процедуру вона втрачає сенс сталої і набуває сенсу дійсної змінної. Програма працює так: t=0.5; х='+'. Під час входження в процедуру змінним х і у, що є формальними параметрами, присвоюються значення х=1; y=0.8. Дійсна змінна n=1+0.5= 1.5 (оскільки t зберігає свій сенс і у процедурі як глобальна змінна), t=0.8. Отже, оператор виведення дає 1.5; 0.8; 1.0. Після виходу з процедури виводяться величини, позначені такими ж ідентифікаторами. Однак тепер будуть виведені дещо інші значення - 1; 0.8; +, оскільки перший і третій ідентифікатори набувають сенсу, описаного в головній програмі, і виводяться значення, які вони мали до входження в процедуру; тільки t, як глобальна змінна, має значення, одержане в процедурі.

Під час викликання фактичних параметрів за іменем (тобто коли формальні параметри є параметрами-змінними), може трапитись колізія між ними й ідентифікаторами, локалізованими в тілі процедури. Однак вона буде обов'язково усунена автоматично внаслідок зміни ідентифікаторів, локалізованих у тілі процедури, що забезпечує транслятор. Наприклад,

var x, у: real;

………….

procedure P1(b: real; var y: real);

………….

P1(x,y);

…………

Цю колізію транслятор усуває, вводячи в процедурі замість у іншу змінну, наприклад у 1.

Отже, як локалізовані в процедурі можна брати довільні ідентифікатори, які не використовуються як формальні параметри цієї процедури і не збігаються з глобальними ідентифікаторами. З іншими ідентифікаторами, що використані поза цією процедурою, вони можуть збігатися.

Зазначимо, що принцип локалізації стосується всіх описів, у тому числі й описів процедур. Під час описування деякої процедури Р може виникнути ситуація, коли треба використати інші процедури. Якщо ці процедури будуть використані тільки в Р, тобто вони мають локальний характер, то їхній опис доцільно ввести всередину Р. Наприклад,

procedure P(a: real; var b: real);

var с: integer;

procedure P1(d: integer; x: real);

………

begin

………

end;

procedure P2()

……..

begin

……..

end;

…….

Begin

…….

      P1();

      …….

      P2();

      …….

      end

Звертання до процедур P1 і Р2 можливе лише в процедурі Р, причому формальні параметри зовнішньої процедури можна використовувати як фактичні параметри у разі звертання до локалізованих у ній процедур.


 

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

30957. Финансы и финансовые ресурсы 816.15 KB
  Первые два признака денежный характер и распределительный характер лишь ограничивают круг финансовых отношений а свойственная финансам фондовая форма существования обязательный безэквивалентный характер движения стоимости в одностороннем порядке подчеркивают специфические особенности финансов как особой экономической категории. отмечает что финансам присущи денежная форма стоимости; распределительный характер; формирование денежных доходов и накоплений принимающих форму финансовых ресурсов. Таким образом выясняя сущность и специфику...
30958. Охрана труда и техника безопасности при осмотре животных 46.5 KB
  При диагностических и лечебнопрофилактических мероприятиях взятии крови внутривенных вливаниях вакцинациях и других манипуляциях животное фиксируют в стоячем положении удерживая его за голову руками с помощью веревки или инструментов. Голову фиксируют руками за рога или одной рукой за рог другой за носовую перегородку. В таких случаях голову животного фиксируют веревкой которую закрепляют на рогах у комолых вокруг шеи. Быков фиксируют за носовое кольцо рукой или специальным водилом.
30959. Гражданское право. Шпора 154.13 KB
  Предмет гражданского права. Деление права на отдельные отрасли осуществляется с помощью двух критериев: предмета и метода правового регулирования. Имущественные отношения составляют ядро предмета гражданского права. Это отношения складывающиеся по поводу имущества при этом имуществу дается широкая трактовка: к нему относятся не только вещи но и права требования.
30960. ГЕРМАНСКИЙ ФАШИЗМ 2.25 MB
  События периода фашистского господства в Германии как и опыт прошедших с того времени лет позволили накопить большой материал для обоснованного и полного ответа на вопрос о действительной роли фашизма в системе политических социальных и экономических отношений современного капиталистического общества и соответственно о классовом содержании политики НСДАП. Главные источники финансирования фашистской партии Политические противники националсоциалистов в том числе и из буржуазного лагеря с самого начала отмечали что НСДАП справлялась с...
30961. Генетическая изменчивость 27.7 KB
  Мутации это внезапные скачкообразные стойкие изменения в структуре генотипа. На основных ее положениях строица современная генетика: мутации дискретные изменения наследственности в природе спонтанны мутации передаются по наследству встречаются достаточно редко и могут быть различных типов. Различают спонтанные и индуцированные мутации Спонтанные...
30962. Гигиена воды 166 KB
  От химического и бактериального состава воды в значительной мере зависят здоровье человека и санитарные условия его жизни. Неоспоримо огромное физиологическое и гигиеническое значение воды для жизнедеятельности человеческого организма. Однако вода может играть и отрицательную роль так как во первых служит одним из путей передачи возбудителей инфекционных болезней во вторых солевой состав воды может быть причиной возникновения ряда неинфекционных заболеваний в третьих органолептические свойства воды неприятный вкус запах и т.
30963. Государственные и муниципальные унитарные предприятия 234 KB
  Руководство унитарным предприятием (его администрация) наделено необходимыми полномочиями по организации его работы, обеспечению трудовой и государственной дисциплины. Оно реализует от имени предприятия, действующего в качестве юридического лица, его гражданскую и административную правосубъектность.
30964. Гражданское право. Понятие и предмет гражданского права 692.5 KB
  Гражданское право это отрасль частного права регулирующая имущественные и связанные с ними личные неимущественные отношения основанные на равенстве автономии воли и имущественной самостоятельности их участников. Гражданское право представляет собой базовую отрасль частного права основанную на принципах частного права некоторые из которых сложились еще во времена римского частного права. Среди них: равенство участников правоотношений неприкосновенность права собственности свобода договора автономия воли участников ...
30965. Бизнес план ИП «Восточные Сладости» 261 KB
  Обычно анализируются оба показателя, характеризующие успешность экономической деятельности предприятия, так как по отдельности они не могут дать полной и всеобъемлющей оценки деятельности предприятия. Например, на предприятии может быть такая ситуация, когда достигнут значительный экономический эффект