Jazyk C++ II. STL knihovna kontejnery část 1

Transkript

1 Jazyk C++ II STL knihovna kontejnery část 1 AR 2013/2014 Jazyk C++ II

2 STL kontejnery Kontejnery jsou třídy, jejichž instance slouží k uskladňování dat. Každý druh kontejneru má své výhody a nevýhody. Kontejnery dělíme na dvě základní skupiny: Posloupnosti a Asociativní kontejnery. AR 2013/2014 Jazyk C++ II 2

3 Parametry šablon STL kontejnerů První parametr šablony je vždy typ ukládaných hodnot. Výjimkou jsou map<> a multimap<>, u kterých to představují první dva parametry: typ klíče a typ hodnoty. Poslední parametr je vždy alokátor. Instance třídy, která se stará o alokaci paměti pro daný kontejner. Implicitní hodnotou tohoto parametru je standardní třída allocator. Tento parametr se zadává pouze pokud potřebuje řídit práci s pamětí jinak než standardním způsobem. Třídy, které fungují jako adaptéry mají jako druhý parametr třídu podkladového kontejneru. AR 2013/2014 Jazyk C++ II 3

4 Společné vlastnosti kontejnerů Požadavky, které by měli splňovat všechny kontejnery knihovny STL. Tři základní vlastnosti: Všechny kontejnery poskytují hodnotovou, ne odkazovou sémantiku. Všechny prvky udržují svoje pořadí v kontejneru. Operace nejsou bezpečné, proto musí být u parametru splňovat určité požadavky. AR 2013/2014 Jazyk C++ II 4

5 Společné operace kontejnerů Šablony v STL jsou navrženy tak, aby je bylo možno používat jednotným způsobem. Pokud to jde. Operace splňují všechny základní vlastnosti kontejnerů. Každá kontejnerová třída obsahuje implicitní konstruktor, kopírovací konstruktor a destruktor. Kontejnery lze také inicializovat prvky určitého rozsahu. AR 2013/2014 Jazyk C++ II 5

6 Společné operace kontejnerů Inicializace prvky jiného kontejneru: //l je vázaný seznam typů int std::list<int> l; //kopírování všech prvků seznamu l jako typu float do vektoru std::vector<float> c(l.begin(), l.end()); Inicializace prvky pole: int pole[] = { 2, 3, 17, 33, 45, 77 }; //kopírování všech prvků pole do sady std::set<int> c(pole, pole+sizeof(pole)/sizeof(pole[0]); AR 2013/2014 Jazyk C++ II 6

7 Společné operace kontejnerů Operace TypKontejneru() TypKontejneru(TypKontejneru c2) TypKontejneru(zacatek, konec) ~TypKontejneru() size() empty() Účel Vytvoření prázdného kontejneru bez prvků. Kopírující kontejner. Vytvoření kontejneru a inicializace kopiemi prvků rozsahu <zacatek, konec). Destruktor. Vrací aktuální počet prvků. Vrací informaci o tom, zda je kontejner prázdný. AR 2013/2014 Jazyk C++ II 7

8 Společné operace kontejnerů Operace max_size() Účel Maximální možný počet prvků. ==,!=, <, <=, >, >= Porovnávací kontejnery. = Přiřazení všech prvků kontejneru 2 do kontejneru 1. swap(typkontejneru), swap(c1, c2) begin(), rbegin() end(), rend() Vymění data kontejnerů. Vrací iterátor prvního prvku (zpětné iterace). Vrací iterátor pozice za poslední prvek (zpětné iterace). AR 2013/2014 Jazyk C++ II 8

9 Společné operace kontejnerů Operace insert(pozice, prvek) erase(zacatek, konec) clear() get_allocator() Účel Vloží kopii prvku (návratová hodnota a význam iterátoru pozice jsou různé). Vyjme všechny prvky v rozsahu <zacatek, konec). Vyprázdní kontejner. Vrací paměťový model kontejneru. AR 2013/2014 Jazyk C++ II 9

10 Zveřejňované datové typy Každý kontejner povinně zveřejňuje řadu datových typů, a to jako veřejně přístupné deklarace typedef uvedené v šabloně třídy kontejneru. Jedná se především o typy odvozené od typu ukládaných hodnot. Datový typy: value_type typ ukládaných hodnot. key_type typ klíče. pointer (const_pointer) typ ukazatele na typ uložených hodnot. reference (const_reference) typ (konstantní) reference na typ uložených hodnot. iterator (const_iterator) typ (konstantního) iterátoru použitelného k procházení daného kontejneru a ke změnám jeho hodnot. reverese_iterator (const_reverse_iterator)- typ (konstantního) reverzní iterátor. AR 2013/2014 Jazyk C++ II 10

11 Posloupnosti Kontejnery, u kterých záleží na pořadí dat. Data jsou v posloupnosti uložena zpravidla v pořadí, v němž byla do kontejneru uložena. Není to ale podmínkou. V některých případech má smysl u nich operace třídění (seřazení podle velikosti). Implementace posloupností je zpravidla založena na dynamicky zvětšovaném poli nebo na lineárním seznamu. AR 2013/2014 Jazyk C++ II 11

12 Posloupnosti Kontejnery posloupností reprezentující : vektor, seznam, oboustranná fronta, zásobník a fronta. AR 2013/2014 Jazyk C++ II 12

13 Vektory (vector) Vektor spravuje prvky v dynamickém poli. Standard specifikuje pouze omezení a složitosti jeho operací. Hlavičkový soubor <vector> namespace std { template <class T, class Allocator = allocator<t> > class vector; } s AR 2013/2014 Jazyk C++ II 13

14 Vlastnosti vektorů Jedná se o druh seřazené kolekce prvky vektoru udržují vždy určité pořadí. Poskytují náhodný přístup přistupování v konstantním čase. Složitosti operací: Připojování/mazání prvků na konci kontejneru, Připojování/mazání prvků uprostřed nebo na začátku kontejneru. AR 2013/2014 Jazyk C++ II 14

15 Velikost a kapacita vektorů Vektory poskytují standardní operace pro zjišťování velikosti size(), empty() a max_size(). Na zjišťování maximální kapacity prvků v aktuálně vyhrazené paměti využívá metodu capacity(). Pokud program pracuje ve vektoru s ukazateli, odkazy nebo iterátory, nebo pokud je naším cílem rychlost aplikace, musíme počítat s kapacitou vektoru. Nová alokace zneplatní všechny odkazy, ukazatele a iterátory prvků vektoru. Nová alokace zabírá čas. AR 2013/2014 Jazyk C++ II 15

16 Velikost a kapacita vektorů Pokud se chceme vyhýbat nové alokaci Můžeme si vyhradit určitou kapacitu ještě před tím, že ji začneme využívat pomocí metody reserve(). Metoda reserve() nejde volat k zmenšení kapacity. Použít konstruktor vektoru s parametrem pro inicializaci hodnot. std::vector<int> v; v.reserve(20); //vyhradi pamet std::vector<double> v2(5); Tímto způsobem zajistíme, že odkazy zůstanou platné, dokud nedojde k překročení kapacity. Pokud dojde k překročení kapacity Pomocí metody swap(). AR 2013/2014 Jazyk C++ II 16

17 Využití vektorů Vektor můžeme použít jako normální pole. Ve vektorech můžeme např. ukládat data normálních řetězců jazyka C typu char * nebo const char *: std::vector<char> v; v.resize(30); strcpy(&v[0], "Kopirovani vektoru char"); printf("%s\n", &v[0]); AR 2013/2014 Jazyk C++ II 17

18 Vektor Obvyklá struktura Prvky Povolené duplicity Kategorie iterátoru Hledání prvků Vkládaní/vyjímání prvků je rychlé Vkládání/vyjímání ruší platnost iterátoru, ukazatelů a odkazů Uvolnění paměti vyjmutých prvků Možnost rezervace paměti Transakční bezpečnost (úspěch nebo bez činnosti) Dynamické pole Hodnota Ano S náhodným přístupem Pomalé Na konci Při nové alokaci Nikdy Ano Vkládání/vyjímání na konci AR 2013/2014 Jazyk C++ II 18

19 Kdy použít vektor? Implicitně bychom měli používat vektory. Mají nejjednodušší vnitřní datovou strukturu a poskytují náhodný přístup. K datům lze přistupovat pohodlně a zpracování je dostatečně rychlé. AR 2013/2014 Jazyk C++ II 19

20 Obousměrná fronta (dequeue) Velmi podobná vektoru. Spravuje prvky v dynamické poli, Poskytuje náhodný přístup a Má téměř stejné rozhraní jako vektor. Rozdíl spočívá v tom, že u obousměrné fronty je dynamické pole otevřené na obou stranách. Umožňuje rychlé vkládání a mazání na konci i na začátku kontejneru. AR 2013/2014 Jazyk C++ II 20

21 Obousměrná fronta Hlavičkový soubor <deque> namespace std { template <class T, class Allocator == allocator<t> > class deque; } AR 2013/2014 Jazyk C++ II 21

22 Vlastnosti obousměrných front Vkládání a vyjímání prvků je rychlé na začátku i na konci. Vkládání a vyjímání prvků uprostřed je relativně pomalé. Vnitřní struktura má pro přístup k prvkům jeden odkaz navíc, takže vlastní přístup k prvkům a pohyb iterátorů je v obousměrných frontách obvykle trochu pomalejší. Iterátory musí být chytré ukazatele speciálního typu, ne obyčejné ukazatele, protože musí přeskakovat mezi různými bloky. Iterátory mají náhodný přístup. Obousměrné fronty neposkytují podporu řízení kapacity a okamžiku nové alokace. Pokud již nejsou bloky paměti dále používány, je možné jejich uvolnění, takže velikost paměti obsazené obousměrnou frontou se může zmenšovat. (závisí na implementaci.) AR 2013/2014 Jazyk C++ II 22

