Discussion :

[Steph_ng8]

Bonjour,

Histoire de vérifier si je comprenais bien les mécanismes (du moins, certains) de la métaprogrammation, j'ai décidé de faire une classe permettant de stocker différents types de données, une sorte d'union qui accepte les types avec constructeur(s) et destructeur.
(Oui, je sais que boost::variant existe...)
Je me suis inspiré de std::tuple pour pondre le code joint.

Le problème, c'est que je ne peux pas le compiler.
Visiblement, cela vient des spécialisations des templates, ou encore de leurs appels.
g++ (4.6.1), sous Linux, râle de cette manière :

erreur: invalid explicit specialization before ‘>’ token
erreur: fermetures de patrons de classe ne sont pas explicitement spécialisées
erreur: template-id (...) for (...) does not match any template declaration

ou encore :

erreur: expected primary-expression before ‘>’ token
erreur: expected primary-expression before ‘)’ token

Pourtant je n'ai pas l'impression d'avoir fait d'erreur de syntaxe.
Ou alors il y a des restrictions pour les fonctions membres templates de classes templates ?

Bref, si vous avez des remarques, que ce soit sur mon problème ou sur mon code, je suis preneur.

[Invité]

Il y a des restrictions pour les fonctions template tout court... Tu peux surcharger une fonction, mais pas la spécialiser...

[Steph_ng8]

Ah d'accord...

Je viens de faire un essai sur un petit exemple, et j'ai un message d'erreur un peu plus explicite...

erreur: function template partial specialization (...) is not allowed

On ne peut donc spécialiser un template que lorsqu'il y a détermination automatique.
Bon à savoir...

Merci !

[Flob90]

On ne peut donc spécialiser un template que lorsqu'il y a détermination automatique.

Tu entends quoi par ceci ?

Le message du compilateur que tu obtiens avec ton test veux juste dire que tu ne peux pas spécialiser partiellement une fonction template.

Et le problème de ton code est qu'on ne peut spécialiser totalement un template à l'intérieur d'une classe template sans totalement spécialiser celle-ci. Dit autrement, la syntaxe :

Code :

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

1
2
3
 
template</*quelque chose*/>
tempalte<>

Est invalide (quelque chose étant une liste d'argument template non vide).

[Steph_ng8]

On ne peut donc spécialiser un template que lorsqu'il y a détermination automatique.

Tu entends quoi par ceci ?

Je voulais dire qu'on ne peut spécialiser que les paramètres templates qui ont la possibilité d'être déterminés automatiquement.

Code :

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

1
2
template <typename T, typename U>
void f(U const& x);

Dans cet exemple, on peut définir une spécialisation pour U, vu qu'il peut être déterminé automatiquement lors de l'appel de la fonction, mais pas pour T.

Bien sûr, c'est complètement faux...

J'ai fini par comprendre qu'en réalité, on ne peut pas spécialiser un paramètre template à l'aide d'un autre paramètre template ; il faut que ce soit une valeur connue à la compilation, donc soit une constante soit un type parfaitement défini.
Donc, on ne peut pas écrire ceci :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
typename <typename T, typename U>
void f(...)
{
    (...)
}
 
typename <typename T>
void f<T, T>(...)
{
    (...)
}

Et le problème de ton code est qu'on ne peut spécialiser totalement un template à l'intérieur d'une classe template sans totalement spécialiser celle-ci.

Mais c'est nul !!!

[Flob90]

Donc, on ne peut pas écrire ceci :

Si tu peux pas écrire ceci c'est parceque tu ne peux pas spécialiser partiellement une fonction template, rien d'autre