Méta-programmation

Version imprimable

Méta-programmation

Bonjour,

Je voudrais savoir s'il est possible de trouver un moyen d'intégrer la fonction factorielle suivante dans une classe de manière à faire "plus propre" :
Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 class CMetaAlgebra { private : template<> static inline Real Factorial<0>() { return Real(1.0); } public : template<unsigned int I> static inline Real Factorial() { return I * Factorial<I - 1>(); } };
Merci d'avance pour votre aide :P

Nico.

13/03/2006, 21h19
Alp

Oui cela est possible! ^^
(ps : la spécialisation d'une fonction/classe template doit se faire après la générale, non? si mes souvenir sont bons, c'est de plus en plus spécialisé lorsque l'on descend dans le code.)
Sinon, qu'est-ce qui te pose problème? La manière la plus pratique, je trouve, pour la factorielle en méta-progr, est celle de Loulou dans son article :
http://loulou.developpez.com/tutorie...metaprog/#L3.2

Malheureusement ca ne compile pas :

Code:

1
2
3
4
5
 
test2.cpp:7: erreur: invalid explicit specialization avant un élément lexical « > »
test2.cpp:7: erreur: spécialisation explicite dans la portée d'un non espace de noms « class CMetaAlgebra »
test2.cpp:7: erreur: expected init-declarator avant un élément lexical « < »
test2.cpp:7: erreur: expected `;' avant un élément lexical « < »

13/03/2006, 22h47
Alp

Tu peux montrer le code s'il te plait?

Voilà le code :

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
 
#include <iostream>
 
 
class CMetaAlgebra
{
     private :
	template<> static inline double Factorial<0>()
	{
		return double(1.0);
	}
 
 
     public :
	template<unsigned int I> static inline double Factorial()
	{
		return I * Factorial<I - 1>();
	}
};
 
int main( int argc, char ** argv )
{
	return EXIT_SUCCESS;
}

13/03/2006, 23h09
Alp

En inversant l'ordre des 2 ?

Idem ca ne change rien, j'ai l'erreur suivante :

Code:

1
2
3
4
 
test2.cpp:12: erreur: invalid explicit specialization avant un élément lexical « > »
test2.cpp:12: erreur: spécialisation explicite dans la portée d'un non espace de noms « class CMetaAlgebra »
test2.cpp:13: erreur: déclaration de membre de fonction invalide

14/03/2006, 00h33
Luc Hermitte

La spécialisation se met après.

Mais ... en quoi mettre ça dans une classe est plus propre ? (chose qui je pense est au coeur de ton problème)
14/03/2006, 12h15
nicolas66

En fait je voudrai pouvoir mettre cette fonction factorielle dans une classe pour séparer les deux fonctions : le cas de base irait en partie privée et le cas récursif en partie publique. Cela éviterait que l'utilisateur appelle la fonction du cas de base.

Sinon, pourrais-tu me montrer à quoi ressemblerait le morceau de code qui compile ? (d'après ce que j'ai pu lire sur sur le net, ca a l'air apparement impossible)
15/03/2006, 00h06
Luc Hermitte

Pourquoi séparer quoique ce soit? C'est la même fonction. De plus, en général j'ai plutôt vu l'encapsulation des cas récursifs et terminaux dans une fonction reponsable de l'appel.

Quand à un code qui compile, celui de Loulou le devrait.

Citation:

pourrais-tu me montrer à quoi ressemblerait le morceau de code qui compile ?
Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 class Real { public: double value; Real(double a) : value(a) { } Real operator*(unsigned int a) { return Real(value * a); } }; class CMetaAlgebra { public: template<unsigned int I> static inline Real Factorielle() { return Factorielle<I - 1>() * I; } }; template<> inline Real CMetaAlgebra::Factorielle<0>() { return Real(1.0); }
Les spécialisations doivent s'effectuer en dehors des classes.
Il n'est pas possible d'avoir une spécialisation avec une visibilité différente du reste.

15/03/2006, 12h14
nicolas66

Merci pour ton aide, c'est vraiment sympa :P
16/03/2006, 10h51
nicolas66
J'ai une dernière petite question :
Code:

1 2 3 4 5 template<> inline Real CMetaAlgebra::Factorielle<0>() { return Real(1.0); // <-- question sur ce bout de code }
Est-il préférable de passer la valeur de retour au constructeur du type Real (en fait c'est un double ou un float dans mon application) et de l'indiquer au compilateur ? Est-il préférable d'indiquer au compilateur que le nombre retourné est un flottant par 1.0f (avec ou sans le constructeur Real) ? Dernière chose : qu'est-ce que cette dernière notation indique précisément au compilateur ? Merci :P

Nico.
16/03/2006, 16h48
nicolas66

Je viens de terminer la classe `CMetaAlgebra`. Elle fera partie d'une bibliothèque mathématique pour l'imagerie qui se nomme Mira. Elle est disponible sur mon site Internet sur la page d'accueil. Voilà :)
16/03/2006, 21h47
loufoque

Je viens de voir que dans ton application Real est un typedef sur double.
Donc tu peux retourner directement 1.0
16/03/2006, 22h02
nicolas66

1.0 ou 1.0f ?
17/03/2006, 15h46
HanLee

Citation:

Envoyé par nicolas66

1.0 ou 1.0f ?

1.0, le suffixe 'f' indique un float.
17/03/2006, 18h41
nicolas66

Comment peut-on indiquer un double ?
17/03/2006, 18h48
Laurent Gomila

1.0
17/03/2006, 18h51
nicolas66

Merci à vous tous :P