Discussion :

[xavlours]

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 ??

Code :

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

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 !

[Higestromm]

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...

[xavlours]

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 :

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

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(...

[dok3]

- le typename est-il necessaire ?

oui

- 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

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

non

[xavlours]

Merci, je comprends mieux !

[Aurelien.Regat-Barrel]

- 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.

[Luc Hermitte]

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.

[Aurelien.Regat-Barrel]

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

Code :

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

1
2
3
4
5
6
7
8
9
 
interface class Toto
{
};
generic<typename T>
where T:Toto
ref class Test
{
};