Diff�renciation array <> container dans un template

Bonjour � tous.

J'aimerais qu'une fonction renvoie deux �l�ments du type et dans le type du container pass� en param�tre template. Par exemple :

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

template <typename range> range f(range _r[]) { range r = new range[2] ; return r ; }   template <typename range> range f(range _r) { range r = range() ; r.resize(2) ; return r ; }   template <typename range> range f1(void) { range r ; r = f(r) ;   r[0] = '1'; r[1] = '2'; return r; }   int main() { int *r = f1<int*>() ; std::cout << r[0] << " " << r[1] << std::endl ;   std::string s = f1<std::string>() ; std::cout << s << std::endl ; }

---

J'essaye avec les deux premi�res fonctions d'isoler l'initialisation d'une "raw array" et d'un container.

J'ai l'erreur suivante : '=' : cannot convert from 'int' to 'int *' � cette ligne-ci :

Code:

---

r = f(r) ;

---

Avez-vous d'autres techniques ou savez-vous o� se trouve mon erreur ?

Merci d'avance.

Ta question est tr�s ambigu, tu voudrais que ta fonction template f te renvoie 2 �l�ments du type template sp�cifi� et tu voudrais que ces 2 �l�ments soient stock�es dans la variable pass�e en param�tre (qui est soit un tableau brut ou soit un conteneur type ceux de la STL)? ou tu pr�f�rerais que ces 2 �l�ments soit retourn�s par ta fonction(� l'aide du return)???, � la vue de ton code tu voudrais que ces 2 �l�ments soit retourn�s par la fonction avec return.

D"un point de vue purement g�n�ral sans forc�ment de lien avec le probl�me, on remarque dans ton code que le param�tre d'entr�e _r de ta fonction f n'a pour seul raison d'�tre de permettre l'instanciation implicite de f car il n'est nullement utilis� dans le corps de la fonction. Dans ce cas, ce param�tre n'a aucune utilit�, pourquoi ne pas demander une instanciation explicite de ta fonction avec le param�tre template de ta fonction f1.

Pour revenir au v�ritable probl�me, ton code laisse pr�sager une sp�cialisation partielle de ta fonction f pour les pointeurs, pointeur qui servira � contenir l'adresse du tableau allou� dynamiquement. Cependant, la sp�cialisation partielle de fonction template est impossible. Ainsi, une solution est de ruser en utilisant une classe template qui elle peut �tre sp�cialis�e partiellement et d'y impl�menter en son sein (1) une m�thode statique ou encore impl�menter (2) l'op�rateur () (ou m�me une fonction membre quelconque).

Solution (1) en tenant compte des modifications pr�c�dentes serait :

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 38

template <typename range> struct F { static range f() { range r = range() ; r.resize(2) ; return r; } };   template <typename range> struct F<range*> //spécialisation partielle de la classe F pour les pointeurs { static range* f() { return new range[2]; } };   template <typename range> range f1(void) { range r = F<range>::f();   r[0] = '1'; r[1] = '2'; return r; }   int main() { int* r = f1<int*>(); std::cout << r[0] << " " << r[1] << std::endl ;   std::string s = f1<std::string>() ; std::cout << s << std::endl ; }

---

Solution (2) sans grand int�r�t:

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 38 39

template <typename range> struct F { range operator()() { range r = range() ; r.resize(2) ; return r; } };   template <typename range> struct F<range*> //spécialisation partielle de la classe F pour les pointeurs { range* operator()() { return new range[2]; } };   template <typename range> range f1(void) { F<range> f; range r = f();   r[0] = '1'; r[1] = '2'; return r; }   int main() { int* r = f1<int*>(); std::cout << r[0] << " " << r[1] << std::endl ;   std::string s = f1<std::string>() ; std::cout << s << std::endl ; }

---

Merci pour cette solution, effectivement j'essayais de faire quelque chose d'impossible. J'ai une autre question bonus : pourquoi la sp�cialisation partielle de template de fonction est interdite ?

Bonsoir,

Pour ton erreur, dans f1<int*>, rang == int*, ainsi f(r) d�duit le range de f � int (utilisation de la premi�re surcharge, elle est plus "sp�cialis�e"), et ainsi f(r) te retourne un int qui tu tentes de stocker dans un int*.

Il y a un probl�me dans ce que tu veux faire, le concept de range n'est pas fait pour qu'on puisse n�cessairement cr��er un range d'un type de range d�j� existant, c'est fait pour �tre travers�.

Regardes n'importe quel algortihme travaillant avec les ranges ou m�me les it�rateurs, aucun ne retourne un range du type d'entr�e. Quand l'objectif est de sortir un nouveau conteneur l'algorithme demande en entr�e un OutPutIterator qu'il va utiliser pour remplir la sorti commeil veut (et en g�n�ral il retourne un OutPutIterator indiquant la fin de la s�quence de sortie).

En g�n�ral tu n'as pas � diff�rencier le comportement pour les diff�rents conteneurs directement dans les signatures des fonctions, c'est plus flexibles via l'utilisation de traits/politiques.

Bonsoir Flob90.

Votre avis est tr�s int�ressant et j'h�site sur la fa�on de proc�der. En r�alit�, j'ai une collection de fonctions qui peuvent retourner soit seulement un caract�re ( dans ce cas, un it�rateur de sortie pourrait sembler "lourd") ou alors une collection de ces caract�res.

Je pourrais alors n'utiliser un it�rateur de sortie que lorsque le retour est de plus d'un caract�re.

Ne trouvez-vous pas que cela brise un peu la logique g�n�rale ? Je veux dire que c'est plus agr�able d'avoir un ensemble de fonction qui ont la m�me en-t�te que des en-t�tes diff�rentes. Malgr� tout, je me pose ce genre de questions car c'est la premi�re fois que je suis expos� au probl�me, alors soyez indulgent :)

Qu'en pensez-vous ?

Connais tu la taille de l'ensemble retourner par la fonction avant d'appeler celle-ci (ou un majorant acceptable) ? En fonction de la tailler de la s�quence d'entr�e par exemple. Si c'est le cas tu peux en effet passer en param�tre un it�rateur de sortie, sinon ca risque d'�tre assez innefficase.

Si tu peux d�terminer la taille, ca ne pose pas de probl�me de n'avoir qu'un seul �l�ment dans l'ensembe de sortie, dans ce cas tu passes comme it�rateur de sortie un pointeur.

La solution la plus simple me semble quand m�me de retourner un conteneur le mieux adapter aux besoins (� d�terminer) pour repr�senter l'ensemble de sortie, mais pas n�cessairement le type du range d'entr�e. A moins que d�terminer un conteneur le mieux adapt� ne soit pas envisageable ? (ie changeant selon la situation)

La taille est effectivement fixe et connue � la compilation. Elle sera de 1 ou de 2, et suivant l'�volution de la biblioth�que peut-�tre un petit peu plus (3 ou 4..).

Je trouvais �a plus intuitif d'avoir le m�me type de sortie que celui d'entr�e.

Je pense que je vais laisser �a comme �a, et je verrai bien ce que la review dira...

Mais il n'emp�che que je trouve �a �trange et presque synonyme d'un probl�me de conception un it�rateur de sortie qui n'est utilis� que pour stocker une valeur...

Merci de vos suggestions.

Le probl�me c'est que si je te mets en argument un conteneur pass� � travers plusieurs adaptor de boost::range et/ou d'adaptor perso, ca pas certain que le type soit default-constructible et/ou que tu puisses ins�rer des �l�ments, et quand bien m�me ca serait le cas, es-tu certain que ca aurait toujours un sens ?

Tu pourrais te faire un type perso qui te permet de retourner 1 ou 2 valeurs, ou en passant par boost quelque chose comme

Code:

---

boost::compressed_pair<value,boost::optional<value>

---

Je trouve que �a d�stabilise un type perso. Enfin bref, je me suis d�cid� et finalement je vais faire un retour simple pour les valeurs � 1 �l�ment et un iterateur de sortie pour ceux de plus de une valeur.

Merci de votre aide et bonne soir�e :ccool: