Dictionnaire

Un dictionnaire est un conteneur autorisant un sous-ensemble des opérations définies pour un ensemble (voir section 28.1) :

• création d'un dictionnaire vide ;
• insertion d'un élément dans un dictionnaire ;
• suppression d'un élément dans un dictionnaire ;
• test d'appartenance d'un élément à un dictionnaire.

Un dictionnaire est donc un ensemble avec un jeu d'instructions restreint par rapport à un ensemble général. Malheureusement, le jeu d'opérations n'est pas assez simple pour permettre une implémentation plus efficace que celle d'un ensemble général.