[Template] argument template template avec argument non-type un peu complexe

Bonjour,
(et déjà merci d'avoir survécu au titre :aie:)

le code suivant échoue à la compilation sous VS 2005 avec l'erreur C3201: la liste des paramètres de modèle pour la classe de modèle 'TSomeClass' ne correspond pas à celle du paramètre de modèle 'AClass'

Code:

---

1 2 3 4 5 6 7 8 9 10 11

template<typename T, typename T::type I> class TSomeClass {};   template < template<typename T, typename T::type I> class AClass > class TTest {};   TTest<TSomeClass> t;

---

le code suivant compile bien

Code:

---

1 2 3 4 5 6 7 8 9 10 11

template<typename T, T I> class TSomeClass {};   template < template<typename T, T I> class AClass > class TTest {};   TTest<TSomeClass> t;

---

Est-ce un problème du compilateur ou un code effectivement invalide ?
J'ai des doutes sur l'écriture template<typename T, typename T::type I>, bien qu'elle compile indépendamment (et je n'ai pour l'instant rien vu dans la norme qui la permette\l'interdise).

Merci.

Bonjour,
comme I dépend de T, je ne le mettrait pas en paramètre template mais plutôt :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13

template<typename T> class TSomeClass { typedef typename T::type I; };   template < template<typename T> class AClass > class TTest {};   TTest<TSomeClass> t;

---

Est-ce que ça conviendrait ?

Bonjour,

Le code est valide, un problème de compilateur possible, mais tu devrais déjà passer à un compilo plus récent ... 2005 ca date un peu (surtout quand on parle de template).

Merci pour vos réponses.

Citation:

---

Envoyé par arthurG

Bonjour,
comme I dépend de T, je ne le mettrait pas en paramètre template mais plutôt :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13

template<typename T> class TSomeClass { typedef typename T::type I; };   template < template<typename T> class AClass > class TTest {};   TTest<TSomeClass> t;

---

---

En fait I n'est pas un type mais une constante que je souhaite pouvoir manipuler à la compilation.
Dans le cas présent, j'avais juste encapsulé un enumdans une struct (pour émuler quelque peu les class enum du C++0x).
Ex:

Code:

---

1 2 3 4 5 6 7

struct MyEnum { enum type { val1 , val2 }; };

---

Je vais me contenter d'un simple enum, ce sera suffisant dans mon cas.

Citation:

---

Envoyé par Flob90

Bonjour,

Le code est valide, un problème de compilateur possible, mais tu devrais déjà passer à un compilo plus récent ... 2005 ca date un peu (surtout quand on parle de template).

---

Ouf, j'avais peur que les syntaxes typename T(qui défini un paramètre template type) et typename T::type(qui défini un paramètre template non-type) étaient ambigües et que la second n'était pas permise.
Quand au compilateur VS2005 ... (*gros soupir*) j'ai déjà du me battre pour qu'on abandonne VC6 :aie:, qui date encore plus (surtout quand on parle de template C++ programmation :roll:).

:ccool: :resolu:

Je te rassure (?) mais le code ne compile toujours pas avec Visual 2010 :aie: