Méta-programmation

**nicolas66** · 13/03/2006, 21h07

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 :

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

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

Nico.

**Alp** · 13/03/2006, 21h19

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

**nicolas66** · 13/03/2006, 22h44

Malheureusement ca ne compile pas :

Code :

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

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 « < »

**Alp** · 13/03/2006, 22h47

Tu peux montrer le code s'il te plait?

**nicolas66** · 13/03/2006, 23h03

Voilà le code :

Code :

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

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;
}

**Alp** · 13/03/2006, 23h09

En inversant l'ordre des 2 ?

**nicolas66** · 13/03/2006, 23h18

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

Code :

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

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

**Luc Hermitte** · 14/03/2006, 00h33

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)

**nicolas66** · 14/03/2006, 12h15

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)

**Luc Hermitte** · 15/03/2006, 00h06

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.

**loufoque** · 15/03/2006, 09h53

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

Code :

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

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.

**nicolas66** · 15/03/2006, 12h14

Merci pour ton aide, c'est vraiment sympa

**nicolas66** · 16/03/2006, 10h51

J'ai une dernière petite question :

Code :

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

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

Nico.

**nicolas66** · 16/03/2006, 16h48

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à