[template] arguments et type de retour

Bonjour,

Je voudrais définir 2 fonctions template, et il y en a une qui n'est pas reconnue: elle compile, mais lorsque je l'utilise elle n'est pas reconnue...

Celle-ci passe bien :

Citation:

---

template <class T>
string myFunc(T arg) { ... return s ; }

---

En revanche celle-ci pose le problème:

Citation:

---

template <class T>
T myFunc(sring s) { ... return t ; }

---

Est parcequ'il faut obligatoirement dans la signature du template le type générique défini ?
Car si je met à la place (je sais c'est idiot t2 ne sert pas)

Citation:

---

template <class T>
T myFunc(sring s, T t2) { ... return t ; }

---

là ça passe 8O

Si quelqu'un peut m'éclairer, merci :)

Au moment d'utiliser :

Code:

---

1 2	template <class T> T myFunc(string s) { ... return t ; }

---

Il faut spécifier le type de T, car le compilateur n'a aucun indice :

Code:

---

int i = myFunc<int>("toto");

---

aah oui, je vois pourquoi :)
merci merci :)

ha, petite question supplémentaire, quelle est la syntaxe relative aux header ?

J'ai mis dans le cpp:

Citation:

---

template <class T>
T myclass::myFunc(sring s)
{
... return t ;
}

---

et voulu mettre dans le header

Citation:

---

template <class T>
T myFunc(sring s) ;

---

mais à l'édition des liens je reçois un undefined reference, comme s'il ne faisiat pas le lien entre la déclaration et la définition .... est-ce normal ?

rq: en mettant tout dans le header c'est bon, mais j'aime pas :)

:faq:
http://cpp.developpez.com/faq/cpp/?p...VERS_templates

hmm j'avoue que je n'ai pas été voir la-bas :oops:
merci :)

un template n'est pas du code générique
un template est juste une indication au compilateur sur comment générer automatiquement du code. Dans toutes les unités de compilation, il doit donc savoir comment générer ce code, et par conséquent... l'avoir sous la main :)

A la sortie, si ton template de fonction est utilisée avec 7 types différents, tu auras vraiment 7 fonctions différentes.

[QUOTE=nicroman;3572634]un template n'est pas du code générique{/quote]

Qu'est-ce que tu appelles du code générique alors?

Citation:

---

un template est juste une indication au compilateur sur comment générer automatiquement du code.

---

C'est une technique d'implémentation -- celle attendue par les programmeurs. On pourrait aussi partager le code et avoir les instanciations qui fournissent une description de celle-ci; théoriquement possible, pratiquement, je doute que ce soit utilisé parce que ça cadre mal avec les attentes des programmeurs et certaines contraintes du C++ telle que l'existence des spécialisations explicites ou les règles sur la recherche de noms.

D'autres languages sont conçus pour permettre le choix entre les techniques (Ada par exemple; certains compilateurs Ada permettent même le choix pour chaque générique, peut-être même par instance).

D'autres languages sont dans la position inverse du C++, les contraintes du reste du langage et les attendes des utilisateurs imposent quasiment une version partagée.

Dans les trois cas, on a de la généricité.

nicroman dit que rien ne dit qu'un template doit avoir la meme implementation quel que soit le type, par exemple.

un vector<T> est du code "générique" car quel que soit T, le code généré est le meme. mais les template permettent aussi de calculer un hash, et le code dans ce cas n'est pas générique; une specialisation existe pour chaque type. Ce n'est pas du code qui sait s'adapter a tout les types; c'est du code qui existe pour differents types et qui fait des choses... ou d'autres.

En un sens il s'adapte ! Seulement c'est à la façon dont le programmeur le dit.