Programowanie Obiektowo Zorientowane w języku C++ Biblioteka STL

Transkrypt

1 Programowanie Obiektowo Zorientowane w języku C++ Biblioteka STL Mirosław Głowacki 1 1 Akademia Górniczo-Hutnicza im. Stanisława Staszica w Ktrakowie Wydział Inżynierii Metali i Informatyki Stosowanej Katedra Informatyki Stosowanej i Modelowania Maj 2019 Mirosław Głowacki (AGH, UJK) Programowanie w języku C / 35

2 Spis treści 1 Biblioteka STL 2 Kontenery 3 Iteratory 4 Algorytmy 5 Podsumowanie Mirosław Głowacki (AGH, UJK) Programowanie w języku C / 35

4 Biblioteka STL STL, czyli Standard Template Library, to biblioteka języka C++ zawierająca szablony gotowych do użycia: kontenerów, iteratorów, algorytmów oraz innych konstrukcji w formie szablonów. STL początkowo powstawała jako niezależna biblioteka rozwijana przez firmę Hewlett Packard. Z czasem większość przyjętych tam rozwiązań przeszła do biblioteki standardowej C++. STL to tzw. biblioteka generyczna - jej komponenty są sparametryzowane - niemal każdy z nich jest szablonem. Umożliwia to dobrą współpracę z typami wbudowanymi: w język i w bibliotekę oraz typami zdefiniowanymi przez użytkownika. Typy zdefiniowane muszą spełnić pewne określone warunki. Mirosław Głowacki (AGH, UJK) Programowanie w języku C / 35

6 Kontenery Biblioteka kontenerów pozwala programistom w łatwy sposób zaimplementować podstawowe struktury danych, jak kolejki, listy, stosy. Obecnie występują trzy rodzaje kontenerów: kontenery sekwencyjne, kontenery asocjacyjne i nieuporządkowane kontenery asocjacyjne (występują dopiero w standardzie C++11 ). Każdy z nich został zaprojektowany, aby zapewniać inny zestaw operacji. Zarządzają one pamięcią alokowaną dla ich elementów, i zapewniają metody dostępu: bezpośredniego lub przez iteratory, czyli obiekty o właściwościach podobnych do wskaźników. Większość kontenerów ma co najmniej kilka wspólnych funkcji wpływających ich funkcjonalność i wydajność. Mirosław Głowacki (AGH, UJK) Programowanie w języku C / 35

7 Kontenery sekwencyjne standardu C++03 Wszystkie kontenery sekwencyjne są szablonami klas, które implementują struktury danych, które zapewniają sekwencyjny dostęp do ich elementów. Biblioteka STL standard C++03 zawierała następujące kontenery sekwencyjne: vector stanowiący dynamiczną, ciągłą tablicę, deque będący dwustronnie zakończoną kolejką, list implementujący listę dwukierunkową. Standard C++11 wprowadził dwa dodatkowe kontenery sekwencyjne, a mianowicie: statyczną tablicę ciągłą array i listę jednokierunkową forward list. Mirosław Głowacki (AGH, UJK) Programowanie w języku C / 35

8 Kontenery asocjacyjne Kontenery asocjacyjne implementują posortowane struktury danych, które da się szybko przeszukiwać ze złożonością obliczeniową O(log n). Wyróżniamy następujące kontenery asocjacyjne, które są również szablonami klas: set - kolekcja unikalnych kluczy, posortowana względem tych kluczy. map, czyli słownik - jest to kolekcja par klucz-wartość, posortowana względem kluczy, które są unikalne. multiset - posortowana kolekcja kluczy, które mogą się powtarzać. multimap - słownik z powtórzeniami będący kolekcją par klucz-wartość, posortowana względem kluczy, które nie muszą być unikalne. Mirosław Głowacki (AGH, UJK) Programowanie w języku C / 35

9 Adaptery kontenerów STL zawiera dodatkowo klasy tzw. adapterów kontenerów, które zapewniają inny interfejs kontenerom sekwencyjnym, umożliwiając inny zakres operacji. Są to: stack, który adaptuje kontener w celu zapewnienia stosu o strukturze danych LIFO, queue, który adaptuje kontener w celu zapewnienia kolejki - struktura danych FIFO, priority queue, który adaptuje kontener w celu zapewnienia kolejki priorytetowej. Mirosław Głowacki (AGH, UJK) Programowanie w języku C / 35

