C++

[C++] exemple didactique de template de template

Recherche :

Mot : Pseudo : Filtrer
Bas de page
Auteur	Sujet : [C++] exemple didactique de template de template

xterminhate

Si vis pacem, para bellum.

Je recherche un exemple de template de template qui soit parlant. Merci.

---------------
Cordialement, Xterm-in'Hate...

Publicité

++fab

victime du syndrome IH

xterminhate a écrit :

Je recherche un exemple de template de template qui soit parlant. Merci.

salut,
une fonction membre template d'un classe template ?

Sans la spécialisation, un exemple (pas tres concret) :
http://forum.hardware.fr/hardwaref [...] 2547-1.htm
D'ailleurs si qqun peut me renseigenr d'avantage sur le sujet en lien, je suis preneur ...

xterminhate

Si vis pacem, para bellum.

Quelque chose du genre :

Code :

template< template< typename X > typename Y >
f(){}

---------------
Cordialement, Xterm-in'Hate...

++fab

victime du syndrome IH

ça n'existe pas ...
tu veux faire quoi exactement ?

Taz

bisounours-codeur

Code :

#include <typeinfo>
#include <iostream>
template<typename T, template<typename> class C>
void demo(const C<T> & )
{
std::cout << "T = " << typeid(T).name()
<< "\t C = " << typeid(C<T> ).name()
<< '\n';
}
#include <vector>
int main()
{
std::vector<int> vi;
demo(vi);
}

un peu d'astuce : si ça passe pas en une seule fois, faut faire en 2

Lam's

Profil: bas.

Boaf, il suffit de faire 2 templates, et d'en passer l'un à l'autre. Un exemple de 3 templates imbriqués:

Code :

std::vector<std::pair<int,std::string> >

.

Un exemple plus ou moins à moi:

Code :

template <class TYPE>
class Iterator
{
public:
typedef TYPE POINTED;
virtual ~Iterator<TYPE>() {}
virtual const TYPE * operator *() = 0;
virtual const Iterator<TYPE> & operator ++() = 0;
};
template <class TYPE> // TYPE should be an Iterator
class IteratorWrapper
{
public:
IteratorWrapper(TYPE * content) : target(content) { }
~IteratorWrapper() { delete target;}
const typename TYPE::POINTED * operator *()
{
if (target)
return target->operator *();
else
return NULL;
}
IteratorWrapper & operator ++() { target->operator ++(); return *this; }
protected:
TYPE * target;
};

Ca permet à une classe de renvoyer un pointeur vers un itérateur (très pratique pour avoir des hiérarchies d'itérateurs). Et le client peut mettre ça dans un IteratorWrapper qui fonctionne tout comme un iterator mais qui gère automatiquement le déréférencement et le delete à la fin.

Message édité par Lam's le 26-01-2005 à 23:35:47

Taz

bisounours-codeur

euh, j'ai dus mal à saisir ta sauce. Déjà certaines signature d'opérateurs ne sont pas valides. Et tu mixes template et virtual. Et j'ai toujours pas compris le sens de ton machin. Mais cela n'a pas d'importance, ça n'en n'a sans doute aucun, vu qu'il vaudrait mieux pas s'amuser à faire une affecation : c'est un sinistre mélange d'iterator, smartpointer et une tentative désespérer de traits ... passons

WhatDe

[:rofl]

(désolé [:cupra] )

Message édité par WhatDe le 26-01-2005 à 23:48:27

Lam's

Profil: bas.

Taz a écrit :

Nan, c'est qu'il manque pas mal de trucs, et qu'il y pas mal de notions pas très catholiques derrière (c'est pour ça que certains const manquent). Et bien sûr, j'ai dégagé les constructeurs de recopie de l'exemple, etc.

L'utilité, c'est effectivement de "composer" tout ça pour avoir des binious qui retournent d'autres binious qui composent des binious, qui pointent vers des binious, le tout étant alloué et supprimé dynamiquement par des hiérarchies d'itérateurs.

Sans parler du fait que le code devait passer sous Visual C++ 6 et gcc 2.97... :-/ Mais au final, ça marche nickel, et c'est en prod depuis un sacré paquet de temps.

