Discussion :

[Cbenlfun]

Bonjour

Je commence à apprendre la méta-programmation grâce à un tutoriel de Développez.com et je suis face à un grand questionnement...

J'ai fait une fonction avec des paramètres template de type int et elle fonctionne parfaitement, mais si je remplace ce type par le type float, double, une structure ou une classe le compilateur me dis que ces types sont interdits comme paramètre.

Voici le squelette de ma fonction:

Code :

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

1
2
3
4
5
 
template<double v> struct Fonc
{
	static double F() { return v;}
};

Apparemment, le compilateur n'accepte que les int, char, bool, références et pointeurs...
Je peux donc créer mes différentes méta-fonctions avec des référence mais ceci pourrait me causer des désagréments dans certaines situations.

Je me demande pourquoi le compilateur est si capricieux avec les paramètres template, pourquoi n'accepte-t-il pas tous les types comme pour les paramètres des fonctions?

J'aimerais avoir vos avis sur la question...

[Jean-Marc.Bourguet]

Quelle notion d'égalité est à utiliser?

-> Pour les types flottants, ça pose des problèmes d'arrondis, de la nécessité pour le compilateur d'émuler exactement le comportement du processeur, sans parler des modes d'arrondis qui compliquent encore.

-> Pour les types utilisateurs, on utilise l'opérateur == du type?

C'est le genre de problèmes qu'on a cherché à éviter en interdisant purement et simplement. Depuis l'émergence des techniques de méta-programmation, le problème des flottants a été resoulevé et il y a eu des propositions de spécification. Mais je ne sais pas si elles ont été formalisées, et encore moins si elles ont aboutis.

[JolyLoic]

Pour les flottants, je suppose que cette question a du être résolue pour les constexpr (je ne suis pas trop à jour sur ce sujet). Je me demande s'il y a eu une proposition d'étendre ça aux templates.

[Cbenlfun]

Merci pour vos réponses...

J'ai créé ma fonction avec des référence et je me suis retrouvé devant le même problème, une variable double doit être instanciée car sinon les références et pointeurs sont inutiles.

Après de nombreux essais et beaucoup de temps, j'ai réussi à régler le problème avec une variable globale et je suis allé continuer le tutoriel sur la méta-programmation...

Deux paragraphes en dessous de l'endroit où je l'avais laissé je trouve exactement la fonction que je viens de faire, mais en dix fois plus simple et en dix fois plus élégant.

Je ne suis pas certain de comprendre l'intérêt d'interdire les types plus complexe que les entier, mais au moins je sais comment gérer ça grâce au tutoriel et la prochaine fois je ne me ferai pas prendre.