оняття формальних і фактичних параметрів. Всі параметри лежать на стеку, причому їх типи, кількість і порядок не контролюються компілятором. Даний підхід реалізований в мові Форт.
Мова програмування може надавати можливість передавати параметри в підпрограми або тільки за значенням, або за значенням і за посиланням, або по імені і значенням. В останніх двох випадках для розрізнення способів передачі параметра використовуються окремі синтаксична конструкції (в Паскалі це ключове слово var при описі параметра). Насправді, якщо мова містить поняття посилання (покажчика), то можна обійтися і без передачі параметра за посиланням (її завжди можна змоделювати, описавши параметр типу «посилання»), але ця можливість зручна, оскільки дозволяє працювати з формальним параметром-посиланням без разименованія, а також підвищує надійність і безпеку програми.
Види підпрограм
У мовах програмування високого рівня використовується два типи підпрограм: процедури і функції.
· Функція - це підпрограма спеціального виду, яка, крім отримання параметрів, виконання дій і передачі результатів роботи через параметри має ще одну можливість - вона може повертати результат. Виклик функції є, з точки зору мови програмування, виразом, він може використовуватися в інших виразах або як правій частині присвоювання. Детальніше див у статті Функція (програмування).
· Процедура - це незалежна іменована частина програми, яку після однократного опису можна багаторазово викликати по імені з наступних частин програми для виконання певних дій.
. Процедури в Паскалі
Структура процедури аналогічна структурі програми і складається з заголовка і блоку (тіла процедури).
PROCEDURE <ім'я> (<сп. форм. пар.>); <Блок> де PROCEDURE - зарезервоване слово процедура; <Ім'я>- Ім'я процедури, є унікальним, вибирається за загальними пра-вилам, бажано щоб воно відображало сенс процедури; <Сп. форм. пар.>- Список формальних параметрів тобто список імен позначаю-щих вихідні дані та результат роботи процедури із зазначенням-ем їх типів; <Блок>- Тіло процедури представляє розділи описів і розділ операторів, що представляє складений оператор (сукупність операторів, укладених в операторні дужки BEGIN END). Розділи описів процедури містять ті ж розділи що й основна програма, в тому числі опису підпрограм нижчого рівня (вкладених).
Глобальні об'єкти - це об'єкти, описані в розділах описів основній програмі. Областю їх дії є програма і все, що містяться в ній підпрограми.
Локальні об'єкти - це об'єкти, описані в розділах описів підпрограми. Областю їх дії є підпрограма і все що містяться в ній підпрограми нижчого рівня.
Локальні опису скасовують глобальні. Оператор виклику процедури активізує процедуру. Він має вигляд: <ім'я> (<сп. Факт. Пар.>); де: <ім'я>- Ім'я процедури; <Сп. факт. пар.>- Список фактичних параметрів. Це список конкретних значень, імен і виразів підставляється замість формальних параметрів і переданих в підпрограму, а так само повертаються результати обробки. Список фактичних параметрів може бути відсутнім. Між формальними і фактичними параметрами існує взаємно - однозначна відповідність по кількості, порядку проходження і типу.
Функції в Па...