10 Kontenery Tak więc kontenery, czyli obiekty zbiorcze są jedną z najważniejszych rzeczy wprowadzanych przez STL Ich rodzaje - różnią się konstrukcją i tym samym wydajnością poszczególnych operacji. Przykładowo kontener typu vector trzyma obiekty w liniowym obszarze pamięci, co umożliwia swobodny dostęp (ang. random access) do wszystkich elementów. Można go indeksować liczbą całkowitą, podobnie jak robi to się ze zwykłymi tablicami. Wstawienie nowego elementu gdziekolwiek indziej, niż na końcu jest operacją o złożoności liniowej, gdyż trzeba odsuwać elementy, żeby zrobić miejsce na nowy. Z kolei, w kontenerze typu list, wstawianie i usuwanie elementów jest operacją o stałym czasie wykonania, ale nie jest możliwe jego indeksowanie. Mirosław Głowacki (AGH, UJK) Programowanie w języku C / 35

11 Kontener vector - przykład W celu użycia pojemnika vector należ przyłączyć plik nagłówkowy o tej samej nazwie, a następnie zadeklarować wektor zawierający obiekty żądanej klasy jedną z instrukcji, np.: vector<string> mojwekt; vector<string> mojwekt(5); vector<string> mojwekt(5, "pusty"); Zostanę zarezerwowane kolejno: pusty wektor, wektor o rozmiarze 5, wektor o rozmiarze 5 wypełniony obiektami typu string. Obiekty wektora można indeksować: np. mojwekt[i] lub mojwekt.at(2). Można także wstawiać obiekty na końcu wektora mojwekt.push_back("ostatni"); Mirosław Głowacki (AGH, UJK) Programowanie w języku C / 35

12 Kontener vector - przykład # include <string> # include <vector> using namespace std; int main(){ vector<string> mojwekt(4, "pusty"); mojwekt.push_back("ostatni"); vector<string>::iterator itstr = mojwekt.begin(); mojwekt.insert(itstr, "pierwszy"); itstr = mojwekt.end(); mojwekt.insert(itstr-=2, 2, "pelny"); mojwekt[2] = "trzeci"; for (size_t i = 0; i < mojwekt.size(); i++) cout << mojwekt[i] << " "; return 0; } pierwszy pusty trzeci pusty pelny pelny pusty ostatni Mirosław Głowacki (AGH, UJK) Programowanie w języku C / 35

13 Kontenery Koncepcja kontenerów określa podstawowe warunki, jakie powinien spełniać typ, aby móc być zaliczonym do odpowiedniej kategorii i tym samym obsługiwanym przez odpowiednie składniki biblioteki. Określa też możliwości, jakie udostępnia dany kontener - np. list jest pojemnikiem dwukierunkowym, co oznacza, że można się po nim poruszać jedynie krokowo, ale za to w obu kierunkach. Natomiast vector jest zbiornikiem swobodnego dostępu i umożliwia poza tym jeszcze indeksowanie elementów wewnątrz pojemnika. Inny model z kolei prezentują sortowane pojemniki asocjacyjne, takie jak set i map. Elementy wewnątrz set i map są posortowane i wyszukiwanie elementu jest podobne do wyszukiwania binarnego o logarytmicznej złożoności czasowwej. Mirosław Głowacki (AGH, UJK) Programowanie w języku C / 35

14 Kontener map - przykład # include <iostream> # include <map> using namespace std; int main(){ map<int, string> tydzien; tydzien[1] = "niedziela"; tydzien[2] = "poniedziałek"; tydzien[3] = "wtorek"; tydzien[4] = "środa"; tydzien[5] = "czwartek"; tydzien[6] = "piątek"; tydzien[7] = "sobota"; cout << "3 dzień tygodnia to " << tydzien[3] << endl; } Trzeci dzień tygodnia to wtorek Mirosław Głowacki (AGH, UJK) Programowanie w języku C / 35

