code incomprehensible (3 lignes) : template, typename

Bonjour,

Moi qui suis programmeur JAVA adepte de la conception OO et de la documentation je me trouve en train de relire un code C++ pas documente. Vous imaginez mon desarroi.
Mon premier probleme concerne ces trois lignes : ou est le type de retour de la fonction 8O ??

Code:

---

1 2 3 4 5

template<class T> typename T::_ptr_type resolve_name( /*parametres*/) { // corps de la fonction }

---

Y a-t-il une maniere plus developpee de dire la meme chose ?

Merci !

Bon...

template<class T> ca ca veux dire que ta fonction vas etre générique et utilisé un objet non identifié dont on dira qu'il est de type T

typename T::_ptr_type Ca ca permet de dire que dans ton objet de type T il y a un typedef qui a été définit et que ce typedef s'apelle _ptr_type

resolve_name( )
{
}

Ca c'est ta fonction...

En gros ta fonction retourne un typedef nommé _ptr_type définit dans une classe non définit de type T... c'est tout de meme vachement tirer par les cheveux a mon gout mais bon...

C'est ce dont je me doutais, mais j'ai alors des questions :
- le typename est-il necessaire ?
- que se passe-t-il si on passe en template un type qui ne contient pas de _ptr_type ?
- n'y a-t-il pas moyen de contraindre T a deriver d'une classe contenant _ptr_type (par polymorphisme) ? Un truc genre :

Code:

---

1 2 3 4 5 6 7 8 9

class MaClasse {   typedef Machin _ptr_type;   }   template <MaClasse T> //on force T a descendre de MaClasse typename MaClasse::_ptr_type resolve-name(...

---

Citation:

---

- le typename est-il necessaire ?

---

oui

Citation:

---

- que se passe-t-il si on passe en template un type qui ne contient pas de _ptr_type ?

---

les templates sont instancie a la compilation, donc tu aurai une erreur de compilation

Citation:

---

- n'y a-t-il pas moyen de contraindre T a deriver d'une classe contenant _ptr_type (par polymorphisme) ?

---

non

Merci, je comprends mieux !

Citation:

---

Envoyé par dok3

Citation:

---

- n'y a-t-il pas moyen de contraindre T a deriver d'une classe contenant _ptr_type (par polymorphisme) ?

---

non

---

disons pas de manière explicite, car le fait d'utiliser _ptr_type contraint à utiliser une classe qui dispose de ce type. C'est le genre de choses à mettre en commentaires.

Les templates ne sont pas complètement orientés interface (si on compare à Java), mais plus implémentation.
On pourrait avec de la méta-programmation utiliser des assertions statiques qui nous forcent à utiliser un T qui dériverait d'un TI -- voir boost ou Loki.

Seulement, ce n'est pas vraiment dans l'esprit des templates en C++. On va plus souvent s'en sortir en ayant des classes qui vont devoir fournir des types internes (comme ici), ou même accepter n'importe qu'elle classe pour laquelle on fournira un adaptateur (-> structures de traits). Ainsi, avec une bibliothèque de sérialisation, on pourra sérialiser n'importe quel type de contaneusr, même ceux dont on ne maitrise pas l'interface "membre" ; p.ex. on règlera la bibliothèques via une structure de trait spécialisée pour les divers conteneurs / types à sérialiser.

Dans C++ CLI, les generics diposent du mot-clé where qui permet de spécifier le type de T.

Code:

---

1 2 3 4 5 6 7 8 9

interface class Toto { }; generic<typename T> where T:Toto ref class Test { };

---