23 Obousměrná fronta Obvyklá struktura Prvky Povolené duplicity Kategorie iterátoru Hledání prvků Vkládaní/vyjímání prvků je rychlé Vkládání/vyjímání ruší platnost iterátoru, ukazatelů a odkazů Uvolnění paměti vyjmutých prvků Možnost rezervace paměti Transakční bezpečnost (úspěch nebo bez činnosti) Pole polí Hodnota Ano S náhodným přístupem Pomalé Na konci a na začátku vždy Nikdy Ano Vkládání/vyjímání na konci a na začátku AR 2013/2014 Jazyk C++ II 23

24 Kdy použít obousměrnou frontu? Pokud často vkládáme nebo vyjímáme prvky na začátku a na konci kontejneru, měli bychom použít kontejner obousměrné fronty. Oproti vektoru pracuje s více bloky než s jedním. AR 2013/2014 Jazyk C++ II 24

25 Seznam (list) Seznam spravuje své prvky v obousměrně vázaném seznamu. Hlavičkový soubor <list> namespace std { template <class T, class Allocator = allocator<t> > class list; } AR 2013/2014 Jazyk C++ II 25

26 Vlastnosti seznamů Seznamy neposkytují náhodný přístup. Pomalý přístup k libovolnému členu. Mazání a vkládání prvků je rychlé na každé pozici. Vnitřně se provádí změna pouze v ukazatelových hodnotách. Vkládání a mazání prvků neukončuje platnost ukazatelů, odkazů a iterátorů odkazujících na jiné prvky. Nemůže nám nastat, že se operace provede jenom z půlky, protože Každá operace uspěje nebo Neprovede žádnou činnost. AR 2013/2014 Jazyk C++ II 26

27 Vlastnosti seznamů Seznamy neposkytují operátor indexu a ani metodu at(), protože nepodporují náhodný přístup. Seznamy neposkytují operace pro kapacitu a novou alokaci. Seznamy poskytují nové speciální implementace členské funkce pro přemísťování prvků. AR 2013/2014 Jazyk C++ II 27

28 Nové operace seznamů Operace c.remove(hod) c.remove_if(op) c.unique() c.unique(op) c1.splice(poz, c2) Účel Vyjímá všechny prvky s hodnotou hod. Vyjímá všechny prvky, pro které funkce op(prvek) vrací hodnotu true. Vyjímá duplicity po sobě jdoucích prvků se stejnou hodnotou. Vyjímá duplicity po sobě jdoucích prvků, u kterých funkce op() vrací hodnotu true. Přesouvá všechny prvky z kontejneru c2 do c1 před pozici danou iterátorem poz. AR 2013/2014 Jazyk C++ II 28

29 Nové operace seznamů Operace c1.splice(poz, c2, c2poz) c1.splice(poz, c2, c2zac, c2kon) Účel Přesouvá prvek na pozici c2poz z kontejneru c2 před pozici poz kontejneru c1 (kontejnery c1 a c2 mohou být shodné). Přesouvá všechny prvky rozsahu <c2zac, c2kon) kontejneru c2 před pozici poz v c1 (kontejnery c1 a c2 mohou být shodné). c.sort() Řadí všechny prvky pomocí operátory <. c.sort(op) Řadí všechny prvky pomocí funkce op(). AR 2013/2014 Jazyk C++ II 29

30 Nové operace seznamů Operace c1.merge(c2) c1.merge(c2, op) c.reverse() Účel Pokud oba kontejnery obsahují seřazené prvky, přesune všechny prvky z kontejneru c2 do c1 tak, že všechny sloučené prvky budou i nadále seřazené. Viz předchozí metoda s tím, že prvky jsou seřazené pravidlem určeným funkcí op(). Obrátí pořadí všech prvků. AR 2013/2014 Jazyk C++ II 30

31 Seznam Obvyklá struktura Prvky Povolené duplicity Kategorie iterátoru Hledání prvků Vkládaní/vyjímání prvků je rychlé Vkládání/vyjímání ruší platnost iterátoru, ukazatelů a odkazů Uvolnění paměti vyjmutých prvků Možnost rezervace paměti - Transakční bezpečnost (úspěch nebo bez činnosti) Obousměrně vázaný seznam Hodnota Ano Obousměrný Velmi pomalé Kdekoliv Nikdy Vždy Všechny operace kromě funkce sort() a přiřazování AR 2013/2014 Jazyk C++ II 31

32 Kdy použít seznamy? Pokud často vkládáme, vyjímáme a přemisťujeme prvky uprostřed kontejneru, vyplatí se použít seznamy. Seznamy poskytují speciální členské funkce pro přemisťování prvků z jednoho kontejneru do druhého v konstantním čase. Pokud potřebujeme kontejner, který zpracovává výjimky tak, že každá operace buďto uspěje nebo nevykoná žádnou činnost, měli bychom použít seznam nebo asociativní kontejner. AR 2013/2014 Jazyk C++ II 32

33 Literatura JOSUTTIS, Nicolai. C Standardní knihovna a STL: kompletní průvodce. Vyd. 1. Brno: CP Books, 2005, 743 s. Programování. ISBN VIRIUS, Miroslav tipů a triků pro C. Vyd. 1. Brno: Computer Press, 2011, 451, xx s. ISBN AR 2013/2014 Jazyk C++ II 33