Benutzer:Koschi/Kontainer der STL
In der Spieleentwicklung ist es oft nötig, ein gewisse Menge an identischen Daten zu verwalten. Um die Verwaltung der Daten nicht von Grund auf selber zu programmieren bietet die Standard Template Libary eine umfangreiche Sammlung an Kontainern, die das Verwalten der Daten erheblich erleichtert. Die Arbeitsweise und wofür die Verschiedenen Kontainer sind soll in diesem Artikel näher beschrieben werden.
Inhaltsverzeichnis |
Was ist ein Kontainer
Einen Kontainer kann man sich als Behältnis für Daten vorstellen, diese Daten werden auch Elemente genannt. Einen bekannter (nicht STL) Kontainer, den wohl jeder bereits kennt und benutzt hat, ist ein simples eindimenionales Array. Der Vorteil bei den STL Kontainer ist, dass die Anzahl der Elemente in den meinsten Fällen dynamisch wachsen können. Es spielt dabei keine Rolle ob diese Daten Structs, Klassen oder eines der Grunddatentypen sind. Wie das "Befüllen" mit Daten erfolgt, hängt aber vom Konatainer selber ab, da sich die Interne Datenstrukture von Kontainertyp zu Kontainertyp unterscheiden kann. Bedingt durch den Aufbau der Kontainer kann man diese in 3 Kategorien aufteilen:
- Sequentielle Kontainer
- Assoziative Kontainer
- Kontainer Adapter
Um die Verwaltung des benötigten Speichers, kümmern sich die Kontainer selber.
Sequentielle Kontainer
Die Daten in einem Sequentiellen Kontainer liegen in der Reihenfolge vor wie sie Eingefügt wurden. Das heist wurde ein Element als drittes hinzugefügt ist es auch später wieder an dieser stelle zu finden. Für Sequentielle Kontainer kann ein Iterator erstellt werde, der es ermöglicht alle Elemente des Kontainers über eine Schleife zu erreichen.
Zu den Sequentille Kontainer gehören:
- array
- deque
- forward_list
- list
- vector
Assoziative Kontainer
Die Assoziative Kontainer können weiter unterteilt werden in Map- und Set-Kontainer, sowie jeweils in eine multi Version. An welche Stelle im Kontainer die Elemente eingeordnet werden, kann über eine eigene Vergleichsfunktion bestimmt werden.
Mit C++11 wurden noch jeweils eine ungeordnete Versionen eingeführt. Ungeordnet heist in diesem Zusammenhang aber nur, dass nicht die Möglichkeit gegeben ist eine (eigene) Vergleichsfunktion einzusetzen. Intern arbeiten diese ungeordneten Kontainer mit Hashwerten, der Zugriff auf die Daten ist so wesentlich schneller. Es besteht aber die Möglichkeit einen eigenen Hash-Algorithmus einzusetzen, um die Reihenfolge der Daten festzulegen.
Der Zugriff auf ein Elemente kann bei allen Assoziative Kontainer über einen Schlüssel erfolgen. Die Map-Kontainer besitzen ein Schlüssel-Werte-Paar, Schlüssel und Wert können (müssen aber nicht) unterschiedliche Datentypen sein. Die Set-Kontainer besitzen lediglich den Schlüssel, der gleichzeitig auch den Wert darstellt. Der Schlüssel darf dabei nur einmalig im Kontainer vorkommen, es sei den es handelt sich um die multi Version, hier darf der Schlüssel mehrfach vorkommen.
Für Assoziative Kontainer kann ein Iterator erstellt werde, der es ermöglicht alle Elemente des Kontainers über eine Schleife zu erreichen.
Zu den Assoziative Kontainer gehören:
- map
- multimap
- unordered_map
- unordered_multimap
- set
- multiset
- unordered_set
- unordered_multiset
Kontaineradapter
Die Kontaineradapter sind spezielle Varianten von Sequentiellen Kontainer oder Assoziative Kontainer. Diese Kontainer sind auf besondere Aufgaben zugeschnitten, deshalb ist das Interface einfach gehalten und verzichtet auf Iteratoren.
Zu den Kontaineradapter gehören:
- priority_queue
- queue
- stack
Allgemeines
Die Kontainer der Standard Template Libary befinden sich im Namensraum std.
Klassen und Structs sollten Kopierbar sein, dass heißt einen public Kopierkonstruktor haben. Sind sie nicht Kopierbar, müssen die Structs oder Klassen Moveable sein, dieses funktioniert aber nur solange die Objekte nicht Kopiert werden. Moveable bedeutet in diesem Zusammenhang, dass die Klassen oder Structs einen Movekonstruktor benötigen, dann kann die Instanz der Klasse mit der Funktion std::move(T) herumgereicht werden.
Einige Kontainer benötigen bei bestimmten Operationen ein public default Konstruktor oder ein public Gleichheits-Operator, welche bei Klassen oder Structs dann Implementiert werden muss. Geordnete Assoziative Kontainer benötigen, von den Klassen und Structs, einen öffentlichen Vergleichs-Operator.
Header
In folgender Tabelle sind die Header ersichtlich, die Includiert werden müssen, damit der entsprechende Kontainer genutzt werden kann.
Kontainer Name | #include |
---|---|
array | <array> |
deque | <deque> |
forward_list | <forward_list> |
list | <list> |
vector | <vector> |
map | <map> |
multimap | |
unordered_map | <unordered_map> |
unordered_multimap | |
set | <set> |
multiset | |
unordered_set | <unordered_set> |
unordered_multiset | |
priority_queue | <queue> |
queue | <queue> |
stack | <stack> |
Klassenfunktionen
Funktion | Details zur Funktion | a r r a y |
d e q u e |
f o r w a r d _ l i s t |
l i s t |
m a p |
m u l t i m a p |
m u l t i s e t |
p r i o r i t y _ q u e u e |
q u e u e |
s e t |
s t a c k |
u n o r d e r e d _ m a p |
u n o r d e r e d _ m u l t i m a p |
u n o r d e r e d _ m u l t i s e t |
u n o r d e r e d _ s e t |
v e c t o r | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
assign | Die Funktion assign weist dem Kontainer einen komplett neuen Inhalt zu und löscht die alten Elemente. Die Größe des Kontainers wird der Anzahl der neuen Elemente angepasst.
|
O | X | X | X | O | O | O | O | O | O | O | O | O | O | O | X | ||||||
at | Über die at Funktion kann eine bestimmtes Element des Kontainers zurückgegeben werden.
|
X | X | O | O | X | O | O | O | O | O | O | X | O | O | O | X | ||||||
back | Die back Funktion gibt eine Referenz auf das letzte Element im Kontainer zurück. Diese Funktion sollte nicht bei einem leeren Kontainer angewendet werden, das Verhalten ist nicht Definiert!
|
X | X | O | X | O | O | O | O | X | O | O | O | O | O | O | X | ||||||
before_begin | Die Funktion before_begin liefert einen Iterator zurück, der vor das ersten Elemente zeigt. Dieser Iterator sollt nicht dereferenziert werden! Er ist nur dafür da anzugeben wo eine andere Funktion ihre aktion stattfindet wie z.B. für emplace_after oder erase_after.
|
O | O | X | O | O | O | O | O | O | O | O | O | O | O | O | O | ||||||
begin | Die Funktion begin gibt einen Iterator zurück, der auf das erste Element im Kontainer zeigt.
|
X | X | X | X | X | X | X | O | O | X | O | X | X | X | X | X | ||||||
bucket |
|
O | O | O | O | O | O | O | O | O | O | O | X | X | X | X | O | ||||||
bucket_count |
|
O | O | O | O | O | O | O | O | O | O | O | X | X | X | X | O | ||||||
bucket_size |
|
O | O | O | O | O | O | O | O | O | O | O | X | X | X | X | O | ||||||
capcity |
|
O | O | O | O | O | O | O | O | O | O | O | O | O | O | O | X | ||||||
cbefor_begin | Die Funktion cbefore_begin liefert einen Konstanten Iterator zurück, der vor das ersten Elemente zeigt. Dieser Iterator sollt nicht dereferenziert werden! Er ist nur dafür da anzugeben wo eine andere Funktion ihre aktion stattfindet wie z.B. für emplace_after oder erase_after.
|
O | O | X | O | O | O | O | O | O | O | O | O | O | O | O | O | ||||||
cbegin | Die Funktion cbegin gibt ein Konstanten Iterator zurück, der auf das erste Element im Kontainer zeigt.
|
X | X | X | X | X | X | X | O | O | X | O | X | X | X | X | X | ||||||
cend | Die Funktion cend gibt ein Konstanten Iterator zurück, der hinter das letzte Element im Kontainer zeigt.
|
X | X | X | X | X | X | X | O | O | X | O | X | X | X | X | X | ||||||
clear | Die Funktion clear entfernt alle Elemente des Kontainers.
|
O | X | X | X | X | X | X | O | O | X | O | X | X | X | X | X | ||||||
count | Die Funktion count sucht im Kontainer nach der Anzahl der Elemente die einen bestimmten Wert haben und gibt die Anzahl zurück.
|
O | O | O | O | X | X | X | O | O | X | O | X | X | X | X | O | ||||||
crbegin | Die Funktion crbegin gibt ein Konstanten Iterator zurück, der auf das letzte Element im Kontainer zeigt und diesen Kontainer von hinten nach vorne durchläuft (durch inkrementieren).
|
X | X | O | X | X | X | X | O | O | X | O | O | O | O | O | X | ||||||
crend | Die Funktion crend gibt ein Konstanten Iterator zurück, der vor das erste Element im Kontainer zeigt und diesen Kontainer von hinten nach vorne durchläuft (durch inkrementieren).
|
X | X | O | X | X | X | X | O | O | X | O | O | O | O | O | X | ||||||
data |
|
X | O | O | O | O | O | O | O | O | O | O | O | O | O | O | X | ||||||
emplace |
|
O | X | O | X | X | X | X | X | X | X | X | X | X | X | X | X | ||||||
emplace_after |
|
O | O | X | O | O | O | O | O | O | O | O | O | O | O | O | O | ||||||
emplace_back |
|
O | X | O | X | O | O | O | O | O | O | O | O | O | O | O | X | ||||||
emplace_front |
|
O | X | O | X | O | O | O | O | O | O | O | O | O | O | O | O | ||||||
emplace_hint |
|
O | O | O | O | X | X | X | O | O | X | O | X | X | X | X | O | ||||||
empty | Die Funktion empty gibt zurück, ob der Kontainer leer ist oder nicht.
|
X | X | X | X | X | X | X | X | X | X | X | X | X | X | X | X | ||||||
end | Die Funktion end gibt ein Iterator zurück, der hinter das letzte Element im Kontainer zeigt.
|
X | X | X | X | X | X | X | O | O | X | O | X | X | X | X | X | ||||||
equal_range |
|
O | O | O | O | X | X | X | O | O | X | O | X | X | X | X | O | ||||||
erase | Die Funktion erase löscht ein oder mehrere Elemente aus dem Kontainer und gibt ein Iterator auf das Element hinter dem letzten gelöschten Element zurück.
|
O | X | O | X | X | X | X | O | O | X | O | X | X | X | X | X | ||||||
erase_after |
|
O | O | X | O | O | O | O | O | O | O | O | O | O | O | O | O | ||||||
fill |
|
X | O | O | O | O | O | O | O | O | O | O | O | O | O | O | O | ||||||
find |
|
O | O | O | O | X | X | X | O | O | X | O | X | X | X | X | O | ||||||
front |
|
X | X | X | X | O | O | O | O | X | O | O | O | O | O | O | X | ||||||
get_allocator |
|
O | X | X | X | X | X | X | O | O | X | O | X | X | X | X | X | ||||||
hash_function |
|
O | O | O | O | O | O | O | O | O | O | O | X | X | X | X | X | ||||||
insert |
|
O | X | O | X | X | X | X | O | O | X | O | X | X | X | X | O | ||||||
insert_after |
|
O | O | X | O | O | O | O | O | O | O | O | O | O | O | O | O | ||||||
key_comp |
|
O | O | O | O | X | X | X | O | O | X | O | O | O | O | O | O | ||||||
key_eq |
|
O | O | O | O | O | O | O | O | O | O | O | X | X | X | X | O | ||||||
load_factor |
|
O | O | O | O | O | O | O | O | O | O | O | X | X | X | X | O | ||||||
lower_bound |
|
O | O | O | O | X | X | X | O | O | X | O | O | O | O | O | O | ||||||
max_bucket_count |
|
O | O | O | O | O | O | O | O | O | O | O | X | X | X | X | O | ||||||
max_load_factor |
|
O | O | O | O | O | O | O | O | O | O | O | X | X | X | X | O | ||||||
max_size |
|
X | X | X | X | X | X | X | O | O | X | O | X | X | X | X | X | ||||||
merge |
|
O | O | X | X | O | O | O | O | O | O | O | O | O | O | O | O | ||||||
operator= |
|
O | X | X | X | X | X | X | O | O | X | O | X | X | X | X | X | ||||||
operator[] |
|
X | X | O | O | X | O | O | O | O | O | O | X | O | O | O | X | ||||||
pop |
|
O | O | O | O | O | O | O | X | X | O | X | O | O | O | O | O | ||||||
pop_back |
|
O | X | O | X | O | O | O | O | O | O | O | O | O | O | O | X | ||||||
pop_front |
|
O | X | X | X | O | O | O | O | O | O | O | O | O | O | O | O | ||||||
push |
|
O | O | O | O | O | O | O | X | X | O | X | O | O | O | O | O | ||||||
push_back |
|
O | X | O | X | O | O | O | O | O | O | O | O | O | O | O | X | ||||||
push_font |
|
O | X | X | X | O | O | O | O | O | O | O | O | O | O | O | O | ||||||
rbegin | Die Funktion rbegin gibt ein Iterator zurück, der auf das letzte Element im Kontainer zeigt und diesen Kontainer von hinten nach vorne durchläuft (durch inkrementieren).
|
X | X | O | X | X | X | X | O | O | X | O | O | O | O | O | X | ||||||
rehash |
|
O | O | O | O | O | O | O | O | O | O | O | X | X | X | X | O | ||||||
remove |
|
O | O | X | X | O | O | O | O | O | O | O | O | O | O | O | O | ||||||
remove_if |
|
O | O | X | X | O | O | O | O | O | O | O | O | O | O | O | O | ||||||
rend | Die Funktion rend gibt ein Iterator zurück, der vor das erste Element im Kontainer zeigt und diesen Kontainer von hinten nach vorne durchläuft (durch inkrementieren).
|
X | X | O | X | X | X | X | O | O | X | O | O | O | O | O | X | ||||||
reverse |
|
O | O | X | X | O | O | O | O | O | O | O | X | X | X | X | X | ||||||
resize |
|
O | X | X | X | O | O | O | O | O | O | O | O | O | O | O | X | ||||||
shrinkt_to_fit |
|
O | X | O | O | O | O | O | O | O | O | O | O | O | O | O | X | ||||||
size |
|
X | X | O | X | X | X | X | X | X | X | X | X | X | X | X | X | ||||||
sort |
|
O | O | X | X | O | O | O | O | O | O | O | O | O | O | O | O | ||||||
splice |
|
O | O | O | X | O | O | O | O | O | O | O | O | O | O | O | O | ||||||
splice_after |
|
O | O | X | O | O | O | O | O | O | O | O | O | O | O | O | O | ||||||
swap |
|
X | X | X | X | X | X | X | X | X | X | X | X | X | X | X | X | ||||||
top |
|
O | O | O | O | O | O | O | X | O | O | X | O | O | O | O | O | ||||||
unique |
|
O | O | X | X | O | O | O | O | O | O | O | O | O | O | O | O | ||||||
upper_bound |
|
O | O | O | O | X | X | X | O | O | X | O | O | O | O | O | O | ||||||
value_comp |
|
O | O | O | O | X | X | X | O | O | X | O | O | O | O | O | O |
Laufzeitverhalten
Eine direkte Zeitangabe ist wenig sinvoll, da diese auch von der Hardware abhängig ist. Das Laufzeitverhalten beschreibt, wie sich der Zeitaufwand ändert, wenn sich die Anzahl der Elemente im Kontainer erhöt. Da es bei großen Projekten oft auch um Geschwindikeit geht, kann hier schon im Vorfeld die Richtige wahl, Refactoring vermeiden.
Bedeutung:
- O(1) - Konstante Laufzeit
- O(1)+ - nahezu Konstante Laufzeit (bei mehrfach verwendeten Schlüssel kann sich diese im worst case auch auf O(n) erhöhen)
- O(log n) - Logarithmischer zuwachs
- O(n) - linearer zuwaschs
- N/A - Kontainer bietet die angegebene Möglichkeit nicht
Kontainer Name | array | deque | forward_list | list | vector | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Beginn | Mitte | Ende | Beginn | Mitte | Ende | Beginn | Mitte | Ende | Beginn | Mitte | Ende | Beginn | Mitte | Ende | |
Element zugriff | O(1) | O(1) | O(1) | N/A | O(1) | N/A | O(1) | O(1) | |||||||
Element einfügen | N/A | O(1) | O(n) | O(1) | O(1) | O(n) | O(1) | O(n) | O(1) | O(n) | O(1) | ||||
Element löschen | N/A | O(1) | O(1) | O(n) | O(1) | O(1) | O(n | O(1) | O(n) | O(1) | |||||
Element finden | N/A |
Kontainer Name | map | multimap | unordered_map | unordered_multimap | ||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
Beginn | Mitte | Ende | Beginn | Mitte | Ende | Beginn | Mitte | Ende | Beginn | Mitte | Ende | |
Element zugriff | O(log n) | O(log n) | O(1)+ | O(1)+ | ||||||||
Element einfügen | O(log n) | O(log n) | O(1)+ | O(1)+ | ||||||||
Element löschen | O(log n) | O(log n) | O(1)+ | O(1)+ | ||||||||
Element finden | O(log n) | O(log n) | O(1)+ | O(1)+ |
Kontainer Name | set | multiset | unordered_set | unordered_multiset | ||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
Beginn | Mitte | Ende | Beginn | Mitte | Ende | Beginn | Mitte | Ende | Beginn | Mitte | Ende | |
Element zugriff | O(log n) | O(log n) | O(1)+ | O(1)+ | ||||||||
Element einfügen | O(log n) | O(log n) | O(1)+ | O(1)+ | ||||||||
Element löschen | O(log n) | O(log n) | O(1)+ | O(1)+ | ||||||||
Element finden | O(log n) | O(log n) | O(1)+ | O(1)+ |
Kontainer Name | priority_queue | queue | stack | ||||||
---|---|---|---|---|---|---|---|---|---|
Größter Wert | nicht Größter Wert | Beginn | Mitte | Ende | Beginn | Mitte | Ende | ||
Element zugriff | O(1) | N/A | O(1) | N/A | O(1) | O(1) | N/A | ||
Element einfügen | O(log n) | N/A | O(1) | O(1) | N/A | ||||
Element löschen | O(log n) | N/A | O(1) | N/A | O(1) | N/A | |||
Element finden | N/A |