Discussion :

[r0d]

Bonjour,

prenons par exemple le code suivant (dum.h):

Code :

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

1
2
3
4
5
template <typename T>
class Dum
{
//... code
};

Je ne comprend pas pourquoi je n'ai pas le droit de déclarer un pointeur sur Dum sans spécifier les paramètres templates:

Code :

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

Dum * dum;

Me génère l'erreur suivante:

1>c:\dev\test_template\test_template.cpp(8) : error C2955: 'Dum' : use of class template requires template argument list

En effet, un pointeur est juste une adresse, qui a donc une taille fixe. C'est lorsqu'on fait le new() qu'il va allouer la mémoire et donc avoir besoin des paramètres templates.

En fait, l'idée est de pouvoir faire quelque chose comme:

Code :

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

1
2
3
4
5
Dum * dum;
if ( condition )
   dum = new Dum<int>();
else
   dum = new Dum<string>();

Enfin bref, ma question est la suivante: Pourquoi n'ai-je pas le droit de déclarer un pointeur sur une classe template sans en spécifier les paramètres templates?

[Emmanuel Deloget]

Bonjour,

prenons par exemple le code suivant (dum.h):

Code :

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

1
2
3
4
5
template <typename T>
class Dum
{
//... code
};

Je ne comprend pas pourquoi je n'ai pas le droit de déclarer un pointeur sur Dum sans spécifier les paramètres templates:

Code :

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

Dum * dum;

Me génère l'erreur suivante:


En effet, un pointeur est juste une adresse, qui a donc une taille fixe. C'est lorsqu'on fait le new() qu'il va allouer la mémoire et donc avoir besoin des paramètres templates.

En fait, l'idée est de pouvoir faire quelque chose comme:

Code :

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

1
2
3
4
5
Dum * dum;
if ( condition )
   dum = new Dum<int>();
else
   dum = new Dum<string>();

Enfin bref, ma question est la suivante: Pourquoi n'ai-je pas le droit de déclarer un pointeur sur une classe template sans en spécifier les paramètres templates?

Parce que dum<X> et dum<Y> sont deux types différents, potentiellement non reliés entre eux (la spécialisation peut les changer du tout au tout). Avoir la possibilité de passer par dum* (sans paramètres) reviendrait dans ce cas à autoriser le passage par void* ; on perd donc toutes les informations de type.

Au delà de ça, pour qu'un nom déclaré puisse être utilisé, il faut qu'il fasse référence à quelque chose qui existe vraiment - hors, le type dum n'existe pas, alors que dum<T> existe.

Si tu veux faire quelque chose de similaire, tu peux faire ceci :

Code :

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

1
2
3
4
5
6
7
8
9
 
class dum_base { ... }
template <class T>
class dum : public dum_base
{
public:
  // sans oublier : 
  virtual ~dum() { ... }
};

Du coup, toutes tes classes dum<T> vont dériver de dum_base, sauf si tu spécialiser dum<X> pour ne pas en dériver. Tu pourras écrire :

Code :

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

1
2
3
4
5
 
dum_base * db;
 
if (cond) db = new dum<T1>();
else db = new dum<T2>();

[r0d]

Okay j'ai compris.