Paradygmaty programowania/Ćwiczenia 4: Podprogramy

Zadanie 1

Napisz program w dowolnym języku (niekoniecznie prawdziwym), który pokazywałby różnicę między (a) przekazywaniem parametrów przez wartość i wynik a (b) przekazywaniem przez referencję. Chodzi o to, by program wypisywał inny komunikat, jeśli zostanie uruchomiony przy założeniu (a), a inny przy (b).

Zadanie 2

Zaimplementuj jeden generator liczb pseudolosowych w „czystym” C, a drugi w C# lub Javie. Jak można wykorzystać charakterystyczne cechy tych języków?

Wskazówka:

Typowy generator liczb pseudolosowych działa tak: Pierwszy wyraz ciągu, powiedzmy $x_0$, to konkretna stała lub liczba wzięta „z zewnątrz”, np. końcowe, szybkozmieniające się bity zegara systemowego. Każdy następny wyraz ciągu generowany jest na podstawie poprzedniego według zależności $x_{i+1}=(a{x}_i+b)$ mod c, gdzie a, b i c to odpowiednio dobrane stałe. Generowane są oczywiście liczby całkowite z zakresu od 0 do c – 1.

Zadanie 3

Załóżmy, że mamy kompilator pewnego języka o składni takiej jak C, o którym nie wiemy, czy zmienne lokalne są statyczne czy dynamiczne na stosie. Napisz program, który pozwoli to sprawdzić.

Wskazówka:

Trzeba sprawdzić, czy wartość zmiennej zachowuje się pomiędzy wywołaniami funkcji.

Zadanie 4

Napisz program w dowolnym języku, który pozwoli zaobserwować różnicę w szybkości przekazywania parametrów przez wartość i przez referencję. By zminimalizować wpływ obsługi wywołań na pomiar, przekazuj w obydwu przypadkach możliwie dużą tablicę.

Wskazówka:

Pamiętaj, że w C i językach pochodnych nie da się przekazać tablicy przez wartość bez użycia pewnej „sztuczki”. Pamiętaj też, że przekazywanie tablicy po elemencie (podobnie jak wielokrotne przekazywanie jednej zmiennej np. całkowitej) da zupełnie inny rezultat.

Zadanie 5

Napisz program w języku, w którym można stosować parametry w „czystym” trybie wyjściowym, tzn. out, a nie in-out. Program ma wykazać, w którym momencie ów parametr jest wiązany z konkretną komórką pamięci — czy w chwili wywołania podprogramu, czy w chwili jego zakończenia, czy może jeszcze kiedy indziej.

Wskazówka:

Rozważ przekazanie parametru będącego odwołaniem do elementu tablicy.

Zadanie 6

Rozważmy następujący program w Adzie:

     function f(n: Integer) return Integer is

       function g(n: Integer) return Integer is
       begin
         if n <= 1 then return 1;
         else return n * f(n - 1);
         end if;
       end g;

     begin
       if n <= 1 then return 1;
       else return n * g(n - 1);
       end if;
     end f;

Jaka będzie największa długość łańcucha dynamicznego i statycznego, jeśli w wyrażeniu wywołano f(5)? Przedstaw schematycznie zawartość stosu w chwili, gdy zostanie wywołane f(1).

Zadanie 7

Jak należy zaimplementować instrukcję goto w języku, który pozwala na zagnieżdżanie podprogramów? Chodzi o sytuację, gdy goto powodowałoby „wyskoczenie” z podprogramu np. tak jak na rysunku poniżej (skok w obrębie podprogramu jest bezproblemowy, natomiast skok do wnętrza podprogramu stwarzałby niejasność co do wartości jego zmiennych lokalnych — więc go nie rozważamy).

     procedure P1

       procedure P2
       begin
       ...
       goto A;
       ...
       end P2;

     begin
     ...
     P2;
     ...
     A: ...
     ...
     end P1;

Zadanie 8

Podaj przykłady programów i sekwencji wywołań podprogramów, przy których długość łańcucha dynamicznego będzie mniejsza, równa i większa od długości łańcucha statycznego.

Zadanie 9

Co wypisuje poniższy program przy założeniu, że parametry przekazywane są przez wartość? Co, jeśli przez referencję? Co, jeśli przez wartość i wynik? Czy jest tu sytuacja, w której nie da się odpowiedzieć jednoznacznie bez ustalenia szczegółów implementacji?

     int a[] = {10, 20};
     int b = 0;

     void f(int x, int y, int z) {
       b = b+1;
       x = x+2;
       y = y+3;
       z = z+4;
       print(a[0], a[1], b, x, y, z);
     }

     void main() {
       f(a[b], b, b);
       print(a[0], a[1], b);
     }

Test

Który język nie pozwala na użycie parametrów z wartością domyślną?

Ada Źle

C Dobrze

C++ Źle

PHP Źle

Przekazanie funkcji jako parametru można w C\# osiągnąć za pomocą mechanizmu:

bezpośrednio, bez dodatkowych mechanizmów Źle

delegatów Dobrze

tablic wielowymiarowych Źle

wskaźników do funkcji Źle

Który język nie sprawdza zgodności typów parametrów?

Ada Źle

C# Źle

Java Źle

PHP Dobrze

Przy której deklaracji procedury f wywołanie f(2*x + 3) jest poprawne?

procedure f(n: in out Integer) w Adzie Źle

procedure f(n: out Integer) w Adzie Źle

void f(int n) w języku C Dobrze

void f(int *n) w języku C Źle

Chcąc w języku C przekazać do funkcji tablicę przez wartość, trzeba:

,,obudować ją strukturą i przekazać tę strukturę Dobrze

użyć nawiasów kwadratowych po nazwie tablicy w wywołaniu funkcji Źle

użyć nawiasów kwadratowych po nazwie parametru w nagłówku funkcji Źle

nie trzeba robić niczego szczególnego Źle

Jaką dodatkową cechę mają parametry stałe deklarowane w C++ z użyciem const w stosunku do parametrów w trybie wejściowym w ogóle?

nie mogą być zmieniane nawet w obrębie podprogramu Dobrze

są zawsze alokowane statycznie Źle

wymuszają statyczne sprawdzenie zgodności typu Źle

nie mają żadnej dodatkowej cechy Źle

Załóżmy, że x jest parametrem w trybie out w procedurze w Adzie. Która instrukcja ma szansę być poprawna?

x \:\= x + 1 Źle

x \:\= y + 1 Dobrze

y \:\= x + 1 Źle

y \:\= T(x) Źle

Jawne przekazywanie przez referencję jest w C\# możliwe, jeśli umieścimy słowo kluczowe ref:

przy parametrze aktualnym Źle

przy parametrze formalnym Źle

i przy parametrze formalnym, i przy aktualnym Dobrze

to w ogóle nie jest możliwe Źle

W językach z zakresem widoczności zmiennych wiązanym statycznie jako środowiska wykonywania przekazanego przez parametr podprogramu najczęściej używa się:

środowiska instrukcji (w podprogramie), wywołującej przekazany podprogram Źle

środowiska definicji przekazanego podprogramu Dobrze

środowiska instrukcji, która przekazała podprogram jako parametr Źle

żadnego z wymienioinych środowisk Źle

W implementacji podprogramów bez zagnieżdżeń, ale z rekurencją i z dynamicznymi zmiennymi lokalnymi na stosie potrzebne jest przechowywanie w rekordzie aktywacyjnym:

tylko łącza dynamicznego Dobrze

tylko łącza statycznego Źle

łącza dynamicznego i statycznego Źle

żadnego z nich Źle