Discussion :

[Zenol]

Bonsoir,

Suite à la lecture du tutoriel d'initiation à la méta programation de Laurent, j'ai voulut ecrire une structure template pour boucler sur une fonction. Je me suis donc dit, si je veut pouvoir choisir la fonction, il faudrait que je done un pointeur de fonction à ma tructure, donc j'ai voulut faire :

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
template <class Ptr, int Start, int End>
struct For
{
	static void Do()
	{
		Ptr();
		For<Ptr, Start, End>::Do();
	}
};
 
template <class Ptr, int N>
struct For<Ptr, N, N>
{
	static void Do(){}
};
 
//Une fonction de teste
inline void tst ()
{
	std::cout << "tst\n";
}
//Un apelle
For<tst, 1, 4>;

Comme vous vous en doutez, si je poste ici c'est que ca ne fonctione pas

Donc, j'en suis venu à me demander si j'aurais commit une erreur de syntaxe, ou le cas contraire si le compilateur pouvais ou non considèrer un pointeur de fonction comme connu à la compilation?

[Laurent Gomila]

Code :

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

template <class Ptr, ...

Là tu attends un type, or toi tu veux passer un pointeur de fonction.

Code :

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

template <void (*Ptr)(), ...

ca ne fonctione pas

La prochaine fois, pense à détailler un petit peu, on n'est pas tous dans la tête de ton compilo

[Zenol]

Ah oui tout bête...

Saufe que maintenant c'est l'apelle qui ne fonctione pas :/
j'ai le droit à un joli

(For<tst, 1, 4> | main.cpp:18: error: declaration does not declare anything

J'en profite pour demander pourquoi la compilation de

Code :

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

1
2
3
4
5
6
7
8
9
10
template <signed int N>
struct Fact
{
	enum
	{
		Value = N >= 0
			? N * Fact<N-1>::Value
			: -1 * Fact<-1*N>::Value
	};
};

s'enbale? Normalement il devrait réagir "normalemen" mais j'ai le droit à une longue liste d'ereur de la forme

Meta_Calc.h: In instantiation of `Fact<-0x000000001>':
Meta_Calc.h:32: instantiated from `Fact<1>'
main.cpp:17: instantiated from here
Meta_Calc.h:32: error: incomplete type `Fact<1>' used in nested name specifier

*Vraiment pas douer avec ces templattes*

[Laurent Gomila]

N'oublie pas que For<tst, 1, 4> est un type. L'appel, c'est :

Code :

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

For<tst, 1, 4>::Do();

Pour la factorielle, je pense que le problème sera réglé lorsque tu auras une condition d'arrêt.
Par ailleurs je ne suis pas sûr que la factorielle d'un nombre négatif soit définie.

[Zenol]

N'oublie pas que For<tst, 1, 4> est un type. L'appel, c'est :

Code :

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

For<tst, 1, 4>::Do();

Pour la factorielle, je pense que le problème sera réglé lorsque tu auras une condition d'arrêt.
Par ailleurs je ne suis pas sûr que la factorielle d'un nombre négatif soit définie.

Faut que je m'y fasse à cette fasson étrange ^^'

Pour la factoriel j'ai une condition d'aret : Fac<0> vaut 1.

D'ailleur, si je suprime le (N > 0) ? ... : -1 * Fact<-1*N>::Value et en métent simplement N * Fact<N-1>::Value tout fonctione corectement (pour els nombre positife, avec les nombres négatife ca boucle sans s'arèter)

Edit : Encore une bizarerie qui me surprend : J'ai oublier d'incrémenter le premier paramêtre template dans mon for, et le compilatuer ne m'a pas renvoiller d'ereur :o Il aurais dut rentrer dnas une boucle infini à la compilation, mais non il a réusi à déjouer le piège et à créer une boucle infini à l'éxecution O.O

[Laurent Gomila]

Si tu as une spécialisation pour N = 0 tu n'as pas besoin de tester N >= 0 dans ton calcul. En prenant N en tant qu'entier non signé tu éviterais aussi les erreurs dûes aux nombres négatifs.

Pourquoi ne pas partir de la version que je propose dans mon tutoriel ?

Code :

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

1
2
3
4
5
6
7
8
template<unsigned int N> struct Factorielle
{
    enum {Value = N * Factorielle<N - 1>::Value};
};
template<> struct Factorielle<0>
{
    enum {Value = 1};
};

[JolyLoic]

Code :

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

1
2
3
4
5
6
7
8
9
10
template <signed int N>
struct Fact
{
	enum
	{
		Value = N >= 0
			? N * Fact<N-1>::Value
			: -1 * Fact<-1*N>::Value
	};
};

s'enbale? Normalement il devrait réagir "normalemen" mais j'ai le droit à une longue liste d'ereur de la forme

A la place de Fact<-1*N>, ne voulais tu pas écrire Fact<-1*N - 1> ?

[Laurent Gomila]

A la place de Fact<-1*N>, ne voulais tu pas écrire Fact<-1*N - 1> ?

Je pense qu'il voulait juste écrire que la factorielle d'un N négatif c'est -1 * Fact(-N). La décrementation de N commence à l'itération suivante, lorsque N est positif.

[JolyLoic]

Oups, pas réveillé...