Paradygmaty 

Paradygmaty 

programowania

programowania

Wykład 5 – Przepływ sterowania,

procedury i funkcje

procedury i funkcje

Przepływ sterowania

Przepływ sterowania

C

E

F

E

T

F

Komendy o pojedynczym wejściu i wyjściu

C

C

1

C

2

C

1

E

T

F

C

1

C

2

E

T

F

Przepływ sterowania 

Przepływ sterowania –

– sekwensery

sekwensery

Sekwenser

– konstrukcja, która pozwala na przeniesienie

kontroli w inne miejsce programu, nazywane

celem

sekwensera

.

Sekwensery

nisko-poziomowe

Skoki

wysoko-poziomowe

Komendy ucieczki
Wyjątki

Przepływ sterowania 

Przepływ sterowania –

– skoki

skoki

Skok

–

sekwenser,

który

pozwala

na

przeniesienie

kontroli

w

określone

miejsce

programu.

Najczęściej

przyjmuje postać komendy goto L;, gdzie L jest etykietą
oznaczającą miejsce docelowe.

int main()

C

int main()
{

C

1

;

if(E

1

) goto A;

if(E

2

) goto B;

C

2

;

A:

C

3

;

B:

C

4

;

C

5

;

}

C

1

1

E

1

2

E

2

C

2

C

3

C

4

Komenda ucieczki

– sekwenser, który przerywa wykonanie

komendy blokowej lub procedury. Pozwala na przepływ
sterowania typu: jedno-wejście wiele-wyjść

Przepływ sterowania 

Przepływ sterowania –

– komenda ucieczki

komenda ucieczki

int sumuj(int tab[])

C

1

int sumuj(int tab[])
{

int suma = 0;
for(int i=0; i<10; i++)
{

suma += tab[i];
if(suma > 10)

break;

}
return suma;

}

C

2

1

E

1

T

F

C

1

2

E

2

T

F

Przepływ sterowania 

Przepływ sterowania –

– wyjątki

wyjątki

Sytuacja nietypowa (wyjątkowa)

– jest to sytuacja, w której

program nie może działać normalnie.

Wyjątki

– są techniką pozwalającą na obsługę sytuacji

wyjątkowych.

Wyjątek

– jednostka reprezentująca sytuację wyjątkową lub

rodzinę takich sytuacji.

Przepływ sterowania 

Przepływ sterowania –

– wyjątki

wyjątki

Wyjątki

Rzucanie wyjątku

Przechwytywanie 

wyjątku

Rzucanie wyjątku: 

Rzucanie wyjątku: 

…

if(E) throw new Ex;

…

Przechwytywanie wyjątku:

try

C

a

; C

b

;

catch(T

1

I

1

) C

1

;

…
catch(T

n

I

n

) C

n

;

finally C

f

double funkcja(double a, double b) {

if (b == 0)

throw new DivideByZeroException("Nie dzieli się przez zero");

else

return a / b;

}

static void Main(string[] args){ 

double wartosc=0;

Przepływ sterowania 

Przepływ sterowania –

– wyjątki (przykład C#)

wyjątki (przykład C#)

double wartosc=0;
try

{

wartosc = Funkcja(3, 0);
…

}
catch (DivideByZeroException e) {

Console.WriteLine(e.Message);
wartosc = 0;

}
finally {

wartosc = 1;

}

}

Abstrakcja w programowaniu

Abstrakcja w programowaniu

W języku programowania abstrakcja pozwala na rozróżnienie

co

jednostka programu robi i

jak

jednostka programu pracuje.

Procedura

– jednostka obejmująca instrukcje programu.

Procedury

Procedury 

właściwe 

Procedury 

funkcyjne (funkcje)

Procedura

– jednostka obejmująca instrukcje programu.

Procedury właściwe

Procedury właściwe

Procedura właściwa

obejmuje komendy do wykonania

i podczas działania modyfikuje wartości zmiennych.

C++:

Pascal:

C++:

void I(P

1

,…,P

N

) 

{

B

}

Pascal:

procedure I(P

1

,…,P

N

)

var

D

begin

B

end;

Procedury funkcyjne

Procedury funkcyjne

Procedura funkcyjne (funkcje)

obejmują wyrażenia, których

wartość powinna zostać obliczona. Kiedy funkcja jest
wywoływana zwraca wyznaczoną wartość zawartego w niej
wyrażenia.

C++:

Pascal:

C++:

T I(P

1

,…,P

N

) 

{

B

}

Pascal:

function I(P

1

,…,P

N

) : T

var

D

begin

B

end;

Parametry i argumenty funkcji

Parametry i argumenty funkcji

Argument

jest wartością lub jednostką przekazywaną do 

procedury.

Parametr aktualny

jest wyrażeniem, które zwraca nam 

Parametr aktualny

jest wyrażeniem, które zwraca nam 

argument.

Parametr formalny

jest identyfikatorem, za pomocą którego 

może mieć dostęp do argumentu.

Parametry i argumenty funkcji

Parametry i argumenty funkcji

int suma ( int a, int b )
{

return a + b;

}

int main()

parametry formalne

{

int a = 3;
int b = 4;
cout<<suma( a, b );
return 0;

}

parametry aktualne

Mechanizm przekazywania parametrów

Mechanizm przekazywania parametrów

Machanizm przekazywania parametrów 

- forma skojarzenia 

wartości atrybutu z odpowiednim parametrem formalnym.

mechanizm 

przekazywania atrybutów

przekazywania atrybutów

przekazywanie przez 

wartość

przekazywanie przez 

referencję

Przekazywanie parametrów przez wartość

Przekazywanie parametrów przez wartość

Przekazywanie parametrów przez wartość 

- pozwala aby 

wartość była kopiowana do i/lub z procedury.

Przekazywanie parametrów 

przez wartość

przez wartość

Przekazywanie 

do funkcji

Przekazywanie 

z funkcji

Przekazywanie 

do i z funkcji

Przekazywanie parametrów przez wartość do funkcji

Przekazywanie parametrów przez wartość do funkcji

Podczas wywoływania funkcji tworzona jest zmienna lokalna 

i inicjalizowana wartością odpowiadającego jej argumentu. 

Wszelkie modyfikacje tej zmiennej lokalnej 

nie są widoczne

poza funkcją.

ADA:

C++:

ADA:

procedure Dodaj(a, b: in Integer) 
is

suma : Integer := 0;

begin

a := a + 5;
suma := a + b;

end;
…
x := 5;
Dodaj(x, 5);

C++:

void Dodaj(int a, int b)
{

int suma = 0;
a += 5; 
suma = a + b;

}
…
x = 5;
Dodaj(x, 5);

Przekazywanie parametrów przez wartość z funkcji

Przekazywanie parametrów przez wartość z funkcji

Podczas wywoływania funkcji tworzona jest zmienna lokalna 

ale 

nie inicjalizowana

. 

Kiedy następuje powrót z procedury 

wartość tej zmiennej jest przypisana do argumentu

.

ADA:

ADA:

procedure Dodaj(a, b: in Integer, suma : out Integer) is
begin

a := a + 5;
suma := a + b;

end;
…
x: Integer;
…
Dodaj(3, 4, x);

Przekazywanie parametrów przez wartość do i z funkcji

Przekazywanie parametrów przez wartość do i z funkcji

Jest to połączenie dwóch poprzednich metod.

Podczas wywoływania funkcji tworzona jest zmienna lokalna 

i 

inicjalizowana

wartością odpowiadającego jej argumentu. 

Kiedy następuje powrót z procedury wartość tej zmiennej jest 

przypisana do argumentu

.

ADA:

procedure PodzielPrzez2(a: in out Float) is
begin

a := a / 2;

end;
…
x : Float := 5.0;

…

PodzielPrzez2(x);

Przekazywanie parametrów przez wartość 

Przekazywanie parametrów przez wartość -- podsumowanie

podsumowanie

Rodzaj

Argument

Rozpoczęcie

procedury

Zakończenie 

procedury

Przekazywanie do

wartość

PF = WA

-

Przekazywanie z

zmienna

-

ZA = PF

Przekazywanie do i z

zmienna

PF = WA

ZA = PF

PF – parametr formalny

WA – wartość argumentu

ZA – zmienna argumentu

Przekazywanie parametrów przez referencję

Przekazywanie parametrów przez referencję

Przekazywanie parametrów przez referencję 

- pozwala aby 

parametr formalny był przypisany bezpośrednio do argumentu

Przekazywanie parametrów 

przez referencje

przez referencje

Przekazywanie 

stałych

Przekazywanie

zmiennych

Przekazywanie

funkcji

Aliasing

Aliasing

Alising

– występuje przy przekazywaniu parametrów przez 

referencję gdy, dwa lub więcej parametrów formalnych jest 

bezpośrednio przypisanych do tej samej zmiennej.

void funkcja(int &v1, int &v2, int &v3)
{

{

v1 -= v3;
v2 += v3;

}

…

funckja(x,y,z);
funkcja(x,y,x);

Zmienna liczba parametrów funkcji

Zmienna liczba parametrów funkcji

#include<stdarg.h> //

C++

int funkcja(int zmiennaNazwana, …) {

va_list args;
va_start(args, zmiennaNazwana);
…
char ch = va_arg(args, char);
…
char dp = va_arg(args, char);
…

…
va_end(args);

}

void funkcja(params string[] vars) //

C#

{

for (int i = 0; i < vars.Length; i++)

Console.WriteLine(vars[i].ToString());

}