Discussion :

[tnarol]

Salut,

J'ai une collection d'instances d'une classe produites "au fil de l'eau", au fur et à mesure de leur production je veux éliminer les doublons. Mon idée (peut-être pas la meilleure) est construire un "set" des instances (ou des pointeurs d'instance) qui s'occuperait tout seul d'assurer l'unicité.
Je voudrais savoir quels opérateurs il est nécessaire de définir sur la classe en question pour que ça marche.

Merci

[oodini]

Y'a un ensemble de règles à respecter. Je ne me souviens plus desquelles, si ce n'est que la classe doit être copiable sans que cela modifie la source (c'est pour cela qu'on ne peut utiliser d'auto_ptr).

Tu peux donc déjà travailler sur ce point avant que d'autres nous fassent part de leur savoir. :-)

[JolyLoic]

set est avant tout un conteneur trié. Il faut donc définir un moyen de comparer deux objets, et que cette comparaison ait un sens (des contraintes genre si a<b, alors b<a est faux...). Je n'ai hélas pas (encore) d'article de faq à pointer qui détaille ça.

[tnarol]

C'est vrai que dans mon cas le tri n'a pas vraiment de sens... Je suis preneur de toute solution plus efficace que de comparer une nouvelle instance à toutes celles qui l'ont précédé.

[oodini]

Je n'ai hélas pas (encore) d'article de faq à pointer qui détaille ça.

Si tu as à disposition ce livre, il fait une liste de tous les prérequis.
A reprendre dans la FAQ, éventuellement...

[oodini]

C'est vrai que dans mon cas le tri n'a pas vraiment de sens... Je suis preneur de toute solution plus efficace que de comparer une nouvelle instance à toutes celles qui l'ont précédé.

Regarde la FAQ sur la STL.
Tu constateras que les seules structures vérifiant l'unicité sont des structures ordonnées.

Ou alors, il faut piocher en dehors de la STL...

[Jean-Marc.Bourguet]

Il faut introduire un ordre, mais il peut etre arbitraire tant qu'il est coherent. Les conditions a respecter (outre qu'il ne faut pas modifier le resultat des comparaisons dans le temps)
* !Comp(a, a);
* Comp(a, b) && Comp(b,c) implique Comp(a, c)
* !Comp(a, b) && !Comp(b, a) && !Comp(a, c) && !Comp(c, a)
implique que !Comp(b, c) && !Comp(c, b)