Discussion :

[Hyssgrif]

Bonjour,

j'essaie de créer un template avec un std::map qui ressemblerait à ceci:

Code :

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

1
2
3
4
5
6
7
 
template<typename Type1, typename Type2> void FonctionAutoTest(std::map<std::string, Type1> &Mymap, Type2 valuetest)
{
	Data* D_Ptr = new Data();
	std::map<std::string, Type1>::iterator it = Mymap.begin();
	Type2 tempvalue;
}

Comment puis-je faire ceci?

[Bousk]

Quelle est la question ?
Le code n'a, à priori, rien de faux. L'as-tu au moins essayé ?

[Hyssgrif]

Oui sans succès, le compilateur m'insulte

error: need 'typename' before 'std::map<std::basic_string<char>, Type1>::iterator' because 'std::map<std::basic_string<char>, Type1>' is a dependent scope
error: expected ';' before 'it'
error: 'it' was not declared in this scope

[ternel]

"dependant name" signifie en général "tu as oublié un typename"
essaye typename std::map<std::string, Type1>::iteratorPar ailleurs
il faut que Data soit défini, et Type2 doit être "default constructible", c'est à dire disposer d'un constructeur (explicite ou non) pouvant être appelé avec aucun argument.
Ce programme possède tout de même deux défauts:
la map n'étant pas un type complètement template, tu ne peux utiliser la fonction avec une map ayant un autre allocateur ou un autre comparateur.

Pour résoudre ce problème précis, j'ai écris l'autre jour une fonction operator/ qui permet d'accéder à un élément d'une map.

Code :

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

1
2
3
4
5
6
7
8
9
10
template <typename M> 
typename M::mapped_type const* operator/(M const& map, typename M::key_type const& key) {
   typename M::const_iterator it = map.find(key);
   return (it != map.end()) ? &it->second : NULL;
}
 
template <typename M> 
typename M::mapped_type const* operator/(M const* map, typename M::key_type const& key) {
   return (map!=NULL) ? (*map)/key : NULL;
}

Voici un exemple d'utilisation:

Code :

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

1
2
3
4
5
6
7
8
typedef std::map<int, int> resultats_type;
typedef std::map<std::string, resultats_type> bidules_type;
bidules_type bidules = {
{ "carres", {{1, 1},  {2, 4},  {3, 9}} }
{ "cubes", {{1, 1},  {2, 8},  {3, 27}} }
};
int const * that = bidules/"cubes"/3;
if(that) std::cout << le cube de 3 est <<*that << std::endl;

[prgasp77]

Le compilateur ne t'insulte pas. Le compilateur n'est pas ton ennemi. Le compilateur t'explique. Le compilateur est ton ami, ton collègue. Tu lui dois respect et sympathie. Maintenant si tu voulais bien nous donner l'erreur qu'il soulève ainsi que la ligne à laquelle celle-ci intervient, peut-être pourrions nous te venir en aide. Peut-être. Dans le cas contraire, il nous faudra un exemple minimal complet reproduisant l'erreur.

[Hyssgrif]

C'est bon ça compile.
Par contre, je ne comprends pas pourquoi il faut rajouté typename devant "std::map<std::string, Type1>::iterator it = Mymap.begin();"

Code :

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

1
2
3
4
5
6
7
 
template<typename Type1, typename Type2> void FonctionAutoTest(std::map<std::string, Type1> &Mymap, Type2 valuetest)
{
	Data* UD_Ptr = new Data();
	typename std::map<std::string, Type1>::iterator it = Mymap.begin();
	Type2 tempvalue;
}

[Hyssgrif]

Merci à vous

[ternel]

parce que comme une template peut être spécialisée, rien ne dit au compilateur que iterator est bien un nom de type dans une map<..., Type1>, vu que Type1 est un parametre template de l'expression qu'il compile

[Hyssgrif]

Le compilateur ne t'insulte pas. Le compilateur n'est pas ton ennemi.

Oui tu as raison, je vais offrir une offrande ce soir au saint des saints compilo et sacrifié trois moutons.

[dragonjoker59]

Le compilateur ne t'insulte pas. Le compilateur n'est pas ton ennemi. Le compilateur t'explique. Le compilateur est ton ami, ton collègue. Tu lui doit respect et sympathie. Maintenant si tu voulais bien nous donner l'erreur qu'il soulève ainsi que la ligne à laquelle celle-ci intervient, peut-être pourrions nous te venir en aide. Peut-être. Dans le cas contraire, il nous faudra un exemple minimal complet reproduisant l'erreur.

Mais si des fois, il pouvait arrêter de me vomir dessus, ce serait vraiment un super pote!

EDIT:

Par rapport à la question, c'est typiquement le genre de cas où auto est utile.
Ca te cache la super déclaration typename std::map< truct, bidule >::iterator it = map.begin();, auto it = map.begin() est suffisamment explicite, je trouve.

[ternel]

Et tu gagne en souplesse, auto pouvant aussi être déduit en ...::const_iterator.