[template] template, pointeur et allocation

Bonjour,

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

Code:

---

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:

---

Dum * dum;

---

Me génère l'erreur suivante:

Citation:

---

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:

---

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?

Citation:

---

Envoyé par r0d

Bonjour,

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

Code:

---

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:

---

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:

---

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:

---

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:

---

1 2 3 4 5

dum_base * db;   if (cond) db = new dum<T1>(); else db = new dum<T2>();

---

Okay j'ai compris.
:merci:
:ccool: