====== Les containers dans la STL ====== Dans la STL est appellé "container" une classe qui stocke plusieurs éléments d'un même type. ===== La philosophie derrière les containeurs ===== L'objectif est de fournir une interface commune à l'ensemble des classes qui propose de stocker une collection d'éléments d'un type donné. Cette uniformisation passe par certaines règles de fonctionnement. __**Règle n°1**__ : Le containeur est responsable de l'allocation de la mémoire pour stocker les données dans le containeur. Quand on ajoute un élément à un containeur, le containeur va créer la mémoire nécessaire pour stocker l'objet et va recopier l'objet passé dans ce nouvel emplacement mémoire en utilisation le constructeur ou l'opérateur de recopie. Quand on détruit un élément du containeur, l'objet est détruit et son constructeur est appelé. Enfin, cette règle a une conséquence importante, quand le containeur est détruit, tous les éléments qui sont dans le containeur sont détruits. Naturellement, les informations relatifs au type des éléments stockés dans un containeur est fournir par une interface normalisée : |''value_type''|Le type des éléments stockés dans le containeur| |''reference''|Le type référence permettant d'accéder aux éléments stockés dans le containeur en écriture| |''const_reference''|Le type référence permettant d'accéder aux éléments stockés dans le containeur en lecture| |''size_type''|Le type permettant de représenter la taille du containeur| __**Règle n°2**__ : Chaque containeur offre la possibilité d'énumérer l'ensemble des éléments stockés dans le containeur sans avoir à connaitre les détails d'implantation du containeur. Cette énumération s'effectue en parcourant la structure interne en utilisant ([[cpp:stl:iterator|des itérateurs]]). Chaque collection va offrir les méthodes suivantes : | ''begin()'' | retourne un itérateur sur le premier élément situé dans le containeur .| | ''end()'' | retourne un itérateur indiquant la fin de l'énumeration.| | ''rbegin()'' | retourne un itérateur sur le dernier élément situé dans le containeur pour énumérer les élément en débutant par le dernier élément de la collection.| | ''rend()'' | retourne un itérateur indiquant la fin de l'énumeration débutant par le dernier élément situé dans le containeur.| Naturellement, on fournit aussi les types des itérateurs : |''iterator''|Le type d'un itérateur permettant d'énumérer les éléments stockés dans le containeur et fournissant un accès en lecture et en écriture aux éléments stockés dans le containeur.| |''const_iterator''|Le type d'un itérateur permettant d'énumérer les éléments stockés dans le containeur et fournissant un accès en lecture aux éléments stockés dans le containeur.| Nous retrouvons parmi les classes containers de la STL l'ensemble des structure de données habituelles correspondant à des séquences d'éléments ou au contraire des dictionnaires. __**Règle n°3**__ : Les fonctions propres à l'implantation des containeurs sont fournies par chacun des containeurs. Typiquement, les containeurs qui correspondent à des tableaux vont proposer des fonctions d'accès par index. Ainsi, les containeurs [[https://en.cppreference.com/w/cpp/container/array|''std::array'']] [[https://en.cppreference.com/w/cpp/container/vector|''std::vector'']] vont offrir les fonctions suivantes : |''reference operator [] (int)''|Accès par indexation équivalente à l'accès au ième élément d'un tableau| Comme le containeur [[https://en.cppreference.com/w/cpp/container/vector|vector]] supporte l'insertion d'éléments, des méthodes propres sont disponibles : |push_back(const value_type&)|Ajoute un élément à la fin du vecteur| |pop_back()|Enlève l'élément situé à la fin du vecteur| De manière similaire, pour les ensembles [[https://en.cppreference.com/w/cpp/container/set|set]], des méthodes complémentaires sont disponibles pour gérer insérer des éléments : |insert(const value_type&)|Ajoute un élément à l'ensemble d'éléments.| __**Règle n°4**__ : Utiliser un itérateur pour identifier un élément stocké dans un containeur La plupart des méthodes qui nécessite d'identifier un élément stocké à l'intérieur d'un containeur suppose que l'élément soit référencé par un itérateur. Ainsi pour supprimer un élément d'un ensemble [[https://en.cppreference.com/w/cpp/container/set|set]], nous appelons la méthode ''erase'' qui prend un itérateur qui fait référence à l'élément à supprimer. |''erase(iterator)''|Supprime l'élément référence par l'itérateur.| Ceci est aussi le cas pour l'ajout d'un élément dans un vecteur [[https://en.cppreference.com/w/cpp/container/vector|vecteur]] : |''emplace(const_iterator, Args&& ...)''|Ajoute un élément après l'élément identifié par l'itérateur passé en argument.| De même, quand nous recherchons un élément dans une structure, la fonction retourne un itérateur qui fait référence à l'élément qui est stocké dans la structure. Pour exemple, la fonction ''find'' qui recherche si un élément est présent dans un ensemble [[https://en.cppreference.com/w/cpp/container/set|set]] : |''const_iterator find(const value_type&)''|Recherche un élément dans l'ensmble et retourne un itérateur qui fait référence à l'élément trouvé ou au contraire retourne l'itéateur retourné par ''end()'' pour indiquer que l'élément n'est pas présent dans l'ensemble.| ===== Les containers par type ===== * Séquence d'éléments [[https://en.cppreference.com/w/cpp/container/array|array]] un tableau statique (de taille fixe). [[https://en.cppreference.com/w/cpp/container/vector|vector]] un tableau dynamique (de taille variable). [[https://en.cppreference.com/w/cpp/container/vector|vector]] une structure permettant l'insertion ou la suppression rapide des éléments soit au début soit à la fin de la séquence. [[https://en.cppreference.com/w/cpp/container/forward_list|forward_list]] une liste simplement chaînée. [[https://en.cppreference.com/w/cpp/container/forward_list|list]] une liste doublement chaînée. * Les séquences d'éléments ordonnés Dans ce cas, les éléments stockés dans la structure sont ordonnés. L'énumération des éléments dans ce cas retourne les éléments en débutant par le plus petit et allant jusqu'au plus grand. [[https://en.cppreference.com/w/cpp/container/set|set]] un ensemble d'éléments ordonnés. [[https://en.cppreference.com/w/cpp/container/map|map]] un dictionnaire dont les éléments sont référencés et ordonnées par rapport à une clé qui identifie chaque élément. Cette structure supporte plusieurs occurences d'un même élément. [[https://en.cppreference.com/w/cpp/container/multiset|multiset]] un ensemble d'éléments ordonnés. [[https://en.cppreference.com/w/cpp/container/multimap|multimap]] un dictionnaire dont les éléments sont référencés et ordonnées par rapport à une clé qui identifie chaque élément. Cette structure supporte plusieurs occurences d'un même élément. * Les séquences d'éléments non-ordonnés Dans ce cas, les éléments stockés dans la structure ne sont pas ordonnés. L'énumération des éléments dans ce cas retourne les éléments dans un ordre arbitraire dépendant de l'implantation. Les implantations standards utilisent des fonctions de hashages pour générer offrir un accès rapide aux données. [[https://en.cppreference.com/w/cpp/container/unordered_set|unordered_set]] un ensemble d'éléments ordonnés. [[https://en.cppreference.com/w/cpp/container/unordered_map|unordered_map]] un dictionnaire dont les éléments sont référencés et ordonnées par rapport à une clé qui identifie chaque élément. Cette structure supporte plusieurs occurences d'un même élément. [[https://en.cppreference.com/w/cpp/container/unordered_multiset|unordered_multiset]] un ensemble d'éléments ordonnés. [[https://en.cppreference.com/w/cpp/container/unordered_multimap|unordered_multimap]] un dictionnaire dont les éléments sont référencés et ordonnées par rapport à une clé qui identifie chaque élément. Cette structure supporte plusieurs occurences d'un même élément. * Les adaptateurs Un adaptateur fournit une surcouche qui ajouter à un containeur gérant des sequences d'éléments une interface pour utiliser cette structure comme une pile, une queue ou une queue avec priorité. [[https://en.cppreference.com/w/cpp/container/stack|stack]] offre une interface de type pile (structure LIFO). [[https://en.cppreference.com/w/cpp/container/queue|queue]] offre une interface de type queue (structure FIFO). [[https://en.cppreference.com/w/cpp/container/priority_queue|priority_queue]] offre une interface de type queue avec priorité.