15 Kontenery Kontener set jest zwykłym pojemnikiem asocjacyjnym i zawiera tylko elementy kluczowe (służy tylko do tego, żeby można było w nim łatwo dany element wyszukać) Natomiast map jest pojemnikiem asocjacyjnym zawierającym pary: klucz-wartość. Odrębnym zgadnieniem są wymagania dla typów użytkownika, których obiekty mają się znaleźć w kontenerze. Przykładowo przypisywalny oznacza, że obiekt ma mieć możliwość przypisania do niego wartości. Dla odmiany domyślnie konstruowalny oznacza, że typ musi posiadać konstruktor domyślny. Kontenery list i vector stawiają takie wymagania. Mirosław Głowacki (AGH, UJK) Programowanie w języku C / 35

17 Iteratory Wstawienie obiektu wewnątrz wektora (lub innego pojemnika) wymaga zastosowania iteratora: vector<string>::iterator itstr; Iteratory to specjalne obiekty przeznaczone do poruszania się po kontenerach. Iterator, podobnie jak inne elementy STL, musi podlegać określonej koncepcji. Koncepcję iteratora o swobodnym dostępie spełnia np. zwykły wskaźnik, gdyż można na nim wykonać operacje wymagane dla iteratora: ++, --, += czy -=. itstr = mojwekt.end(); mojwekt.insert(itstr-=2, 2, "pelny"); Mirosław Głowacki (AGH, UJK) Programowanie w języku C / 35

18 Iterator mapy Zastosowanie iteratorów w stosunku do zaprezentowanej wcześniej mapy tydzien przedstawia następujący przykład. // definicja iteratora i ustawienie go // na element o kluczu 5 map<int, string>::iterator iter = tydzien.find(5); cout << "Dzień tygodnia nr " << iter->first << " to " << iter->second << endl; // elementy o kluczach większych i mniejszych map<int, string>::iterator poprzedni = iter; map<int, string>::iterator nastepny = iter; ++nastepny; --poprzedni; cout << "Przed nim jest " << poprzedni->second; cout << ", a po nim " << nastepny->second << endl; Mirosław Głowacki (AGH, UJK) Programowanie w języku C / 35

19 Iterator listy A oto przykład zastosowania iteratora listy. # include <string> # include <list> int main (){ std::string bd = "brak_danych"; std::list<std::string> lista(5, bd); // dostep do elementow listy zapewnia iterator std::list<std::string>::iterator iter; // begin() ustawia iterator na początku listy // end() ustawia iterator za lista // operator++ inkrementuje iterator if(!lista.empty()) for (iter = lista.begin(); iter!= lista.end(); ++iter) std::cout << *iter << " "; std::cout << std::endl; Mirosław Głowacki (AGH, UJK) Programowanie w języku C / 35

20 Iterator listy lista.push_back("poniedziałek"); lista.push_back("wtorek"); lista.push_back("środa"); lista.push_back("czwartek"); lista.push_back("piątek"); lista.push_back("sobota"); lista.push_back("koniec-listy"); lista.push_front("niedziela"); lista.push_front("lista-dni-tygodnia:"); for (iter = lista.begin(); iter!= lista.end(); ) if ((*iter) == bd) iter=lista.erase(iter); else iter++; Mirosław Głowacki (AGH, UJK) Programowanie w języku C / 35

21 Iterator listy if(!lista.empty()) for (iter = lista.begin(); iter!= lista.end(); ++iter){ std::cout << *iter << std::endl; // wartość elementu listy wyłuskuje // operator wyłuskania "*"" } return 0; } Rezultatem działani programu jest strumień wyjściowy: brak danych brak danych brak danych brak danych brak danych Lista-dni-tygodnia: niedziela poniedziałek wtorek środa czwartek piątek sobota Koniec-listy Mirosław Głowacki (AGH, UJK) Programowanie w języku C / 35

23 Algorytmy STL definiuje się też algorytmy, czyli odpowiednie wzorce funkcji, które mają wykonać pewne abstrakcyjne zadania na określonym kontenerze. Przykładowym algorytmem jest for each, który ma wywołać podany funktor na określonym zakresie elementów. Innymi przykładami algorytmów są reverse, który odwraca kolejność elementów w kontenerze, find, który wyszukuje określoną wartość, czy find if, który wyszukuje element spełniający warunek określony podanym funktorem. Każdy algorytm STL może pracować na każdym pojemniku konkretyzowanym każdym możliwym typem. Nie każda jednak kombinacja algorytmu i kontenera ma sens - np. nie ma sensu wywoływać algorytmu sort na kontenerze takim jak set. Mirosław Głowacki (AGH, UJK) Programowanie w języku C / 35

24 Kontenery, iteratory, algorytmy - przykład # include <iostream> # include <set> # include <algorithm> using namespace std; struct Suma{ Suma(): suma(0) { } void operator()(double dbl){suma += dbl;} double suma; }; int main(){ set<double> liczby; for(int i = 1; i < 100; i++) liczby.insert(i); set<double>::iterator result, it; result = liczby.find(5); Mirosław Głowacki (AGH, UJK) Programowanie w języku C / 35

25 Kontenery, iteratory, algorytmy - przykład } if(result!= liczby.end()) cout << "Znaleziona liczba: " << *result << endl; for(it = liczby.begin(); it!= result; ++it) cout << *it << " "; Suma s = for_each(liczby.begin(), result, Suma()); cout << endl << "Suma liczb wynosi: " << s.suma << endl; return 0; Znaleziona liczba: Suma liczb wynosi: 10 Mirosław Głowacki (AGH, UJK) Programowanie w języku C / 35

26 Grupy algorytmów Biblioteka <algorithm> ma dla języka C++ duże znaczenie. Algorytmy modyfikujące kontenery są uciążliwe i wymagają znacznego nakładu pracy. Biblioteka dostarcza ponad 60 funkcji, które tematycznie można zakwalifikować do następujących grup: Operacje niemodyfikujące - np. for_each wykonująca operację na każdym elemencie ciągu, czy count określająca liczbę wystąpień danej wartości w ciągu. Operacje niemodyfikujące, wyszukujące - np. find, która znajduje pierwsze wystąpienie wartości w ciągu, czy search znajdująca pierwsze wystąpienie podciągu w większym ciągu. Operacje modyfikujące - np. fill, która zastępuje elementy ciągu podaną wartością czy generate zastępująca elementy ciągu wartościami będącymi wynikiem funkcji. Operacje zmieniające kolejność - np. partition, która umieszcza elementy spełniające warunek przed tymi, które go nie spełniają. Mirosław Głowacki (AGH, UJK) Programowanie w języku C / 35

27 Grupy algorytmów Kolejne grupy tematyczne biblioteki <algorithm> : Operacje sortujące - np. sort, która sortuje ciąg rosnąco, czy stable_sort sortująca ciąg z zachowaniem wzajemnej kolejność dla równych elementów. Operacje wyszukiwania binarnego, np. lower_bound, która zwraca iterator do pierwszego elementu równego lub większego od podanego, czy binary_search stwierdzająca czy dany element występuje w ciągu. Operacje na zbiorze, np. merge łącząca dwa zbiory w zbiór posortowany, czy set_difference tworząca różnicę dwóch zbiorów. Operacje na kopcu, np. make_heap, która przekształca ciąg elementów tak aby tworzyły kopiec, czy sort_heap przekształcająca ciąg o strukturze kopca w ciąg posortowany. Operacje min max takie jak max, która zwraca większy z dwóch elementów, czy max_element wyszukująca największy z elementów ciągu. Mirosław Głowacki (AGH, UJK) Programowanie w języku C / 35

28 Grupy algorytmów Ostatnia z grup tematycznych algorytmów zawarta jest w oddzielnej bibliotece <numeric> : Operacje numeryczne, np. accumulate sumująca ciąg elementów, czy inner_product, która oblicza iloczyn skalarny na elementach dwóch ciągów. # include <iostream> # include <numeric> # include <vector> int main(){ std::vector<double> a{0., 1., 2., 0.,-1.}; std::vector<double> b{5., 1., 0., 3., 1.}; double ilo = std::inner_product(a.begin(), a.end(), b.begin(), 0); // 0 - wartość początkowa iloczynu if (!ilo) std::cout << "Wektory są ortogonalne\n"; } Mirosław Głowacki (AGH, UJK) Programowanie w języku C / 35

