Appel recursif avec template

Version imprimable

il y a t il un probleme a ecrire:

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
26
27
# ifndef _Tensor
# define _Tensor
 
#include <math.h>
 
 
template< class U,int n>
class Tensor{
public:
 
	Tensor();
	~Tensor(); 	
 
public:
Tensor<U,n-1> operator () ( const int & aLine, const int & aElem );
 
public:
	int              Dim;
	int	*NbElem;
	U	*pTensor;
 
};
 
 
#include "Tensor.cpp"
 
# endif

07/10/2005, 20h23
Selenite

Aucun problèmes. A condition de spécialiser un template pour une valeur donnée pour arrèter à temps la récursion. Attention aussi au temp de compilation qui peut s'alonger considérablement.

Je te renvoie à ceci : http://loulou.developpez.com/tutoriels/cpp/metaprog/
10/10/2005, 11h14
Math75

J ai lu ton line sur les templates
C et excellent
Merci beaucoup
je vais essayer de bien le comprendre et l assimiler
10/10/2005, 12h59
zoubidaman

Quel est l'intérêt de cette ligne à la fin de ton fichier?

Code:

#include "Tensor.cpp"
10/10/2005, 13h02
Laurent Gomila

Citation:

Envoyé par zoubidaman

Quel est l'intérêt de cette ligne à la fin de ton fichier?

Code:

#include "Tensor.cpp"

http://c.developpez.com/faq/cpp/?pag...VERS_templates
10/10/2005, 15h09
Math75

J ai lu attentivement un papier sur le site http://www.developpez.net/forums/vie...6310ad5fafa18b
concernant la meta programmation
j ai du mal a saisir un point. .. c est la description de l arborescence p12

BinaryOp<
BinaryOp<
Vector::const_iterator, ...

je vois bien que ca représente l operation qu il veut realiser mais je ne comprends pas comment il va l utiliser

Je souhaiterai que la construction de Tensor<U,n-1> se fasse sans encombre et de manière minimale. Sinon il ne parvient pas a complier
En ecrivant

Code:

1
2
3
template <class U,int n> class Tensor ; 
 
template <class U> Tensor<U,0>{ Dim=0;};

je pensais resoudre le problème mais j ai eu syntax error: '<end Parse>'

Qui a une idée?

voici le code complet

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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
# ifndef _TENSOR
# define _TENSOR
 
 
 
#include <math.h>
#include <vector>
#include <iostream>
 
using namespace std;
 
template <class U,int n> class Tensor ; 
 
template <class U> Tensor<U,0>{ Dim=0;};
 
 
template< class U, int n>
class Tensor{
 
typedef std::vector<int>			VI;
typedef std::vector<U>				VU;
 
public:
	Tensor(const VI		& vNbElem_);
	Tensor(const int	& NbElem_);
	Tensor(const VI		& vNbElem_,	const VU  vTensor_); 
	Tensor(const int	& NbElem_,	const VU  vTensor_);
	Tensor(const vector<Tensor<U,n-1> >	& vTensor_){};
 
	Tensor(){};
	~Tensor(){};
 
	void Init	(const int * pNbElem_);
 
public:
	int						Dim;
	int						NbElemSize;
	VI						vNbElem;	
	VU						vTensor;
	VI::iterator			ItNbElem;
	VU::iterator			ItTensor;
 
};
 
 
 
#include "Tensor.cpp"
# endif

voici un code que je trouve plus juste mais qui me donne une erreur C2935: template-class-id redefined as a global function

Je cherche juste a arreter les appels recursifs au constructeur vide à la declaration de la méthode:

Code:

Tensor(const vector<Tensor<U,n-1> > & vTensor_){};

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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
 
# ifndef _TENSOR
# define _TENSOR
 
 
 
#include <math.h>
#include <vector>
#include <iostream>
 
using namespace std;
 
 
 
 
template< class U, int n>
class Tensor{
 
typedef std::vector<int>			VI;
typedef std::vector<U>				VU;
 
public:
	Tensor(const VI		& vNbElem_);
	Tensor(const int	& NbElem_);
	Tensor(const VI		& vNbElem_,	const VU  vTensor_); 
	Tensor(const int	& NbElem_,	const VU  vTensor_);
	Tensor(const vector<Tensor<U,n-1> >	& vTensor_){};
 
	Tensor(){};
	~Tensor(){};
 
	void Init	(const int * pNbElem_);
 
public:
	int						Dim;
	int						NbElemSize;
	VI						vNbElem;	
	VU						vTensor;
	VI::iterator			ItNbElem;
	VU::iterator			ItTensor;
 
};
 
template <class U> inline Tensor<U,0>(){};
 
#include "Tensor.cpp"
# endif

11/10/2005, 16h50
Laurent Gomila

Ta spécialisation de Tensor pour N = 0 ressemble à une fonction qui n'aurait pas de valeur de retour, alors que Tensor est une classe. Pour spécialiser une classe, il faut la réécrire complètement. Ceci-dit je ne suis pas sûr que ce soit la meilleure solution à ton problème. D'ailleurs je n'arrive pas à voir pourquoi ton constructeur pose un problème de récursion ?
11/10/2005, 17h34
Math75

la methode

Code:

Tensor(const vector<Tensor<U,n-1> > & vTensor_);

me pose un sérieux probleme il génére ce message d erreur:

Citation:

c:\math\toto\tensor.cpp(57) : error C2995: 'Tensor<U,n>::Tensor<U,n>' : template function has already been defined
c:\math\toto\tensor.h(45) : see declaration of 'Tensor<U,n>::Tensor<U,n>'

je ne sais pas comment l interpreter
11/10/2005, 17h38
Math75

je précise que cette méthode est un constructeur
donc quand il est appelé, il appelle le constructeur de rang n-1 qui appelle celui de n-2 etc..
C est pour ca qu il faut fixer un debut pour la chaine
11/10/2005, 17h51
Math75

je ne vois pas comment ecrire uen classe pour n=0 sans qu il me dise que cette casse existe deja.
Je suis dans la ....!

exemple factoriel

un exemple de recursion de class pour le calcul du factoriel
que me proposez vous comme classe de rang n=0?
Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 template<int n> class Factoriel{ public: Factoriel(){}; ~Factoriel(){}; int Fact(){ Factoriel<n-1> a; return Dim*a.Fact(); }; }; int main(int argc, char* argv[]) { Factoriel<3> u; cout<< u.Fact()<<"\n"; return 0; };

Re: exemple factoriel

Citation:

Envoyé par Math75

un exemple de recursion de class pour le calcul du factoriel
que me proposez vous comme classe de rang n=0?

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
template<int n>
class Factoriel{
 
public:	
	Factoriel(){};
	~Factoriel(){};
	int Fact(){ Factoriel<n-1> a; return Dim*a.Fact();	};
};
 
 
int main(int argc, char* argv[])
{
 
Factoriel<3> u;
cout<< u.Fact()<<"\n";
	return 0;
};

je dirais mais je ne suis pas expert en template:

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
template<int n>
class Factoriel{
 
public:	
	Factoriel(){};
	~Factoriel(){};
	int Fact(){ Factoriel<n-1> a; return n*a.Fact();	};
};
 
class Factoriel<0>{
 
public:	
	Factoriel(){};
	~Factoriel(){};
	int Fact(){ return 1;	};
};
 
 
int main(int argc, char* argv[])
{
 
Factoriel<3> u;
cout<< u.Fact()<<"\n";
	return 0;
};

attention je n'ai pas testé ce code

Citation:

c:\math\toto\tensor.cpp(57) : error C2995: 'Tensor<U,n>::Tensor<U,n>' : template function has already been defined
c:\math\toto\tensor.h(45) : see declaration of 'Tensor<U,n>::Tensor<U,n>'

