Discussion :

[gb_68]

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

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 :

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

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 :

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

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.

[arthurG]

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

Code :

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

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 ?

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

[gb_68]

Merci pour vos réponses.

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

Code :

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

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 :

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

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.

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 , qui date encore plus (surtout quand on parle de template C++ programmation ).

[3DArchi]

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