Discussion :

[Davidbrcz]

Problème de spécialisation de fonction template membre

Bonjour à tous.
Je dispose du code suivant:

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
class A{ /**/};
 
class B : public A{ /**/};
 
class C : public A {
/**/
std::vector<A*> m_liste;
template <class TYPE> TYPE& Add(TYPE* t)
{
m_liste.push_back(t);
return (*t);
}
 
};

Avec cette fonction , je veux pouvoir ajouter des objets de type B et C.
Sauf que si l'objet est de type B, la fonction ne doit rien renvoyer.

J'ai donc écris:

Code :

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

1
2
3
4
5
6
7
8
9
class C //...
{
//..
template <> void Add(B* t)
{
m_liste.push_back(t);
}
//...
};

Mais dans ce cas, gcc me dit que la spécialisation doit avoir lieu dans le namespace qui contient C.

explicit specialization in non-namespace scope ‘class C’

Pas de problème :

on met la fonction membre dans le namespace globale
:

Code :

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

1
2
3
4
5
 
template <> void C::Add<B>(B* t)
{
m_liste.push_back(t);
}

mais la GCC me dit :

error: template-id ‘Add<B>’ in declaration of primary template
error: prototype for ‘void C::Add(B*)’ does not match any in class ‘C’
error: candidate is: template<class TYPE> TYPE& C::Add(TYPE*)

Et si j'ajoute le 'prototype' de la spécialisation dans la classe,j'ai la 1er erreure en plus des précédantes.

Une idée ?

Merci.

[Matthieu Brucher]

Tu spécialises une méthode, je ne suis pas sûr que tu puisses modifier le retour même si celui-ci ne fait a priori pas partie de la signature.
Si tu ajoutes le retour B&, ça passe ?

Sinon, c'est une spécialisation de fonction, donc elle devrait avoir la même interface que les fonctions non spécialisées. Là, si tu as du code qui fonctionnait avant, tu vas avoir un problème à la compilation et tu seras quasiment incapable de savoir pourquoi ça marchait avant et plus maintenant.

[Davidbrcz]

modifer void en B& ne change rien du tout.

[Davidbrcz]

Oubliez moi.
Je suis passé par une surcharge normale et puis voila.

[Matthieu Brucher]

C'est vrai qu'en plus la spécialisation de fonction passe après la surcharge lors de la compilation.