Taz

bisounours-codeur

bekr

Publicité

docmaboul

Taz a écrit :

Euh, j'ai du mal à saisir ta sauce. Déjà, la moitié de tes conjugaisons ne sont pas valides. Et tu mixes pluriel et singulier. Et tu mixes féminin et masculin. Et je n'ai toujours pas compris le sens de ton machin. Mais cela n'a pas d'importance, ça n'en a sans doute aucune, vu qu'il ne vaudrait mieux pas s'amuser à t'apprendre une langue durant vingt ans: c'est un sinistre mélange d'anglais, de fautes en tous genres et une tentative désespérée d'expression en français... passons.

xterminhate

Si vis pacem, para bellum.

Taz a écrit :

Code :

#include <typeinfo>
#include <iostream>
template<typename T, template<typename> class C>
void demo(const C<T> & )
{
std::cout << "T = " << typeid(T).name()
<< "\t C = " << typeid(C<T> ).name()
<< '\n';
}
#include <vector>
int main()
{
std::vector<int> vi;
demo(vi);
}

un peu d'astuce : si ça passe pas en une seule fois, faut faire en 2

Ok, merci. Si je comprends bien, le template de template sert principalement à la manipulation de conteneurs std.

---------------
Cordialement, Xterm-in'Hate...

Taz

bisounours-codeur

oui et non : les conteneurs standard sont une application commune. Si ton paramètre template est simplement "template<typename> class C" tu exprimes le fais que l'argument doit être un template lui aussi

xterminhate

Si vis pacem, para bellum.

Bien, c'est clair.

Un détail concernant ton exemple. Pourquoi ne pas rappeler typename ->T<- dans le template imbriqué ? Perdre en flexibilité, gagner en sécurité...

---------------
Cordialement, Xterm-in'Hate...

Taz

bisounours-codeur

essaie

xterminhate

Si vis pacem, para bellum.

C'est à dire que le compilateur se débrouille comme un grand on dirait. Le rappel de T n'apporte rien dans ce contexte.

---------------
Cordialement, Xterm-in'Hate...

Taz

bisounours-codeur

oula. c'est l'usage et non la déclaration qui compte. De plus tu peux constater que les paramètres template template ne sont utilisable que dans la déclaration

xterminhate

Si vis pacem, para bellum.

Ok, parfait.

---------------
Cordialement, Xterm-in'Hate...

++fab

victime du syndrome IH

A la place des modeles comme parametre de modele (au lieu du combo template template ...), on peut faire un autre choix, que l'on retrouve plus souvent :

Code :

#include <vector>
#include <list>
using namespace std;
template <class T,template<class> class V = vector>
class Foo
{
V<T> vt;
};
//ou
template <class T,class V = vector<T> >
class Bar
{
V v;
};
int main()
{
Foo<int,list> fi;
Bar<int,list<int> > bi;
Bar<int,list<double> > bad; // :o
}

Foo permet d'eviter la déclaration "bad".
Foo restreint le deuxieme parametre à etre un modele, ce que ne contraint pas Bar.
Avec Bar, on peut donc faire :
Bar<int,Mylistint> b;
Si on suppose que Mylistint est un type concret, et qu'il s'occupe du type int.

xterminhate

Si vis pacem, para bellum.

Ce problème ne semble pas se rencontrer avec les fonctions génériques (exemple de taz) puisque c'est le compilo qui résoud les paramètre de type automatiquement.

---------------
Cordialement, Xterm-in'Hate...

FORUM HardWare.fr

Programmation

C++

[C++] exemple didactique de template de template

Sujets relatifs
Appel de fonction static dans fonction template	spécialisation de fonctions membres (template) d'une classe template
Problème syntaxique de définition de template pour une fonction membre	Exemple de source pour piloter le port parallèle
l'équivalent de template et friend de C/C++ en Ada?	Exemple PCI-6503 National Instruments ?
template, qq chose m'échappe	Position Argos et PHP [exemple avec telnet]
problem template et héritage	fonction template dans une classe template
Plus de sujets relatifs à : [C++] exemple didactique de template de template

Page générée en 0.090 secondes