Discussion :

[BaygonV]

Bonjour à tous.
Je poste ce fil car je m'intéresse en ce moment au conteneur std::set.

Tout d'abord, si j'ai bien compris, ce conteneur est censé contenir des instances constantes, uniques et ordonnées du type paramètre.

Et donc si j'ai bien compris (voir ligne du dessus) et bien je ne comprends pas pourquoi ce conteneur propose (par exemple) :

1. Un type iterator et un type const_iterator...
   pourquoi pas seulement le const_iterator ?
2. Une méthode insert qui retourne un iterator et que cette méthode insert puisse prendre en paramètre un const_iterator pour lui indiquer où insérer un élement donné vu que std::set est censé conserver l'ordre...

[ternel]

l'ordre est définit par le Compare donné en argument au constructeur
Il est exigé que les valeurs ne changent pas vis-à-vis de cet ordre, mais rien n'empeche de changer le reste.

En gros, pour un set<int>, ce serait une erreur de modifier une valeur.
Mais si tu as des classes possédant un identifiant, un que tu définis une fonction de tri sur cet identifiant (uniquement), tu peux très bien modifier le reste.

[BaygonV]

Bon bon...
du coup je ne comprends pas ce que dit cette page ?
Je cite les extraits qui me turlupinent (onglet C++11) :

Member type	Definition	Notes
key_type	The first template parameter (T)
value_type	The first template parameter (T)
iterator	a bidirectional iterator to const value_type	* convertible to const_iterator
const_iterator	a bidirectional iterator to const value_type	*

*Note: All iterators in a set point to const elements.

S'agit il d'une erreur de leur part du coup ?

Et...
Ma question est due au fait que je comptais me servir de ce conteneur pour une table de symboles rudimentaire.
En faisant quelque chose du genre :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
 
using SymbolsTable = std::set<std::string> ; 
using SymbolId = std::set<std::string>::const_iterator;
 
class Identifier
{
SymbolId id;
public :
Identifier(std::string&& s, SymbolsTable& stab) : id(stab.emplace(std::move(s)).first) {}
};

Est-ce une mauvaise idée ?

[stendhal666]

Pour la présence d'un couple iterator/const_iterator qui renvoie au même type d'iterator const, c'est à mon avis une question d'harmonisation des interfaces des conteneurs, ça augmente leur généralité.

Pour le reste il me semble que tu te compliques un peu la vie mais je ne vois pas les tenants et aboutissants de ton idée.

[ternel]

cppreference.com dit une chose intéressante:

iterator
BidirectionalIterator (until C++11)
Constant bidirectional iterator (since C++11)

Il semble donc que iterator n'a pas toujours été constant.

[JolyLoic]

Oui, de mémoire, la constance des données a été modifiée au cours du temps, car il y avait trop de soucis avec la version trop permissive.
Pour le fait que insert retourne un iterator, comme tu la vois dans ton code, ça peut servir.
Pour le fait qu'il en prenne un en paramètre, c'est pour une histoire d'optimisation : Si tu sais déjà à quel endroit l'objet doit être inséré (par exemple parce que tu as fait une recherche infructueuse de cet objet juste avant), et bien autant lui donner un indice pour qu'il trouve cet endroit plus vite, mais de toute manière, il l'insèrera de manière ordonnée.