Il y a quoi aux lignes 57 et 45 ?

Citation:

je précise que cette méthode est un constructeur
donc quand il est appelé, il appelle le constructeur de rang n-1 qui appelle celui de n-2 etc..
C est pour ca qu il faut fixer un debut pour la chaine

Je ne pense pas. Il va au pire appeler le constructeur par copie pour construire un Tensor<U, n - 1>, et non ce même constructeur. Donc pas de récursion.

Citation:

un exemple de recursion de class pour le calcul du factoriel
que me proposez vous comme classe de rang n=0?
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 template<int n> class Factoriel{ public: Factoriel(){} ~Factoriel(){} int Fact(){ Factoriel<n-1> a; return Dim*a.Fact(); } }; template<> class Factoriel<0>{ public: Factoriel(){} ~Factoriel(){} int Fact(){ return 1; } }; int main(int argc, char* argv[]) { Factoriel<3> u; cout<< u.Fact()<<"\n"; return 0; };
(au fait, les ';' après accolade fermante de fonction sont inutiles)

ce code marche

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
template< int n> 
class Factoriel{ 
 
public:    
   Factoriel(){}; 
   ~Factoriel(){}; 
   double Fact(){ Factoriel<n-1> a; return n*a.Fact();   }; 
}; 
 
class Factoriel<0>
{
public:	int Fact() { return 1; }
} ; 
 
int main(int argc, char* argv[]) 
{ 
 
Factoriel<10> u; 
cout<< u.Fact()<<"\n"; 
   return 0; 
};

mais celui ci ne marche pas car la class 0 est encore une template avez vous une idée?

using namespace std;

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
26
27
28
29
30
31
32
33
34
template< class U, int n> class Tensor;
 
template<class U>
class Tensor<U,0>{
public:
	Tensor(){};
	~Tensor(){};
};
 
 
 
template< class U, int n>
class Tensor{
 
public:
	Tensor(){};
	~Tensor(){};
public:
	Tensor(const vector<Tensor<U,n-1> >      & vTensor_)[};
};
 
 
 
 
 
 
int main(int argc, char* argv[])
{
Tensor<double,5>			toto;
vector<Tensor<double,4> >	tata;
Tensor<double,5>			titi(tata);
 
	return 0;
};

12/10/2005, 13h06
Laurent Gomila

Citation:

mais celui ci ne marche pas car la class 0 est encore une template avez vous une idée?

Chez moi ça fonctionne parfaitement. Précise exactement les erreurs que tu obtiens, ça ira plus vite.

Et comme je te l'ai déjà expliqué, il n'y a même pas besoin de créer la spécialisation pour 0 car le problème que tu décris au niveau du constructeur n'existe pas. En tout cas ça marche également, après test. Après peut-être qu'un problème peut venir d'un bout de code que tu ne nous aurais pas montré.

le code suivant marche a merveuille:

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
26
27
28
29
 
template<int n> 
class Factoriel{ 
 
public:    
   Factoriel(){} 
   ~Factoriel(){} 
   int Fact(){ Factoriel<n-1> a; return n*a.Fact();   } 
}; 
 
 
class Factoriel<0>{ 
 
public:    
   Factoriel(){} 
   ~Factoriel(){} 
   int Fact(){ return 1; } 
}; 
 
int main(int argc, char* argv[]) 
{ 
 
 
Factoriel<3> u; 
cout<< u.Fact()<<"\n"; 
   return 0; 
} 
 
#endif

Celui-ci en revannche me donne ce message d erreur:

Citation:

error C2989: 'Tensor<U,0>' : template class has already been defined as a non-template class
c:\math\toto\toto.cpp(34) : error C2988: unrecognizable template declaration/definition

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
26
27
28
29
30
31
32
 
template< class U, int n> 
class Tensor{ 
 
public: 
   Tensor(){}; 
   ~Tensor(){}; 
public: 
   Tensor(const vector<Tensor<U,n-1> >      & vTensor_){}; 
}; 
 
