Катедра за рачунарску технику и информатику. Програмирање 1 ПРЕГЛЕД ДЕКЛАРАЦИЈА КОРИШЋЕЊЕ ОПЕРАЦИЈЕ ПРИМЕРИ

Transcription

1 Катедра за рачунарску технику и информатику ПОТПРОГРАМИ Програмирање 1 ЕТФ - Београд Катедра за рачунарску технику и информатику 1/56 ЕТФ - Београд Катедра за рачунарску технику и информатику 2/56 САДРЖАЈ Особине ПРЕГЛЕД ДЕКЛАРАЦИЈА КОРИШЋЕЊЕ ОПЕРАЦИЈЕ ПРИМЕРИ Модуларизација Одговара техници развоја програма укорацима прецизирања ЕТФ - Београд Катедра за рачунарску технику и информатику 3/56 ЕТФ - Београд Катедра за рачунарску технику и информатику 4/56

2 Карактеристике Корист Разбијање проблема на мање и добро дефинисане модуле Развој независних модула (loose coupling) Решење је једноставније за сагледавање Лакше је одржавање система (модули су независни) ЕТФ - Београд Катедра за рачунарску технику и информатику 5/56 ЕТФ - Београд Катедра за рачунарску технику и информатику 6/56 Извршавање Типови потпрограма Главни програм Позивпотпрограма Потпрограм Процедуре Функције ЕТФ - Београд Катедра за рачунарску технику и информатику 7/56 ЕТФ - Београд Катедра за рачунарску технику и информатику 8/56

3 Декларације Декларација процедуре procedure function <identifier> <identifier> ( ( <formal parameter list> < formal parameter list > <function type> <declarations> ; ) ) ; Декларација процедуре дефинише програмски део ипридружује га идентификатору, који се позива процедурном наредбом <compound statement> ; procedure <identifier> ( <formal parameter list> ) ; ЕТФ - Београд Катедра за рачунарску технику и информатику 9/56 ЕТФ - Београд Катедра за рачунарску технику и информатику 10/56 Декларација процедуре Структура Декларација процедуре је слична декларацији програма, са разликом Почиње са procedure Завршава се са ; а не са тачком procedure <identifier> ( <formal parameter list> ) ; Header procedure name ( ); Declarations Statements Заглавље Декларативни део Блок Тело потпрограма ЕТФ - Београд Катедра за рачунарску технику и информатику 11/56 ЕТФ - Београд Катедра за рачунарску технику и информатику 12/56

4 Локалне променљиве Глобалне променљиве Потребне само тој процедури Област важења само унутар процедуре Динамички се стварају при позиву и уништавају при изласку Дефинисане углавном програму Област важења је читав програм ЕТФ - Београд Катедра за рачунарску технику и информатику 13/56 ЕТФ - Београд Катедра за рачунарску технику и информатику 14/56 Преклапање имена Унутар процедуре се може декларисати локална променљива која има исто име као иглобална Нова веза име-тип важи само унутар опсега важења дефинишуће процедуре Глобална променљива није доступна унутар процедуре Промене над локалном променљивом не утичу на глобалну i, j P i, c Q j R ЕТФ - Београд Катедра за рачунарску технику и информатику 15/56 ЕТФ - Београд Катедра за рачунарску технику и информатику 16/56

5 Предности program P var i, j integer; procedure Q; const i = 16; var c char; procedure R; var j real; j - реална локална променљива i - глобална константа c - знаковна глобална променљива P и Q - глобалне процедуре i локална константа c - знаковна локална променљива R локална процедура ј целобројна глобална променљива P - глобална процедура i, ј целобројне локалне променљиве Q - локална процедура ЕТФ - Београд Катедра за рачунарску технику и информатику 17/56 Уштеда простора Погодност за модификацију Штити локалне објекте икрије детаље ЕТФ - Београд Катедра за рачунарску технику и информатику 18/56 Листа формалних параметара Листа формалних параметара var <conformant_array> <identifier> <type name>, <procedure or function header> ; Листа формалних параметара удекларацији Имена са типовима Спецификација типа уформалном аргументу мора бити један идентификатор Отвара нову област важења параметра Не декларишу се опет уvar делу ЕТФ - Београд Катедра за рачунарску технику и информатику 19/56 ЕТФ - Београд Катедра за рачунарску технику и информатику 20/56

6 Листа стварних параметара Листа стварних параметара <variable identifier> <expression> <procedure identifier> <function identifier> Листа стварних параметара упроцедурној наредби Замењује формалне параметре на одговарајућим местима Морају се слагати по броју, поретку итипу Омогућава извршавање процедуре са различитим улазним подацима ; ЕТФ - Београд Катедра за рачунарску технику и информатику 21/56 ЕТФ - Београд Катедра за рачунарску технику и информатику 22/56 Врсте параметара Пренос по вредности (by value) Вредносни (by value) Променљиви (by reference) Процедурни Функцијски ЕТФ - Београд Катедра за рачунарску технику и информатику 23/56 Стварни параметар је израз или променљива Формални параметар је локална променљива за процедуру са почетном вредношћу стварног параметра при позиву Може се мењати али не утиче на стварни параметар ЕТФ - Београд Катедра за рачунарску технику и информатику 24/56

7 Пренос по вредности (by value) Пренос по вредности (by value) Не представља резултат израчунавања већ служи само као улаз Служи за заштиту од нехотичних измена Датотечки параметри или структуриране променљиве са датотекама као компонентама, не могу се овако преносити Додељивање простора је на почетку Не препоручује се за низове иструктуре података ЕТФ - Београд Катедра за рачунарску технику и информатику 25/56 Додељивање простора је на почетку процедуре Копирање вредности стварног параметра Ослобађање простора при повратку ЕТФ - Београд Катедра за рачунарску технику и информатику 26/56 program test(input, output); var x, y integer; procedure Zbir(A, B integer); writeln(a + B); B = 8 x =2; y =3; Zbir(x + 2, y) A 4 B 3 8 x 2 y 3 x и y се нису промениле ЕТФ - Београд Катедра за рачунарску технику и информатику 27/56 program test(input, output); var x, y integer; procedure Swap(A, B integer); var C integer; C = A; A = B; B = C x =2; y =3; Swap(x, y) A 2 B 3 2 C 2 x 2 y 3 x и y се нису промениле ЕТФ - Београд Катедра за рачунарску технику и информатику 28/56 3

8 Пренос по адреси (by reference) Пренос по адреси (by reference) Стварни параметар је променљива Испред одговарајућег формалног параметра стоји var Операције се обављају непосредно над стварним параметрима Користе се да би се представили резултати процедуре ЕТФ - Београд Катедра за рачунарску технику и информатику 29/56 Стварне променљиве треба да буду различите Израчунавање адреса се врши у тренутку позива процедуре Компоненте упаковане структуре или означавајуће поље уваријантном запису не могу бити стварни параметри ЕТФ - Београд Катедра за рачунарску технику и информатику 30/56 program test(input, output); var x, y integer; procedure Swap( var A, B integer); A var C integer; B C = A; C 2 A = B; B = C x 2 x =2; y =3; Swap(x, y) 3 y 3 2 x и y су се промениле ЕТФ - Београд Катедра за рачунарску технику и информатику 31/56 program test(input, output); var x, y integer; procedure Zbir(var A, B integer); writeln(a + B); B = 8 x =2; y =3; Zbir(x + 2, y) Грешка ЕТФ - Београд Катедра за рачунарску технику и информатику 32/56

9 Параметри уоблику сагласног низа program pazljivo(input, output); var x,y,z integer; procedure p(xinteger; var yinteger; ainteger); x=x+1; y=y+x; z=z+y; a=a+z x=0; y=1; z=2; P(x,z,z) x 0 a 2 x 0 z 2 y 1 ЕТФ - Београд Катедра за рачунарску технику и информатику 33/56 1 y Начин за преношење низова различитих величина упроцедуру или функцију Нестандардна могућност, нема је усвим имплементацијама Сагласни низови наводе стварне границе за сваку димензију Тип индекса стварног низовског параметра мора бити компатибилан са типом у спецификацији ЕТФ - Београд Катедра за рачунарску технику и информатику 34/56 Параметри уоблику сагласног низа Параметри уоблику сагласног низа packed array [ <index_type> ] of, array [ <index_type> ] of <identifier> <type name> <type definition>.. <identifier> <type_identifier> Минимална имаксимална вредност типа индекса мора бити узатвореном интервалу типа из спецификације типа индекса Проблем Дужина је део типа! Како преносити низове различите дужине? ЕТФ - Београд Катедра за рачунарску технику и информатику 35/56 ЕТФ - Београд Катедра за рачунарску технику и информатику 36/56

10 Предекларисане процедуре Декларација типа функције Нпр. за рад са I/O, показивачима, паковање, итд Област важења је окружујући кориснички програм Нема конфликта при поновној дефиницији истог идентификатора унутар програма Не могу се пренети као стварни параметри процедуре ЕТФ - Београд Катедра за рачунарску технику и информатику 37/56 Функција израчунава вредност редног, реалног или показивачког типа function <identifier> ( < formal parameter list > ) <ordinal type name> real <pointer type name> ЕТФ - Београд Катедра за рачунарску технику и информатику 38/56 ; Декларација типа функције Структура Функција враћа само један излазни параметар Опсег важења је исти као код процедура Вредности локалних променљивих су недефинисане на почетку Тип функције мора бити или прост или показивачки тип Унутар функције се мора доделити вредност идентификатору функције Header functionname ( ) return type; Declarations Statements Заглавље Декларативни део Блок Тело функције ЕТФ - Београд Катедра за рачунарску технику и информатику 39/56 ЕТФ - Београд Катедра за рачунарску технику и информатику 40/56

