Discussion :

[bobyjoe]

Ce code ci-dessous compile sans problème.

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
 
template< class T >
struct mystruct
{
	enum { value = 0 };
};
 
template<> struct mystruct< int > { enum { value = 1 }; };
 
int main(int argc, char *argv[])
{
	return 0;
}

Alors que celui-ci renvoie ceci avec g++:
template.cpp:10: erreur: explicit specialization in non-namespace scope «class mycl»

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
class mycl
{
 
	template< class T >
	struct mystruct
	{
		enum { value = 0 };
	};
 
	template<> struct mystruct< int > { enum { value = 1 }; }; // Probleme
};
 
int main(int argc, char *argv[])
{
	return 0;
}

Je suis largué. J'ai cherché un peu dans le forum. J'ai trouvé des sujets liés mais j'arrive pas à comprendre.

http://www.developpez.net/forums/sho...late+namespace
http://www.developpez.net/forums/sho...late+namespace
http://www.developpez.net/forums/sho...late+namespace
http://www.developpez.net/forums/sho...ation+template
http://www.developpez.net/forums/sho...ation+template

[r0d]

Argh, je viens de tester: ton code compile avec visual2005

[bobyjoe]

Mouais. J'ai trouvé une page en anglais qui en gros me fait comprendre qu'il faut revoir la théorie d'abord.

C'est exactement le même problème.

http://www.linuxquestions.org/questi...?postid=970273

Le gars dit:
1) si ca fonctionne dans MVS ca veut pas dire que c'est correct.
2) il faut instancier la classe ou le template dans le main pour dire d'au moins vérifier que tout fonctionne
3) ... jai pas compris le reste
Edit: apparemment c'est impossible de spécialiser un template d'une classe sans spécialiser la classe aussi. D'où l'idée de revoir la théorie.

M'enfin c'est pas clair du tout pour moi du coup je crois que c'est mieux de retourner dans les bouquins.

[r0d]

Sinon, la faq de developpez.com sur les templates, et en particulier celle-ci, semble insister sur le fait qu'il est préférable d'expliciter au compilateur que c'est un template sur un type. C'est à dire, concrètement, d'utiliser le mot-clé typename à la place de Class:

Code :

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

1
2
3
4
5
6
7
8
9
10
11
class mycl
{
 
	template< typename T >
	struct mystruct
	{
		enum { value = 0 };
	};
 
	template<> struct mystruct< int > { enum { value = 1 }; }; // Probleme
};

Peut-être...

[Jean-Marc.Bourguet]

Sinon, la faq de developpez.com sur les templates, et en particulier celle-ci, semble insister sur le fait qu'il est préférable d'expliciter au compilateur que c'est un template sur un type. C'est à dire, concrètement, d'utiliser le mot-clé typename à la place de Class:

Code :

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

1
2
3
4
5
6
7
8
9
10
11
class mycl
{
 
	template< typename T >
	struct mystruct
	{
		enum { value = 0 };
	};
 
	template<> struct mystruct< int > { enum { value = 1 }; }; // Probleme
};

Peut-être...

C'est un tout autre probleme.

[bobyjoe]

Effectivement en reprenant le code posté sur linuxquestions, où il utilise typename aulieu de class, l'erreur est la même.

http://www.linuxquestions.org/questi...?postid=970273


Jean-Marc a donné la solution en placant la spécialisation en dehors de la class cela fonctionne.

C'est formidable !

[bountykiler]

Et maintenant petite question:
On fait comment quand on veut spécialiser une fonction template membre d'une classe template?

[Jean-Marc.Bourguet]

Alors que celui-ci renvoie ceci avec g++:
template.cpp:10: erreur: explicit specialization in non-namespace scope «class mycl»

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
class mycl
{
 
	template< class T >
	struct mystruct
	{
		enum { value = 0 };
	};
 
	template<> struct mystruct< int > { enum { value = 1 }; }; // Probleme
};
 
int main(int argc, char *argv[])
{
	return 0;
}

Je suis largué. J'ai cherché un peu dans le forum. J'ai trouvé des sujets liés mais j'arrive pas à comprendre.

g++ a raison, on ne peut specialiser que dans le namespace et pas dans la classe (14.7.3/2 pour ceux qui veulent la reference) Solution:

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
class mycl
{
 
	template< class T >
	struct mystruct
	{
		enum { value = 0 };
	};
};
 
template<> 
struct mycl::mystruct< int >
{
   enum { value = 1 };
};

Et je n'ai pas le souvenir que ca doive changer en C++0X