Templates : spécialisations non reconnues

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 :

Citation:

---

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 :

Citation:

---

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.

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

Ah d'accord...

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

Citation:

---

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 !

Citation:

---

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:

---

1 2 3

template</*quelque chose*/> tempalte<>

---

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

Citation:

---

Envoyé par Flob90

Citation:

---

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:

---

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:

---

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>(...) { (...) }

---

Citation:

---

Envoyé par Flob90

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 !!! :calim2:

Citation:

---

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 :ccool:

Ouais, j'ai vu... :cry: :cry: :cry:
http://www.developpez.net/forums/d11...e/#post6322257

Ceci dit, tu peux feinter : une fonction statique dans une structure template est une fonction tout ce qu'il y a de plus normal, et comme tu peux spécialiser partiellement la struct, tu auras le résultat que tu souhaites.

Je ne vais pas te donner d'exemples à toi, tu est suffisamment grand :)

Ah oui, je n'y avais pas pensé.
Entre temps, je suis parti un peu différemment, et je n'utilise quasiment plus que des surcharges.
Je vais voir si je ne peux pas réintroduire des spécialisations grâce à cette astuce. :ccool:

Citation:

---

Envoyé par Emmanuel Deloget

Je ne vais pas te donner d'exemples à toi, tu est suffisamment grand :)

---

Naaan !
Je veux un exemple !!!
:mouarf: :mouarf: :mouarf: