Plusieurs parametres template

Bonjour

Je souhaite reproduire (en gros) le fonctionnement de python join, c'est a dire de joindre par un separateur les éléments d'un conteneur.

ex :

Code:

---

1 2 3 4 5 6

std::vector<int> vec; vec.push_back(1); vec.push_back(2); vec.push_back(3); join(std::cout, vec.begin(), vec.end(), " - "); // Affiche : 1 - 2 - 3

---

Pour faire quelquechose de générique, j'ai donc fait :

Code:

---

1 2 3 4 5 6 7 8 9

template <class Stream, class Iterator, class Sep> Stream& join(Stream& s, Iterator it, Iterator last, const Sep& sep) { for (--last; it != last; ++it) { s << *it << sep; } s << *it; return s; }

---

Un fois cela fait, je me suis dit qu'il serai intéressant de surcharger cette fonction de plusieurs manieres :

Code:

---

1 2 3 4 5 6

// Pour un conteneur complet plutot qu'un range d'iterator template <class Stream, class Container, class Sep> Stream& join(Stream& s, const Container& c, const Sep& sep) { return join(s, c.begin(), c.end(), sep); }

---

Jusque là, tout va bien. Mais je souhaitais aller un peu plus loin, surtout dû au fait que j'utilise wxWidgets, et que la classe wxString accepte les operateurs de flux. J'aurais donc bien voulu faire un truc du genre :

Code:

---

1 2	wxString s; s << "coucou " << join(vec.begin(), vec.end(), " - ") << " hop";

---

Je ne souhaite plus fournir le flux à la méthode. Ca n'est pas dérangeant en soit, mais le problème vient plutôt de la déclaration et de l'instanciation :

Code:

---

1 2 3 4 5 6 7 8 9

template<class Stream, class Iterator, class Sep> Stream join(Iterator it, Iterator last, const Sep& sep) { Stream s; return join(s, it, last, sep); }   // Comment l'appeller ? join<wxString>(vec.begin(), vec.end(), " - ");

---

Le compilateur est évidement un peu perdu : j'ai 2 fonctions join prenant 3 paramètres. On aurai pu penser que le fait que les 2 premiers arguments nécessitant d'être identique aurai permis au compilateur de prendre la bonne fonction, mais cela n'a pas l'air d'être le cas.
Me méprends-je ?
Y a t il un solution ?
--
Jérémie

En ce qui concerne l'insertion d'un séparateur, il y a une autre solution :

Code:

---

std::copy(vect.begin(), vect.end(), std::ostream_iterator<int>(std::cout, " - ") );

---

Après, pourquoi mettre un stream en template plutôt qu'utiliser un std::ostream ou un std::istream ?

Bonjour

Citation:

---

Envoyé par poukill

En ce qui concerne l'insertion d'un séparateur, il y a une autre solution :

Code:

---

std::copy(vect.begin(), vect.end(), std::ostream_iterator<int>(std::cout, " - ") );

---

---

Heuu, ouiménon. Cela ne fait pas ce que je veux :
Je veux "1 - 2 - 3", et non pas "1 - 2 - 3 - " (remarque le dernier -).

Citation:

---

Envoyé par poukill

Après, pourquoi mettre un stream en template plutôt qu'utiliser un std::ostream ou un std::istream ?

---

Ca, c'est a cause de wxWidgets, où wxString n'hérite pas de stream...
--
Jérémie

Salut,

Il n'y a aucune bibliothèque C++ "normalement constituée" qui oserait faire hériter ses chaines de caractères de sa classe de flux...

Une chaine de caractères permet de représenter une information particulière, dans un format "humainement lisible", alors que les flux ont pour but de... permettre la transmission ou la conversion de l'information... et pas seulement de chaines de caractères ;)

Il n'y a donc strictement aucune raison pour que la chaine de caractères ne dérive du flux ;)

Je suis tout à fait d'accord avec votre point de vue. Mais que dois je comprendre de la réponse :
- Il ne faut pas faire ce que j'ai prévu (cémal) ?
- Je peux poursuivre dans cette direction ?

Ca m'embête de passer par un ostringstream, puis par le convertir en wxString. Ceci implique moultes conversions de chaine de caractère (avec les charset qui vont bien).
--
Jérémie

Je crois que lorqu'on "build" WxWidget, il y a une option dans le config.h pour que WxWidget utilise les flux de la STL.

Code:

---

#define USE_STL 1

---

Citation:

---

Envoyé par poukill

Je crois que lorqu'on "build" WxWidget, il y a une option dans le config.h pour que WxWidget utilise les flux de la STL.

Code:

---

#define USE_STL 1

---

---

Tout a fait, mais cela ne fait pas que wxString soit un stream.
On dérive... ;)

Pour revenir à la question initiale, le compilateur peut il faire la différence entre

Code:

---

1 2 3 4 5

template <class Stream, class Container, class Sep> Stream& join(Stream& s, const Container& c, const Sep& sep) { return join(s, c.begin(), c.end(), sep); }

---

et

Code:

---

1 2 3 4 5 6

template<class Stream, class Iterator, class Sep> Stream join(Iterator it, Iterator last, const Sep& sep) { Stream s; return join(s, it, last, sep); }

---

Et comment appeler la dernière fonction (car le template Stream n'est qu'un type de retour, que le compilateur ne peut deviner).
Merci
--
Jérémie

Citation:

---

Envoyé par jfouche

Tout a fait, mais cela ne fait pas que wxString soit un stream.
On dérive... ;)

---

Comme disait Koala, j'espère bien !! ;)
Ce serait une grave erreur de conception de faire ainsi.

Pour la question initiale, il me semble que le compilo devrait s'en sortir non ? Dans un cas, il y a deux itérateurs à fournir du même type template. Le compilo ne peut pas se tromper.

Citation:

---

Envoyé par jfouche

Bonjour

Je souhaite reproduire (en gros) le fonctionnement de python join, c'est a dire de joindre par un separateur les éléments d'un conteneur.

ex :

Code:

---

1 2 3 4 5 6

std::vector<int> vec; vec.push_back(1); vec.push_back(2); vec.push_back(3); join(std::cout, vec.begin(), vec.end(), " - "); // Affiche : 1 - 2 - 3

---

Pour faire quelquechose de générique, j'ai donc fait :

Code:

---

1 2 3 4 5 6 7 8 9

template <class Stream, class Iterator, class Sep> Stream& join(Stream& s, Iterator it, Iterator last, const Sep& sep) { for (--last; it != last; ++it) { s << *it << sep; } s << *it; return s; }

---

---

Quelques remarques : cette méthode plante si la liste est vide ?

Citation:

---

Envoyé par jfouche

Un fois cela fait, je me suis dit qu'il serai intéressant de surcharger cette fonction de plusieurs manieres :

Code:

---

1 2 3 4 5 6

// Pour un conteneur complet plutot qu'un range d'iterator template <class Stream, class Container, class Sep> Stream& join(Stream& s, const Container& c, const Sep& sep) { return join(s, c.begin(), c.end(), sep); }

---

Jusque là, tout va bien. Mais je souhaitais aller un peu plus loin, surtout dû au fait que j'utilise wxWidgets, et que la classe wxString accepte les operateurs de flux. J'aurais donc bien voulu faire un truc du genre :

Code:

---

1 2	wxString s; s << "coucou " << join(vec.begin(), vec.end(), " - ") << " hop";

---

Je ne souhaite plus fournir le flux à la méthode. Ca n'est pas dérangeant en soit, mais le problème vient plutôt de la déclaration et de l'instanciation :

Code:

---

1 2 3 4 5 6 7 8 9

template<class Stream, class Iterator, class Sep> Stream join(Iterator it, Iterator last, const Sep& sep) { Stream s; return join(s, it, last, sep); }   // Comment l'appeller ? join<wxString>(vec.begin(), vec.end(), " - ");

---

Le compilateur est évidement un peu perdu : j'ai 2 fonctions join prenant 3 paramètres. On aurai pu penser que le fait que les 2 premiers arguments nécessitant d'être identique aurai permis au compilateur de prendre la bonne fonction, mais cela n'a pas l'air d'être le cas.
Me méprends-je ?
Y a t il un solution ?
--
Jérémie

---

L'idée serait d'avoir une seule surcharge avec 3 paramètres template allant chercher l'implémentation dans une structure template. Ensuite, tu utilises la spécialisation partielle sur ta classe template avec wxString explicitement. Quelque chose comme ça (à la volée donc à affiner/corriger) :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37

template<class T1, class T2, class Sep> struct join_helper { typedef T1& return_type; typedef T1& arg1; typedef const T2& arg2; typedef const Sep& arg3; static return_type doIt(T1& s, const T2& c, const Sep& sep) { return join(s, c.begin(), c.end(), sep); } };   template<class T2, class Sep> struct join_helper<wxString, T2, Sep> { typedef wxString return_type; typedef T2 arg1; typedef const T2 arg2; typedef const Sep& arg3; static return_type doIt(T2 it, T2 last, const Sep& sep) { wxString s; return join(s, it, last, sep); } };   template <class T1, class T2, class T3> typename join_it<T1,T2,T3>::return_type join( typename join_it<T1,T2,T3>::arg1 s, typename join_it<T1,T2,T3>::arg1 c, typename join_it<T1,T2,T3>::arg1 sep ) { return join_helper<T1,T2,T3>::doIt(s, c.begin(), c.end(), sep); }

---

Wouah, ca arrache 8O
Merci pour la réponse, je pense, que je vais regarder cela de plus prêt.
Simplifier me semble un complexe, non ? :aie:
Je vois que j'ai encore pas mal de boulot sur les templates...
--
Jérémie

http://www.boost.org/doc/libs/1_39_0...ithm/join.html

Bah voila, boost une fois encore boost possède (peut être) la solution...
Tiens, la 1.39.0 vient juste de sortir, merci
--
Jérémie