29 Przykład - zmiana struktury wektora Ostatni z przykładów przedstawia funkcje operujące na kopcu - dla przypomnienia: Kopiec (ang. heap) inne nazwy: stóg lub sterta to struktura danych oparta na drzewie, w której wartości potomków węzła są w stałej relacji z wartością rodzica. Jeżeli kopiec ma być kopcem zupełnym, wtedy dodatkowo spełnione muszą być warunki: drzewo jest prawie pełne, tzn. liście występują na ostatnim i ewentualnie przedostatnim poziomie w drzewie tylko gdy ostatni poziom nie jest całkowicie wypełniony, liście na ostatnim poziomie są spójnie ułożone od strony lewej do prawej. Jeśli przyjętą relacją między wartością potomka a wartością rodzica będzie relacja mniejszości, wówczas na szczycie znajdzie się węzeł z największym kluczem. Mirosław Głowacki (AGH, UJK) Programowanie w języku C / 35

30 Przykład - zmiana struktury wektora W przypadku zupełnego kopca binarnego, łatwo zaimplementować kopiec w tablicy, według schematu: Numerując kolejne elementy począwszy od korzenia kopca ( 1 ), a następnie od lewej do prawej, na każdym kolejnym poziomie kopca można łatwo uzyskać dostęp do potomka lewego lub prawego, albo rodzica: Jeśli potomek ma numer n, to rodzic ma n/2 - np. dla węzła 7 rodzic ma numer 3, Jeśli rodzic ma numer n, to lewy potomek ma numer 2n, a prawy 2n+1. Dla innych kopców istnieją podobne techniki. Mirosław Głowacki (AGH, UJK) Programowanie w języku C / 35

31 Przykład - zmiana struktury wektora # include <iostream> # include <algorithm> # include <vector> using namespace std; void vectelem(const char& val) {cout << val << " "; } void heapelem(const char& val){ static unsigned int nrwez = 1; static unsigned int nrpoz = 1; if (nrwez++ == nrpoz) nrpoz *= 2; cout << val << " "; if (nrwez == nrpoz) cout << endl; } void wypiszdane(const vector<char>::iterator& itp, const vector<char>::iterator& itk){ Mirosław Głowacki (AGH, UJK) Programowanie w języku C / 35

32 Zmiana struktury wektora - przykład if (is_heap(itp, itk)) for_each(itp, itk, heapelem); else for_each(itp, itk, vectelem); cout << endl; } int main(){ char alfabet[] = {"abcdefghijklmnoprstuvwxyz"}; unsigned int chrno = sizeof(alfabet); vector<char> cvect; for (int i = 0; i < chrno; i++) cvect.push_back(alfabet[i]); vector<char>::iterator itp = cvect.begin(), itk = cvect.end(); wypiszdane(itp, itk); std::reverse(itp, itk); wypiszdane(itp, itk); Mirosław Głowacki (AGH, UJK) Programowanie w języku C / 35

33 Zmiana struktury wektora - przykład } make_heap(itp, itk); // utworzenie kopca wypiszdane(itp, itk); sort_heap(itp, itk); // przywrócenie struktury wypiszdane(itp, itk); return 0; a b c d e f g h i j k l m n o p r s t u v w x y z z y x w v u t s r p o n m l k j i h g f e d c b a z x y t w v u k s r p o n m l j i h g f e d c b a a b c d e f g h i j k l m n o p r s t u v w x y z Mirosław Głowacki (AGH, UJK) Programowanie w języku C / 35

35 Biblioteka STL - podsumowanie Sposób zaprogramowania biblioteki STL (jej generyczność) zapewnił jej szerokie zastosowanie - kontenery, iteratory i algorytmy mogą się ona adaptować do typów nieznanych w momencie jej opracowywania. Szablony C++ są bardzo efektywne, więc STL jest o wiele bardziej popularna niż podobne biblioteki pisane dla C, w przypadku których wydajność była istotnie niższa od ręcznie programowanych rozwiązań. Mirosław Głowacki (AGH, UJK) Programowanie w języku C / 35