Problème avec argument par défaut de templates

Bonjour à tous,

Quelqu'un pourrait me dire pourquoi avec le code suivant :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23

#include <iostream>   using namespace std;   class A { public: static void hello() { cout << "hello" << endl; } };   template <class TEMPLATE=A> class B { public: static void run() { TEMPLATE::hello(); } };   int main() { B::run(); return 0; }

---

g++ retourne l'erreur suivante :

Code:

---

1 2 3

test.cc: In function ‘int main()’: test.cc:20:2: erreur: ‘template<class TEMPLATE> class B’ used without template parameters

---

alors qu'un paramètre par défaut est bel et bien défini pour le template class B ?

Merci d'avance pour la réponse :).

Benjamin

Bonsoir,
Il faut rajouter une paire de chevron vide. (je ne connais pas la raison profonde)

Code:

---

B<>::run();

---

PS : TEMPLATE comme nom de type n'est pas vraiment une bonne idée, car le lecteur peut confondre facilement avec le mot clé "template". En tout cas pour ma part il m'a fallu quelques secondes supplémentaires pour comprendre la déclaration de la classe. Traditionnellement on utilise plutôt qqchose comme "T" pour un nom de type template.

Citation:

---

Envoyé par Arzar

Bonsoir,
Il faut rajouter une paire de chevron vide. (je ne connais pas la raison profonde)

Code:

---

B<>::run();

---

PS : TEMPLATE comme nom de type n'est pas vraiment une bonne idée, car le lecteur peut confondre facilement avec le mot clé "template". En tout cas pour ma part il m'a fallu quelques secondes supplémentaires pour comprendre la déclaration de la classe. Traditionnellement on utilise plutôt qqchose comme "T" pour un nom de type template.

---

Oui bien sur, j'utilise le T d'habitude et j'ai écrit ce code à l'arrache pour tester le comportement de g++ (pourquoi est-ce que j'ai choisir TEMPLATE dans le stress, aucune idée :P).

Merci pour cette indication. J'ai donc été obligé de renommer toutes mes classes et de définir un typedef avec leur nom d'origine.

Par exemple :

Code:

---

1 2	template <class T=A> class B { ... };

---

devient

Code:

---

1 2 3

template <class T=A> class _B { ... }; typedef _B<> B;

---

Je trouve ça un peu lourd pour quelque chose d'aussi simple.

Citation:

---

Envoyé par Arzar

Bonsoir,
Il faut rajouter une paire de chevron vide. (je ne connais pas la raison profonde)

---

Code:

---

void f(int = 5);

---

Tu appelles f() et pas f. f désigne la fonction, f() l'appel.
Avec

Code:

---

1 2	template <class T=A> class _B { ... }; typedef _B<> B;

---

_B est un template de classe (qui n'est pas un type, il faut éviter le classe template calque direct de l'anglais où le qualificatif précède le qualifié contrairement à l'usage le plus commun en français), et _B<> une spécialisation (qui elle est bien une classe; il fut un temps où en anglais on utilisait class template pour le template de classe et template class pour la spécialisation, grammaticalement c'est peut-être sensé, mais ça augmente pour sûr la confusion, même pour les anglophones, et c'est une terminologie que l'on ne devrait plus voir).