Discussion :

[deubelte]

Bonjour
Je me suis pos� la question sur la d�claration de template de template

J'ai essay� cela:

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

1
2
3
4
5
6
template<template<typename Y> typename X>
struct Meta_class
{
	//typedef template<T> type;
 
};

Mais cela me renvoie une erreur: d�claration de param�tre inconnus.


Ensuite j'ai essay� ca:

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

1
2
3
4
5
6
template<template<typename Y> class X>
struct Meta_class
{
	//typedef template<T> type;
 
};

et ca compile. Je voudrais savoir quelle est la diff�rence entre les deux?
Surtout que je pensais que typename et class �taient identiques dans un template.
Merci

[bacelar]

Heu, pourquoi obliger un param�tre d'un template � �tre un template ?

C'est tr�s "border line" comme situation, non ?

[Goten]

Non, et �a a plus d'une utilit�.


template<template<typename> class X>


Est la bonne syntaxe car c'est ce que tu veux (ie une classe template).


template<template<typename> typename X>

n'a aucun sens ici.

Pas la peine de nommer le param�tre template template (Y chez toi), il ne sera jamais utilis�.

[deubelte]

Non, et �a a plus d'une utilit�.

tu peux m'en donner une?

[guillaume07]

si tu veux avoir une classe template qui prends une classe template

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

1
2
3
4
5
6
7
8
template < template<typename> class X>
class Foo
{
 
};
 
//main
Foo< vector<string> > f;

[Flob90]

Utilit� : Design � base de classes de politique (cf Loki), et surment pas mal d'outils de m�ta-prog plus avanc� (cf MPL, pas assez d'exp�rience sur MPL pour donner un exemple plus concret*, Goten devrait pouvoir le faire)

* Cependant je dirais bien pour faire un algo qui cr�� un nouveau conteneur de type en appliquant une m�ta-fonction sur tout les �l�ments d'un autre conteneur. Ca serait donc une m�ta-fonction qui prend en param�tre un conteneur de type et une autre m�ta-fonction.

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

1
2
3
4
5
6
7
8
9
10
11
12
13
 
template< template <class> class F, class List> struct Algo;
template< template <class> class F, class OldHead, class OldTail>
struct Algo<F, TypeList<OldHead, OldTail> >
{
    typedef typename F<OldHead>::Result NewHead;
    typedef typename Algo<F, OldTail>::Result NewTail;
    typedef TypeList<NewHead, NewTail> Result;
};
 
template< template<class> class F>
struct<F, NullType>
{ typedef NullType Result; }

Quelque chose de ce gout l� (aucune garantie que ca compile )

[loufoque]

C'est marrant la question originale, �a montre que dans certains contextes tu as class/typename et d'en d'autres tu as class/struct.

class est donc un mot-cl� magique qui veut dire plusieurs choses.