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.