Wybrane aspekty programowania w C++ (i nie tylko)

Prezentacja na temat: "Wybrane aspekty programowania w C++ (i nie tylko)"— Zapis prezentacji:

1 Wybrane aspekty programowania w C++ (i nie tylko)
PSOiP Wybrane aspekty programowania w C++ (i nie tylko) Konsekwencje zastosowania systemu binarnego do zapisu wartości liczb Czyli: dlaczego wyniki są złe, mimo że program jest napisany „dobrze”?

2 Wybrane aspekty programowania w C++ (i nie tylko)
PSOiP Typy całkowite Zapis zmiennoprzecinkowy Typy rzeczywiste Tablice

3 Wybrane aspekty programowania w C++ (i nie tylko)
PSOiP Typy całkowite: int „Najbardziej oczywisty” typ całkowity 4 bajty: 32 bity, 232 = możliwości Zakres wartości: od do Przy przekroczeniu górnego zakresu, program zaczyna liczyć od dolnego zakresu (zamiast będzie ) Przy przekroczeniu dolnego zakresu, program zaczyna liczyć od górnego zakresu (zamiast będzie )

4 Wybrane aspekty programowania w C++ (i nie tylko)
PSOiP Typy całkowite: int, long long int – różne standardy instrukcja „stary” standard „nowy” standard int Azja= ; Uwaga, przypisanie błędnej wartości int Azja= ; Błąd long long int Azja= ; prawidłowa wartość (jak unsigned) prawidłowa wartość long long int Azja= ; Błąd (trzeba dopisać ll)

5 Wybrane aspekty programowania w C++ (i nie tylko)
PSOiP Typy całkowite: unsigned int, long long int Program „ludność świata” Unsigned int - zakres wartości: od 0 do long long (int) – 8 bajtów, 264 możliwości, liczby ujemne i dodatnie rzędu tryliona (od ok do 1018) Przy deklarowaniu liczby o dużym module – dopisać LL (konieczne w starszym standardzie), w wyrażeniach: (long long)x, (long long) Można stosować unsigned long long

6 Wybrane aspekty programowania w C++ (i nie tylko)
PSOiP Typy całkowite: UWAGA NA ZASADĘ: Typ wyniku taki jak typ argumentów w wyrażeniu Zaokrąglenia przy dzieleniu liczb całkowitych 8 / 3 = 2 (??) Obliczając liczbę rzeczywistą: np. 8. / 3 lub (float)8 / 3 Mamy int x= , y= oraz long long z z=x*y – nie otrzymamy ! (co najmniej jedna ze zmiennych x i y musi być long long)

7 Wybrane aspekty programowania w C++ (i nie tylko)
PSOiP Typy rzeczywiste Liczba – konkretna ilość bitów Pewnych wartości nie można zapisać dokładnie używając skończonej ilości bitów (lub cyfr, np. 1/3 = …), możliwa utrata części informacji Narastanie błędów w trakcie obliczeń Kolejność w dodawaniu – czy ma znaczenie? Warunki, pętle

8 Wybrane aspekty programowania w C++ (i nie tylko)
PSOiP Zapis zmiennoprzecinkowy: system dziesiętny ± * 10 12 Wykładnik (tu: 2 miejsca ze znakiem) Znak Mantysa (tu: 6 miejsc) podstawa  * 10 3  * 10 -5

9 Wybrane aspekty programowania w C++ (i nie tylko)
PSOiP Wybrane aspekty programowania w C++ (i nie tylko) Zapis zmiennoprzecinkowy: uogólnienie ± _._ _ _ _ _ _ * X _ _ _ _ Wykładnik (n+1 miejsc, w tym 1 na znak) Mantysa (m miejsc) podstawa Znak Mantysa znormalizowana: wartość między 1 a X Skończona liczba miejsc na zapis liczby: zbiór liczb, które można zapisać jest skończony! (zbiór dyskretny – tylko pewne konkretne liczby)

10 Wybrane aspekty programowania w C++ (i nie tylko)
PSOiP Wybrane aspekty programowania w C++ (i nie tylko) Zapis zmiennoprzecinkowy: uogólnienie ± _._ _ _ _ _ _ * X _ _ _ _ Wykładnik (n+1 miejsc, w tym 1 na znak) Mantysa (m miejsc) podstawa Znak 1 / 3 = …  * 10 -1 W danym systemie niektórych liczb nie można zapisać skończoną ilością cyfr: Utrata części informacji (dokładności) 1 / / / 3  *  1

11 Wybrane aspekty programowania w C++ (i nie tylko)
PSOiP Wybrane aspekty programowania w C++ (i nie tylko) Zapis zmiennoprzecinkowy: uogólnienie ± _._ _ _ _ _ _ * X _ _ _ _ Wykładnik (n+1 miejsc, w tym 1 na znak) Mantysa (m miejsc) podstawa Znak Maksymalny wykładnik: Emax = Xn -1 (np. X = 10, n=3  Emax = 999) Minimalny wykładnik: Emin = -Xn +1 (np. X = 10, n=3  Emin = -999) Minimalna mantysa: Mmin = 1 Maksymalna mantysa: Mmax = X – X-(m-1) (np. X = 10, m=4  Mmax = 10 – 10-3 = 9.999)

12 Wybrane aspekty programowania w C++ (i nie tylko)
PSOiP Zapis zmiennoprzecinkowy: uogólnienie ± _._ _ _ _ _ _ * X _ _ _ _ Wykładnik (n+1 miejsc, w tym 1 na znak) Mantysa (m miejsc) podstawa Znak Najmniejsza liczba dodatnia: ymin = Mmin * X Emin = 1 * X Emin Największa liczba dodatnia: ymax = Mmax * X Emax = ( X – X-(m-1) ) * X Emax Zbiór liczb: [ - ymax , - ymin ] oraz [ ymin , ymax ] (zbiór dyskretny) -ymax -ymin ymin ymax y

13 Wybrane aspekty programowania w C++ (i nie tylko)
PSOiP Wybrane aspekty programowania w C++ (i nie tylko) Zapis zmiennoprzecinkowy: system binarny, format IEEE 754 Liczba rzeczywista w pojedynczej precyzji (float): 4 bajty = 32 bity znak wykładnik Mantysa 31 … 24 23 … System binarny: pierwszą cyfrą mantysy jest zawsze 1 – nie trzeba poświęcać miejsca na zapisanie jedynki wartosc = (-1)0 *( ) * 22 = 7.75

14 Wybrane aspekty programowania w C++ (i nie tylko)
PSOiP Wybrane aspekty programowania w C++ (i nie tylko) i 2^(-i) 1 0.5 2 0.25 3 0.125 4 0.0625 5 6 7 … 23 Mantysa: 23 bity. Dokładnie można wyrazić tylko te liczby, których mantysy są wielokrotnościami liczby 2-23 Dokładność zapisu liczby rzeczywistej: 7 – 8 pierwszych cyfr

15 Wybrane aspekty programowania w C++ (i nie tylko)
PSOiP Zapis zmiennoprzecinkowy: system binarny, format IEEE 754 Pojedyncza precyzja (float): 32 bity Można przedstawiać liczby o modułach od do 10+38 Liczby o module większym od : bity wykładnika: jeśli wszystkie bity mantysy to zera, to nieskończoność – INF, jeśli nie to NAN Liczby o module od do : bity wykładnika mantysa nieunormowana – przed kropką jest 0 (mniej cyfr dokładnych) Liczby o module mniejszym od : bity wykładnika i mantysy wyzerowane otrzymujemy +0 lub - 0

16 Wybrane aspekty programowania w C++ (i nie tylko)
PSOiP Wybrane aspekty programowania w C++ (i nie tylko) Zapis zmiennoprzecinkowy: system binarny, format IEEE 754 y = 19.5 w formacie IEEE 754? Ustalamy, przez jaką potęgę 2 należy podzielić y, aby przed kropką była 1; dobieramy sumę potęg 2 po kropce y = * 24 = = (1+ 0* * * * * ) * 24 znak wykładnik Mantysa 31 … 24 23 …

17 Wybrane aspekty programowania w C++ (i nie tylko)
PSOiP Wybrane aspekty programowania w C++ (i nie tylko) Zapis zmiennoprzecinkowy: system binarny, format IEEE 754 przykład liczby, której nie można przedstawić dokładnie (za pomocą skończonej liczby bitów) y = 1.1 znak wykładnik Mantysa 31 … 24 23 …

18 Wybrane aspekty programowania w C++ (i nie tylko)
PSOiP Wybrane aspekty programowania w C++ (i nie tylko) Zapis zmiennoprzecinkowy: system binarny, format IEEE 754 przykład dwóch liczb, które mają tę samą reprezentację y = ; z = ; program „float” znak wykładnik Mantysa 31 … 24 23 …

19 Wybrane aspekty programowania w C++ (i nie tylko)
PSOiP Zapis zmiennoprzecinkowy: system binarny, format IEEE 754 Liczba maszynowa – może się różnić od liczby rzeczywistej Obliczenia wykonywane na liczbach „niedokładnie zapamiętanych” – wyniki obarczone niedokładnościami (mogą narastać wraz ilością operacji) Float – dokładność dla pierwszych cyfr (również liczby całkowite – prawidłowo dla modułów mniejszych od , powyżej – mantysa może być za krótka, potrzeba więcej pozycji) Dodawanie liczb maszynowych nie jest przemienne, najpierw dodajemy liczby o najmniejszych modułach Niedokładna wartość liczby: wynik operacji logicznej może być inny niż oczekiwany (np. dwie wartości powinny być równe, a są różne)

20 Wybrane aspekty programowania w C++ (i nie tylko)
PSOiP Zapis zmiennoprzecinkowy: system binarny, format IEEE 754 double – podwójna precyzja: 64 bity 52 bity na zapis mantysy, 11 bitów na wykładnik Można przedstawiać liczby o modułach od do Dokładność dla pierwszych 15 cyfr – nadal nie jest to dokładność idealna (pewnych problemów nie da się wyeliminować)

21 Wybrane aspekty programowania w C++ (i nie tylko)
PSOiP Pisząc program, powinniśmy: Znać ograniczenia poszczególnych typów Mieć świadomość możliwych niedokładności wyników Czytać komunikaty o błędach i uwagi kompilatora Nie traktować wyników w sposób bezkrytyczny Testować program na różne sposoby

22 Wybrane aspekty programowania w C++ (i nie tylko)
PSOiP Wstęp do algorytmiki (1) Problemy niedoświadczonych programistów: Przejście od pisania krótkich programów (kilka – kilkanaście linii) do implementacji algorytmów Projektowanie szczegółów implementacji Praca z plikiem źródłowym, który nie mieści się na jednym ekranie Łatwiej jest napisać program niż poszukiwać w nim błędów!

23 Wybrane aspekty programowania w C++ (i nie tylko)
PSOiP Wstęp do algorytmiki (2) Rozwiązywanie problemów – jak jest? Wprowadzanie drobnych zmian „losowych” (nieprzemyślanych): zmieniam kawałek i sprawdzam, czy jest poprawa. Jeśli nie ma, to znów coś zmieniam i sprawdzam. Taki „ciąg” może być zbieżny do prawidłowego programu, ale metoda się nie sprawdza przy dużych programach.

24 Wybrane aspekty programowania w C++ (i nie tylko)
PSOiP Wstęp do algorytmiki (3) Rozwiązywanie problemów – jak powinno być? Przemyślana implementacja – najpierw się zastanowić i zaplanować, co i jak należy zrobić. Zainwestowanie czasu w „myślenie”, oszczędność czasu w trakcie pisania kodu i testowania.

25 Wybrane aspekty programowania w C++ (i nie tylko)
PSOiP Wstęp do algorytmiki (4) Pisanie programu: Podział programu na funkcje (nie umieszczać wszystkiego w main) Sensowne nazwy zmiennych i funkcji (i czy j są krótkie, ale „licznik” czy „suma” są proste w interpretacji, mniejsza szansa błędu) Przejrzystość (czytelność) kodu (switch zamiast długich serii if – else, wcięcia, komentarze, puste linie,…)

26 Wybrane aspekty programowania w C++ (i nie tylko)
PSOiP Wstęp do algorytmiki (4) Pisanie programu: Czytać komunikaty kompilatora, eliminować błędy i ostrzeżenia. Testowanie, sprawdzanie, co się dzieje np. dla bardzo dużych argumentów, dla argumentów na granicy przedziału itd. Zdrowy rozsądek