Discussion :

[belfo]

Bonsoir,

je suis face a un probleme etrange ^^'

En effet j'ai mon code d'un arbre binaire implemente dans un vecteur qui compile correctement.

Maintenant il est temp d'ajouter des template ^^"

Code :

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

1
2
3
4
template<typename TYPE>
Arbre2V<TYPE>::NoeudV* Arbre2V<TYPE>::NoeudV::filsGauche(){
 //mon code
}

Bien G++ n'aime pas * il demande un constructeur, destructeur ou operatuer de conversion avant...

Donc je me demandait comment faire pour passair d'un type de retour Arbre2V::NoeudV* a un type avec template.

N.B. Arbre2V est en effet une classe template, NoeudV est declare a l'interieur:

Code :

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

1
2
3
4
5
6
7
8
9
10
template<typename TYPE>
class Arbre2V : public Arbre2<TYPE>{
	public:
		class NoeudV : public Arbre2<TYPE>::Noeud{ /*j'ai du ajouter Arbre2<TYPE>:: sinon il acceptait plus Noeud*/
			public:
                            friend class Arbre2V<TYPE>;
                            /*Suite de la classe*/
                };
                /*Suite de la classe*/
};

Ils héritent d'une structure abstraite similaire (Arbre2 en template et Noeud imbrique).

En ajoutant les template, il met une aussi erreur a la méthode prive d'Arbre2V

Code :

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

void copier(int, Noeud*);

Et G++ dit que Noeud* n'est pas un type, et le transforme en int pour poursuivre ça compilation (ce qui genere naturellement des erreur âpres)

Avant l'introduction des template, tout cela marchait bien :'(

Comment faire?

Merci d'avance

N.B.2 Je suis oblige d'utiliser a ce type de structure, classe imbrique, par l'énonce.

[Alp]

Code :

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

Arbre2V<TYPE>::NoeudV*

Chaque fois que tu as une expression template de la forme

Code :

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

A<T>::B

, le compilateur n'est pas en mesure de déterminer si B est un type ou alors une variable statique, par exemple, car T est justement un type "non fixé" au moment ou tu écris ton code. Il sera fixé que lorsque tu instancieras ta classe. Et il ne sera fixé que pour cette instance. Toujours est-il que le compilo ne peut savoir.
Donc à chaque fois que A<T>::B désignera un type, tu devras préfixer de typename.
Ca donne :

Code :

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

typename A<T>::B

.

Edit : je viens de voir que tu n'avais apparemment pas cette erreur, ce qui n'est pas normal d'ailleurs.

[bolhrak]

Possible de voir le code de ta méthode filsGauche ?

Sinon pour ta méthode copier :

Code :

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

1
2
 
void copier(int, typename Arbre2<TYPE>::Noeud*);

[loufoque]

C'est quoi cette fonction copier avec un prototype bizarre ?

[belfo]

Code :

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

Arbre2V<TYPE>::NoeudV*

Chaque fois que tu as une expression template de la forme

Code :

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

A<T>::B

, le compilateur n'est pas en mesure de déterminer si B est un type ou alors une variable statique, par exemple, car T est justement un type "non fixé" au moment ou tu écris ton code. Il sera fixé que lorsque tu instancieras ta classe. Et il ne sera fixé que pour cette instance. Toujours est-il que le compilo ne peut savoir.
Donc à chaque fois que A<T>::B désignera un type, tu devras préfixer de typename.
Ca donne :

Code :

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

typename A<T>::B

.

Edit : je viens de voir que tu n'avais apparemment pas cette erreur, ce qui n'est pas normal d'ailleurs.

oO j'avais oublie ca. Ca se voit que ce la première fois que je fait du C++ ^^"
En effet ca compile merci

bolhrak =>

Code :

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

1
2
3
4
5
template<typename TYPE>
typename Arbre2V<TYPE>::NoeudV* Arbre2V<TYPE>::NoeudV::filsGauche(){
	typename Arbre2V<TYPE>::NoeudV* ptr = new NoeudV(2*index+2,infos);
	return ptr;
}

En effet la méthode copier passe aussi

loufoque => En effet la méthode copier utilise les proprietes de l'héritage/polymorphisme pour copier n'importe quel type d'arbre, vers un Arbre2V
Il me faut alors que en paramètre je puisse lui passer un pointeur vers la classe mere.

Sans template, il prenait un Noeud*, la il veut un typename Arbre2<TYPE>::Noeud*

Mais a priori ca reste de meme.

Sinon une autre question, quand j'hérite NouedV de Noeud, pourquoi je suis oblige de metre Arbre2<TYPE>::Noeud, et pas simplement Noeud comme quand il n'y avait pas de template?

Merci encore pour m'avoir aider

[bolhrak]

Bon suis pas trop expert des classes internes, mais je penses qe tu devrais essayer :

Code :

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

1
2
3
4
5
6
 
template <typename TYPE>
typename Arbre2V<TYPE>::NoeudV* Arbre2V<TYPE>::NoeudV::filsGauche(){
	NoeudV* ptr = new NoeudV(2*index+2,infos);
	return ptr;
}

Mon explication (peut-être fausse dans ce cas merci de la corriger) étant que ton type de retour est un type vu de l'extérieur, ta classe NoeudV étant une classe interne il est nécessaire, pour l'extérieur, de la dénommer par son type complet, autrement dit ClasseContenante::ClasseInterne. Par contre une fois dans la définition de la méthode, tu es "dans " la classe interne, bref ce n'est plus une vision externe, donc pas besoin (et illégal) de spécifier le type la contenant.

Pour le fait de déclarer Arbre2<Type>::Noeud au lieu de Noeud dans ta relation d'héritage, cela vient du mécanisme de compilation des templates.

Dans le premier cas, sans template :

Code :

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

1
2
3
 
class A : public class B {
//...

La classe B est examinée avant la fin de la déclaration de la classe A, donc toutes les méthodes, types et autres de la classe B sont disponibles pour A. Dans ton cas, la classe Noeud de Arbre2 est donc disponible dans la classe Arbre2V dès le "début" de la déclaration de ta classe.

Dans le cas des templates, la classe mère est examinée après la fin de la déclaration de la classe fille (ce qui rend possible le CRTP entre autres), sauf si tu forces explicitement cet examen. Donc ta classe Noeud interne à Arbre2 ne sera disponible quà la fin de la déclaration de ta classe Arbre2V. Hors tu souhaites utiliser cette classe dans la déclaration de Arbre2V. Il faut donc que tu spécifies le type exact pour forcer le compilo à examiner la classe mère.

C'est un poil plus compliqué que ça vu que l'examen des classes pour les templates se fait en deux temps contre un seul pour les classes classiques, mais je pense (enfin j'espère :p) que ça résume l'idée.

[belfo]

Code :

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

1
2
3
4
5
6
 
template <typename TYPE>
typename Arbre2V<TYPE>::NoeudV* Arbre2V<TYPE>::NoeudV::filsGauche(){
	NoeudV* ptr = new NoeudV(2*index+2,infos);
	return ptr;
}

En effet ca compile bien aussi ^^"

Par contre je n'ai pas trop compris le reste je doit meme dire que je me suis un peut perdu