11 Функцијски параметри function Factorial (N integer) real; var I integer; Fact real; Fact = 1.0; for I = 1 to N do Fact = Fact * I; Factorial = Fact Функције се могу преносити као параметри процедурама ифункцијама Заглављем функције се наводи формални функцијски параметар Њему одговарајући стварни параметар јесте идентификатор функције Нестандардна могућност, нема је у свим имплементацијама ЕТФ - Београд Катедра за рачунарску технику и информатику 41/56 ЕТФ - Београд Катедра за рачунарску технику и информатику 42/56 program SumaReda(output); const MaksBrSab = 10; var Sabirak 1.. MaksBrSab; function Sigma(function F(X real) real; Donji, Gornji integer) real; var Indeks integer; Zbir real; Zbir = 0.0; for Indeks = Donji to Gornji do Zbir = Zbir + F(Indeks); Sigma = Zbir Function RastuciSinus(X real) real; RastuciSinus = sin(x) * x Function InverzniKub(x real) real; InverzniKub = 1/(Sqr(x) * x) for Sabirak = 1 to MaksBrSab do writeln(sabirak, Sigma(RastuciSinus, 1, Sabirak), Sigma(InverzniKub, 1, Sabirak)) ЕТФ - Београд Катедра за рачунарску технику и информатику 43/56 ЕТФ - Београд Катедра за рачунарску технику и информатику 44/56

12 Узгредни ефекти (side effects) Предекларисане функције Додела вредности глобалној променљивој Додела вредности параметру пренетом по адреси (var) Треба их избегавати јер компликују проверу исправности Не могу се пренети као стварни функцијски параметри Аритметичке abs, sin, cos, ln, exp, sqr, sqrt Логичке eof, odd Редне chr, ord, succ, pred Промене типа round, trunc ЕТФ - Београд Катедра за рачунарску технику и информатику 45/56 ЕТФ - Београд Катедра за рачунарску технику и информатику 46/56 Рекурзија Директна рекурзија Програмска техника код које функција или процедура позива саму себе директно или индиректно назива се рекурзија module procedure rekurzija; rekurzija ЕТФ - Београд Катедра за рачунарску технику и информатику 47/56 ЕТФ - Београд Катедра за рачунарску технику и информатику 48/56

13 Индиректна рекурзија Индиректна рекурзија P1 P2 P3 Pn procedure proc1; proc2; procedure proc2; proc3; procedure proc3; proc1; ЕТФ - Београд Катедра за рачунарску технику и информатику 49/56 ЕТФ - Београд Катедра за рачунарску технику и информатику 50/56 Декларисање унапред SerijskaSuma 6 total = sum(3) program SerijskaSuma (input, output); function sum (no integer) integer; if (no = 1) then sum = 1 else sum= (no + sum (no - 1)); var total integer; total = sum(3); sum (3) if (3 = 1) then F sum = 1 else 3 sum = (3 +sum (3 1)); sum (2) if (2 = 1) then F sum = 1 else 1 sum = (2 +sum (2 1)); sum (1) if (1 = 1) then T sum = 1 ЕТФ - Београд Катедразарачунарску технику иинформатику 51/56 Уколико два програма позивају један други а нису дефинисани један унутар другог, мора се увести декларисање унапред proc1 proc2 proc2 proc1 ЕТФ - Београд Катедра за рачунарску технику и информатику 52/56

14 Декларисање унапред Декларисање унапред procedure proc1; proc2; procedure proc2; proc1; Шта је proc2? proc1 је већ декларисан ЕТФ - Београд Катедра за рачунарску технику и информатику 53/56 procedure proc2; proc1; procedure proc1; proc2; Шта је proc1? proc2 је већ декларисан ЕТФ - Београд Катедра за рачунарску технику и информатику 54/56 Декларисање унапред Користи од рекурзије procedure proc2; FORWARD; procedure proc1; proc2; procedure proc2; proc1; Декларисање унапред proc2 је већ декларисан proc1 је већ декларисан ЕТФ - Београд Катедра за рачунарску технику и информатику 55/56 Једноставнија иелегантнија решења за неке типове проблема Једноставнија визуелизација решења ЕТФ - Београд Катедра за рачунарску технику и информатику 56/56