template< class U > 
class Tensor<U,0 > 
{ 
public: 
   Tensor(){}; 
   ~Tensor(){}; 
}; 
 
 
 
 
int main(int argc, char* argv[]) 
{ 
 
Tensor<double,5>         toto; 
vector<Tensor<double,4> >   tata; 
Tensor<double,5>         titi(tata); 
 
   return 0; 
} ; 
#endif

Vous conviendez que c est déroutant!

12/10/2005, 13h28
Laurent Gomila

Citation:

error C2989: 'Tensor<U,0>' : template class has already been defined as a non-template class
c:\math\toto\toto.cpp(34) : error C2988: unrecognizable template declaration/definition

Est-ce que tu nous montre là tout le code ?

Et est-ce que tu as essayé sans cette spécialisation qui je te le rappelle ne sert apparemment à rien ? ... Si cela ne fonctionne pas, peux-tu préciser les erreurs ?

en effet ca marche si j'écris le constructeur explicitement dans la classe. Neanmoins voici des lignes de code qui donne a reflechir et qui ne compile bien sure:

Citation:

C:\PROG\PROG.cpp(24) : error C2989: 'Fact<0,m>' : template class has already been defined as a non-template class
C:\PROG\PROG.cpp(24) : error C2988: unrecognizable template declaration/definition
C:\PROG\PROG.cpp(33) : error C2989: 'Fact<n,0>' : template class has already been defined as a non-template class
C:\PROG\PROG.cpp(33) : error C2988: unrecognizable template declaration/definition
Error executing cl.exe.

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 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 #include "stdafx.h" #include <iostream> template <int n, int m> class Fact{ public: Fact(){cout<<"Appel"<<n<<" : "<<m<<endl;}; ~Fact(){}; int F(){ Fact<n-1,m-1> a; return n*m*a.F(); }; }; template<int m> class Fact<0,m>{ public: Fact(){cout<<"Appel"<<0<<" : "<<m<<endl;}; ~Fact(){}; int F(){ Fact<0,m-1> a; return m*a.F(); }; }; template<int n> class Fact<n,0>{ public: Fact(){cout<<"Appel"<<n<<" : "<<0<<endl;}; ~Fact(){}; int F(){ Fact<n-1,0> a; return n*a.F(); }; }; class Fact<0,0>{ public: Fact(){cout<<"Appel"<<0<<" : "<<0<<endl;}; ~Fact(){}; int F(){ return 1; } }; int main(int argc, char* argv[]) { Fact<5,2> A; cout<<"Le resultat est : " <<A.F()<<"\n"; return 0; };

13/10/2005, 10h11
Laurent Gomila
Hormis le fait que tu aies oublié ça
Code:

1 2 template <> class Fact<0,0>
Ton code compile parfaitement. Quel est ton compilo ? Si c'est Visual C++ 6 ou 7.0 lache l'affaire tout de suite, tu n'arriveras pas à compiler ce genre de templates.
13/10/2005, 10h27
Math75

c est Visual 6 c++ malheureusement!... Donc c est raté! :cry:
13/10/2005, 10h29
Laurent Gomila

Pas de bol :lol:

Par contre, sans spécialisation (dont tu n'as a priori pas besoin -- ça fait 4 ou 5 fois que je le dis ?) ça devrait pouvoir fonctionner.
13/10/2005, 12h52
Math75

oui si on a pas besoin de spécifier ca marche
sinon tu peux, pour reprendre l exemple précédent, definir un type int,int, non?
13/10/2005, 12h57
Math75
oui parce que la cas factoriel simple marchait ce qui le gene c est l ecriture
Code:

1 2 template< int n , 0> class Fact<n,0>()
les cas
Code:

1 2 template< > class Fact<0,0>()
ou
Code:

1 2 template<int n, int m > class Fact()
ne posent pas de problemes