Discussion :

[m4urice]

Bonjour,

J'ai récemment écrit la fonction suivante :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
template <typename T>
bool isStringInMapKeys( std::string const &s, std::map<std::string,T> const &m ) {
  /*
  Cette fonction renvoie true si s est l'une des clés de m. Sinon, elle renvoie false.
  */
 
  for ( typename std::map<std::string,T>::const_iterator it = m.begin() ; it != m.end() ; ++it ) {
    if ( it->first == s ) return true;
  }
 
  return false;
}

J'aimerais aussi pouvoir l'utiliser avec des boost::bimap<string, T>. J'ai lu dans la documentation de bimap :

bm.left is signature-compatible with std::map<A,B>

Pourtant, lorsque je crée un objet boost::bimap<string,int> myBimap (par exemple) et que j'essaye d'appeler la fonction :

Code :

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

isStringInMapKeys("test",myBimap.left);

la compilation échoue en renvoyant le message suivant :

error: no matching function for call to ‘isStringInMapKeys(const char [5], boost::bimaps::views::map_view<boost::bimaps::relation::member_at::right, boost::bimaps::detail::bimap_core<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, int, mpl_::na, mpl_::na, mpl_::na> >&)’

Aurais-je mal compris ce qu'implique l'identité des signatures de bimap.left et de map ?

Merci d'avance pour vos réponses !

[poukill]

Les Signatures sont compatibles mais non identiques. Typiquement, tu veux faire ça plutôt:

Code :

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

1
2
3
 
template <typename T>
bool isStringInMapKeys( std::string const &s, T const &m )

[Grulim]

Ta fonction isStringInMapKeys() attend une map et non une bimap (quelles soient "compatibles" ne change rien).

Grillé par poukill

[m4urice]

En effet, c'est logique. J'avais limité le type du deuxième argument à map pour ne pas rendre la fonction "trop permissive" et signifier clairement que seuls les objets map et les instances de classes en dérivant pouvaient convenir.

Comme une classe mère et ses filles sont équivalentes quand on les passe en argument dans une fonction réclamant une instance de la classe mère, je me disais que ça marcherait peut-être. Mais ça ne fonctionne pas sans doute parce que bimap.left n'hérite pas de map. C'est ça ?

[Grulim]

Mais ça ne fonctionne pas sans doute parce que bimap.left n'hérite pas de map. C'est ça ?

oui.

[m4urice]

Merci pour ces explications. Je marque le sujet comme résolu.