Programmation Java/Collections
Principe
[modifier | modifier le wikicode]Les collections en Java sont des classes permettant de manipuler les structures de données usuelles : listes, piles, files (ou queues).
Une manière standard de représenter une structure de données en Java consiste à regrouper dans une interface l'ensemble des noms des opérations applicables sur celle-ci (ajout, suppression, effacement, etc.), c'est-à-dire l'ensemble des opérations mentionnées dans le type de données abstrait implémenté par cette structure (sa spécification, indépendamment du choix d'implémentation).
Cette interface sera implémentée par chaque classe représentant cette sorte de structure : par exemple, l'interface List
regroupe un ensemble de noms de méthodes génériques permettant la manipulation de listes, et est implémentée à la fois par les classes concrètes ArrayList
(implémentation des listes par tableaux extensibles) et LinkedList
(implémentation des listes par chaînage).
Les interfaces et classes citées dans les exemples ci-dessous sont livrées dans le SDK standard.
Elles se trouvent dans le package java.util
.
Utilisation
[modifier | modifier le wikicode]List<String> ma_liste = new LinkedList<String>();
Dans cet exemple, List définit l'interface des listes, c'est-à-dire les opérations ou méthodes applicables aux listes. Une liste est une collection d'éléments ordonnés, éventuellement répétés. Dans l'exemple ci-dessus, on a choisi d'utiliser l'implémentation par une liste chaînée (classe LinkedList) où chaque élément de la liste pointe l'élément suivant.
Le <String>
entre chevrons représente le type générique des éléments de la liste.
Listes (List)
[modifier | modifier le wikicode]Cette interface est implémentée par un certain nombre de collections, et garantit que ces classes implémenteront l'ensemble des méthodes. Elle dérive de l'interface Collection
. Les éléments sont indexés (i.e. numérotés de la même façon qu'un tableau est indicé).
Méthodes sur les listes
[modifier | modifier le wikicode]Type | Méthode[1] | Rôle |
---|---|---|
boolean |
add(int index, Object o) |
Ajouter un objet à l'index indiqué. |
boolean |
addAll(int index, Collection c) |
Ajouter tous les objets d'une autre collection à l'index indiqué. |
Object |
get(int index) |
Retourner l'objet à l'index indiqué. |
int |
indexOf(Object o) |
Retourner le premier index de l'objet indiqué. |
int |
lastIndexOf(Object o) |
Retourner le dernier index de l'objet indiqué. |
Object |
remove(int index) |
Supprimer l'objet à l'index indiqué. |
Object |
set(int index, Object o) |
Remplacer l'objet à l'index indiqué. L'objet précédent est retourné. |
int |
size() |
Retourner le nombre d'éléments de la liste. |
List |
subList(int fromIndex,int toIndex) |
Retourner une sous-liste de celle-ci. |
Les différentes implémentations
[modifier | modifier le wikicode]On peut utiliser des tableaux redimensionnables (ArrayList) ou des listes chaînées (LinkedList)
Listes chaînées (LinkedList
)
[modifier | modifier le wikicode]Cette classe implémente l'interface List
en chaînant les éléments (liste doublement chaînée).
Les méthodes ajoutées sont :
void addFirst(Object o)
- Ajoute un élément en début de liste.
void addLast(Object o)
- Ajoute un élément en fin de liste.
Object getFirst()
- Retourne l'élément en début de liste.
Object getLast()
- Retourne l'élément en fin de liste.
Object removeFirst()
- Supprime et retourne l'élément en début de liste.
Object removeLast()
- Supprime et retourne l'élément en fin de liste.
Tableau redimensionnable (ArrayList
)
[modifier | modifier le wikicode]Cette classe est un tableau dont la taille croît lorsque des éléments sont ajoutés.
Tableau redimensionnable (Vector
)
[modifier | modifier le wikicode]Cette classe est un tableau dont la taille croît lorsque des éléments sont ajoutés.
Cette classe implémente les méthodes de l'interface List
et les suivantes :
int indexOf(Object o,int index)
- Retourne l'index de l'objet indiqué, en partant de l'index indiqué.
int lastIndexOf(Object o,int index)
- Retourne l'index de l'objet indiqué, en partant de l'index indiqué et en allant vers le début (index 0).
void setSize(int newSize)
- Tronquer/Agrandir le vecteur à la taille indiquée.
Cette classe a été créée avant la classe ArrayList
. Elle est synchronisée : durant l'appel à une méthode de cette classe par un thread, un autre thread ne peut modifier le tableau.
Files (Queue)
[modifier | modifier le wikicode]Files avec priorités (PriorityQueue)
[modifier | modifier le wikicode]Pour utiliser une file avec priorités, les éléments doivent être des instances d'une classe qui implémente l'interface Comparator. Il faudra écrire la méthode int compare(Object, Object) qui compare les deux instances et renvoie un entier.
Si vous ne voulez, ou ne pouvez pas, modifier la classe qui décrit les éléments, vous pouvez créer, dans la classe où vous utilisez votre file avec priorité, une classe interne qui hérite de la classe des éléments et implémente l'interface Comparator. Exemple, si vous voulez créer une file avec priorité de Bidules :
import mon_package.Bidule;
public class MaClasseQuiUtiliseUneFileDeBidules
{
/**
* Classe permettant de créer une file avec priorité de Bidules
*
*/
public class ComparableBidule implements Comparator<Bidule>
{
public int compare(Bidule b1, Bidule b2)
{
// On retourne le signe de la soustraction abstraite b1 - b2
// Si b1 < b2 (ou b1 à classer avant b2) ---> retourner -1
// Si b1 == b2 (ou b1 équivaut à b2) ---> retourner 0
// Si b1 > b2 (ou b1 à classer après b2) ---> retourner +1
...
}
}
public void une_methode()
{
PriorityQueue<ComparableBidule> f = new LinkedList<ComparableBidule>();
Bidule b = new Bidule();
f.add(b)
}
}
Piles (Stack
)
[modifier | modifier le wikicode]Une pile contient une liste d'objets. Il est possible d'ajouter un objet au sommet de la pile (empiler, ou push en anglais), et de retirer l'objet situé au sommet de la pile (dépiler, ou pop en anglais).
Exemple: En partant d'une pile vide, on effectue les opérations suivantes :
État de la pile Opération (vide) empiler A A empiler B A B empiler C A B C dépiler -> C A B dépiler -> B A empiler D A D
La classe Stack
est une implémentation de pile qui dérive de la classe Vector
et ajoute les méthodes suivantes pour gérer les objets comme une pile :
boolean empty()
- Retourne vrai si la pile est vide.
Object peek()
- Retourne l'objet au sommet de la pile sans l'enlever.
Object pop()
- Retourne l'objet au sommet de la pile et l'enlève.
Object push(Object o)
- Ajoute l'objet au sommet de la pile.
int search(Object o)
- Retourne l'index de l'objet depuis le sommet de la pile (1 = sommet de la pile, -1 = non trouvé).
Ensembles (Set)
[modifier | modifier le wikicode]Conformément à l'idée mathématique, les ensembles représentent plusieurs éléments non triés, sans répétitions. Les ajouts d'éléments déjà présents sont donc ignorés. Un élément est déjà présent si un test equals
sur un des éléments de l'ensemble renvoie vrai.
Cette interface est implémentée par un certain nombre de collections, et garantit que ces classes implémenteront l'ensemble des méthodes. Elle dérive de l'interface Collection
, sans ajouter de nouvelles méthodes. Elle sert seulement à indiquer informellement que la collection implémentant cette interface ne contient aucun doublon d'objet (objets comparés par la méthode equals
). Cette interface correspond donc aux ensembles mathématiques.
Les différentes implémentations
[modifier | modifier le wikicode]- La classe
HashSet
implémente l'interfaceSet
en utilisant une table de hachage. TreeSet
utilise un arbre de recherche. Pour pouvoir utiliser unTreeSet
, il faut que les éléments soit comparables. Cette fonction est plus lente queHashSet
[2].LinkedHashSet
diffère deHashSet
car il maintient une liste doublement liée à travers toutes ses entrées, permettant de retrouver l'ordre d'insertion (mais pas pour les réinsertions).
Ensembles triés (SortedSet)
[modifier | modifier le wikicode]Les ensembles triés sont identiques aux ensembles simples excepté qu'ils peuvent être triés par défaut à leur création selon un tri dit naturel ou selon un motif de tri. La méthode comparator() de cette interface permet de retourner le motif de tri utilisé ou retourne null si le tri est effectué de façon naturelle en fonction du type des données.
Range view
- Permet des opérations sur les plages d'ensembles triés.
Endpoints
- Renvoie le premier ou dernier élément d'un ensemble trié.
Comparator access
- Renvoie le comparateur utilisé pour classer l'ensemble.
Tableaux associatifs (Map)
[modifier | modifier le wikicode]Cette interface est implémentée par les collections qui associent une clé à un objet. L'accès aux objets est donc effectué par une clé unique.
Il est possible d'utiliser n'importe quelle instance de classe comme clé. Cependant si cette classe ne possède pas les propriétés nécessaires, il faut utiliser exactement la même instance pour accéder à une valeur (voir Objets comparables et clés).
Les principales méthodes de cette interface sont :
void clear()
- Vider la collection.
boolean containsKey(Object key)
- Teste si la clé existe, c'est à dire associée à une valeur.
boolean containsValue(Object value)
- Teste si la valeur existe.
Set entrySet()
- Retourne l'ensemble des associations clés-valeurs.
Set keySet()
- Retourne l'ensemble des clés.
Collection values()
- Retourne la collection de valeurs.
Object put(Object key, Object value)
- Associe la clé à la valeur spécifiée, et retourne la valeur précédemment associée.
boolean putAll(Map m)
- Ajouter tous les objets d'une autre collection à celle-ci.
Object get(Object key)
- Retourne la valeur associée à la clé spécifiée, ou
null
si non trouvé. Object remove(Object key)
- Supprime l'objet associé à la clé, et retourne cet objet.
boolean isEmpty()
- Tester si la collection est vide.
int size()
- Retourne le nombre de clés.
Les implémentations
[modifier | modifier le wikicode]La classe Hashtable
implémente l'interface Map
de manière synchronisée.
La classe HashMap
implémente l'interface Map
, et permet d'utiliser la clé null
.
Les tableaux triés (SortedMap)
[modifier | modifier le wikicode]Exactement comme SortedSet :
Range view
- Permet des opérations sur les plages de tableaux triés.
Endpoints
- Renvoie le premier ou dernier élément d'un tableau trié.
Comparator access
- Renvoie le comparateur utilisé pour classer le tableau.
Parcourir une collection
[modifier | modifier le wikicode]Les itérateurs
[modifier | modifier le wikicode]Les itérateurs sont des outils puissants pour parcourir le contenu d'une collection.
List<String> ma_liste = new LinkedList<String>();
ma_liste.add("Bonjour");
ma_liste.add(" le ");
ma_liste.add("monde");
Iterator<String> it = ma_liste.iterator(); // On paramètre Iterator par le type des éléments de la collection qui sera parcourue
while (it.hasNext())
{
System.out.println(it.next()); // Affiche "Bonjour le monde"
}
Attention, l'appel de next() renvoie l'élément courant dans le parcours et passe l'itérateur à l'élément suivant.
Pour pouvoir itérer sur une collection, il faut qu'elle soit itérable, c'est à dire qu'elle hérite de Iterable. C'est le cas la plupart du temps mais il y a des exceptions (HashMap).
L'utilisation des itérateurs requiert la classe Iterator définie dans le package java.util.
Boucles « for each »
[modifier | modifier le wikicode]// Parcours d'une collection
Collection<ObjetX> collection = ......;
for(ObjetX objetX : collection)
{
objetX.methodeY(p1,p2);
}
Attention aux parcours des Map
[modifier | modifier le wikicode]Le code suivant convient tout a fait si vous avez besoin de parcourir les clés de la Map sans vous préoccuper des valeurs
Map<Key, Value> map;
for (Key key : map.keySet())
{
// ...
}
Le code suivant est à proscrire si vous parcourrez l'ensemble des clés et des valeurs qui leurs sont associées
for (Key key : map.keySet())
{
// l'appel de get engendre un temps coûteux en accès à chaque itération
Value value = map.get(key);
}
Dans le cas précédent, préférez le code suivant
for (Map.Entry<Key, Value> entry : map.entrySet())
{
Key key = entry.getKey();
Value value = entry.getValue();
// ...
}
Modification durant l'itération
[modifier | modifier le wikicode]Si la collection est modifiée au cours d'une itération, l'itérateur se retrouve dans un état perturbé et lance une exception de classe java.util.ConcurrentModificationException
lors de l'itération suivante.
Exemple :
for(Element elem : elements_by_id.values())
{
if (elem.usecount==0)
{
// Retirer un élément inutilisé
elements_by_id.remove(elem.id);
// --> ConcurrentModificationException à l'itération suivante !
}
}
Le cas de la suppression au cours d'une itération (comme l'exemple précédent) peut être géré par l'itérateur en appelent la méthode remove()
.
Cela suppose donc d'utiliser explicitement l'itérateur et de changer le type de boucle :
Iterator<Element> it_elements = elements_by_id.values().iterator();
while (it_elements.hasNext())
{
Element elem = it_elements.next();
if (elem.usecount==0)
{
// Retirer un élément inutilisé
it_elements.remove(); // OK car géré par l'itérateur
}
}
Interface commune
[modifier | modifier le wikicode]La plupart des structures évoquées ci-dessus implémentent l'interface Collection et possèdent donc un ensemble de méthodes communes. Les principales méthodes sont :
boolean add(Object o)
- Ajouter un objet à la collection.
boolean remove(Object o)
- Retirer un objet de la collection.
boolean contains(Object o)
- Tester si la collection contient l'objet indiqué.
boolean addAll(Collection c)
- Ajouter tous les objets d'une autre collection à celle-ci.
boolean removeAll(Collection c)
- Retirer tous les objets d'une autre collection de celle-ci.
boolean retainAll(Collection c)
- Retirer tous les objets qui ne sont pas dans la collection spécifiée de celle-ci. À la fin les deux collections contiennent les mêmes objets.
boolean containsAll(Collection c)
- Tester si la collection contient tous les objets de la collection indiquée.
void clear()
- Vider la collection.
boolean isEmpty()
- Tester si la collection est vide.
Iterator iterator()
- Retourne un itérateur permettant de faire une boucle sur tous les objets contenus dans la collection.
int size()
- Retourne le nombre d'objets de la collection.
Object[] toArray()
- Convertit la collection en tableau d'objets.
Object[] toArray(Object[] a)
- Convertit la collection en tableau d'objets de classe spécifiée. Si le tableau fourni n'est pas assez grand, un nouveau tableau est alloué en utilisant la même classe d'élément.
Tableau récapitulatif
[modifier | modifier le wikicode]Interface | Implémentations | |||
Tableau dynamique | Chaînage | Arborescence[3] | Table de hachage | |
Liste (List) | ArrayList, Vector | LinkedList | ||
Ensemble (Set) | TreeSet | HashSet | ||
File (Queue) | ||||
Tableau associatif (Map) | TreeMap | HashMap |
Synchronisation
[modifier | modifier le wikicode]Si une collection est accédée par plusieurs threads, il faut utiliser la synchronisation afin que les modifications soient cohérentes, c'est à dire exécutées sans être interrompues par une modification effectuée par un autre thread.
Une collection synchronisée garantit que l'appel d'une méthode de la collection sera effectuée sans qu'aucun autre thread ne modifie cette collection entre-temps.
Pour obtenir une collection synchronisée, vous devez appeler une méthode de la classe Collections
, dont le nom dépend du type de collection :
type variable = Collections.synchronizedtype( new type(...) );
Exemple :
Set myset = Collections.synchronizedSet( new HashSet() );
Cependant, le thread peut être interrompu entre deux appels de méthode.
Dans ce cas, vous devez synchroniser l'ensemble des instructions appelant les méthodes de la collection (mot-clé synchronized
). Voir le chapitre "Threads et synchronisation".
Les collections ne sont pas thread-safe, aucune méthode n'est atomique, sauf pour les collections synchronisées. Mais seulement durant l'appel à une méthode. Les sources de ces classes sont d'ailleurs consultables si vous avez accès au JDK.
La solution précédente peut résoudre certains problèmes de synchronisation, par exemple celui ci :
Map<String,String> map=new HashMap<String,String>();
map.put("toto", "valeur exemple 1");
map.put("titi", "valeur exemple 1");
Cependant dans le code ci-dessous, une modification peut avoir lieu, par un autre thread, entre l'appel à containsKey et celui à put.
if (!map.containsKey("titi"))
map.put("titi", "valeur exemple 3");
Il faut donc englober les deux appels dans un même bloc synchronized :
synchronized(map)
{
if (!map.containsKey("titi"))
map.put("titi", "valeur exemple 3");
}
La solution la plus efficace est d'utiliser les listes de la bibliothèque java.util.concurrent qui possède un putIfAbsent. En outre, les méthodes de cette bibliothèque peuvent être considérées comme toujours plus rapides en mode multi-thread que celle d'une liste synchronisée,
Tableaux génériques
[modifier | modifier le wikicode]Il n'est pas possible d'instancier des tableaux d'un type générique, notamment à cause du mécanisme d'effacement.
Chapitre<String> [] livre = new Chapitre<String> [12]; // Erreur
Il existe cependant une astuce peu connu basé sur l'utilisation d'expression lambda pour palier à cette contrainte.
IntFunction <int[]> factoryTab = int[]::new ;
int[] tableau = factoryTab.apply(5) ;
Classes squelettes
[modifier | modifier le wikicode]Une interface possède souvent une longue série de méthodes à implémenter. Certaines sont implémentées généralement de la même manière par beaucoup de classes.
Plutôt que de répéter le code de ces méthodes dans les différentes implémentations, il est préférable de rassembler leur code dans une classe abstraite (car toutes les méthodes de l'interface ne sont pas implémentées).
Les classes de l'API Java utilisent de telles classes dont dérivent les différentes implémentations.
Ces classes sont :
AbstractCollection
pour l'interfaceCollection
,AbstractList
pour l'interfaceList
,AbstractSequentialList
pour l'interfaceList
,AbstractSet
pour l'interfaceSet
,AbstractMap
pour l'interfaceMap
.
Elles ne sont pas instanciables directement car abstraites, mais servent de classes de base. Il est utile de connaître ces classes pour rechercher dans la documentation, ou réaliser une implémentation alternative à celle proposée par l'API.
Notes
[modifier | modifier le wikicode]- ↑ http://docs.oracle.com/javase/7/docs/api/java/util/List.html
- ↑ http://docs.oracle.com/javase/7/docs/api/java/util/LinkedHashSet.html
- ↑ L'utilisation des arbres de recherche requiert que les éléments soient triables (sortable)