Constness et std::set::find

Bonsoir,

Petite question, pourquoi est-il impossible de faire :

Code:

---

1 2 3 4 5 6 7 8

bool Account::isOpen(const Account *account) { if(s_opened.find(account) != s_opened.end()) return true; else return false; }

---

avec s_opened de type std::set<Account*> ?

iterator find ( const key_type& x ) const; est la signature de set:find() donc normalement il n'y a pas de conversion de const Account* vers Account* puisque find() prend en paramètre un const...

Quelqu'un pour m'éclairer ? merci.

Les signautres de find sont :

Code:

---

1 2 3

iterator find(const key_type&); const_iterator find(const key_type&);

---

Dans ton cas key_type est Account*, et tu lui donne un const Account* &, ces deux types sont-ils identiques ? Testons :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16

struct A {};   template<class,class> struct same { static const bool result = false; };   template<class T> struct same<T,T> { static const bool result = true; };   int main() { typedef A* key_type; std::cout << same<const key_type&, const A* &>::result << same<const key_type&, A* const &>::result; return 0; }

---

La réponse est donc non.

Find attend un référence constante sur un pointeur sur Account, et tu lui donne une référence sur un pointeur sur un Account constant. Et on ne peut pas convertir implicitement le second vers le premier.

Dans ce genre de code je posserais dans la définition de ma classe un typedef sur le type des clés :

Code:

---

1 2	typedef typename std::set<Account*>::key_type key_type;

---

Et j'utiliserais ce typedef à chaque fois que ce que je veus comme paramètre est une clé. AMA, ca simplifie grandement les choses.

Merci, je pense avoir compris le problème mais j'ai un peu du mal avec la solution... Puis-je avoir un peu plus de détails ?

Encore merci

EDIT : Je peux utiliser un const cast dans ce cas là ?

Pas besoin de const_cast :

Code:

---

1 2 3 4 5 6

struct Account { typedef typename std::set<Account*>::key_type key_type; bool Account::isOpen(const key_type&); };

---

Après on pourrait se poser la question de la pertinance de passer une référence constante à la place d'une copie (puisqu'ici la taille de ce qui est passé est probablement la même). On pourrait donc aussi faire :

Code:

---

1 2	bool Account::isOpen(key_type);

---

Wicked !
Merci, je vais tenter ça demain parce que le problème est récurrent et j'ai un peu le cerveau en mélasse là :)

Je viens de tester la solution mais je me rend compte que je ne conserve pas le caractère const de l'objet pointé avec cette solution.
Seul le pointeur reste constant...

Je voudrais garantir à l'utilisateur (parce que c'est le cas) que le caractère const de l'objet Account existe lors de l'utilisation de la méthode isOpen()...
Le caractère ouvert d'un compte se traduit par l'existance d'un pointeur vers ce compte dans un std::set de type <Account*>.

Donc voilà le problème, je ne souhaite pas utiliser de std::set<const Account*> puisque d'autres méthodes de set doivent renvoyer des Account* mais je veux garantir la constness de l'Account pointé passé en paramètre....

Une solution alternative ?

J'utilise finalement un const_cast, c'est surtout la seule façon de conserver la signature const Account* et donc de maintenir une certaine logique.