Discussion :

[bountykiller]

Bon, voilà.

J'ai une classe de base arbre_abstrait qui contient une méthode racine dont le type est noeud_abstrait.

Code :

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

1
2
3
4
5
6
7
8
 
class arbre_abstrait
{
    public:
    //...
    noeud_abstrait& racine();
    //...
}

Je voudrai pouvoir changer le type de retour de cette méthode comme suit:

Code :

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

1
2
3
4
5
6
7
8
 
class arbre_concret
{
    public:
    //...
    noeud_concret& racine();
    //...
}

J'avais pensé utiliser des classes templates pour l'arbre_abstrait, l'arbre concret devenant alors juste un arbre_abstrait<noeud_concret> , mais comme chaque noeud possède une réference vers l'arbre qui le contient, j'arrive à une situation ou je défini un noeud en fonction de son arbre, lequel est défini en fonction de son noeud,lequel est défini en fonction de son arbre, lequel est défini en fonction de son noeud,...

Qqn a une idée?

[Aurelien.Regat-Barrel]

J'ai pas bien compris, mais peut être que les retours covariants sont ce que tu recherches:

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
 
class Base
{
public:
    virtual ~Base() {}
 
    virtual Base* Racine() = 0;
};
 
class Impl : public Base
{
    virtual Impl* Racine(); // OK, car Impl dérive de Base
};

[bountykiller]

Dans mon cas, c'est plutot qqch du genre:

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
class Noeud_Base;
class Base
{
public:
    virtual ~Base() {}
 
    virtual Noeud_Base* Racine() = 0;
};
 
class Noeud_Impl : Noeud_Base;
class Impl : public Base
{
    virtual Noeud_Impl * Racine(); // OK, car Impl dérive de Base
};

J'ai essayé mais ça a pas l'air de marcher...
Au fait, je peux trouver ou de la doc sur les retours covariants?

Sinon j'ai trouvé une solution:
J'utilise des templates, mais simplement je fait une déclaration d'une classe en faisant un truc du style:

Code :

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

1
2
3
4
5
 
class Noeud_Impl;
typedef Base<Noeud_Impl> Impl;
 
class Noeud_Impl : Noeud_Base<Impl>;

(En réalité, c'est encore un peu plus complexe, mais le principe est là)

Voilà, et merci pour tout [/code]

[bigquick]

Salut,

Je ne sais pas si ca s'applique exactement ici, mais j'ai été confronté à un problème un peu similaire je crois, il y a un bout de temps... Et j'avais fini par utiliser un sorte de "templates recursifs" (http://en.wikipedia.org/wiki/Barton-Nackman)

Ce qui me donnait quelquechose du genre arbre_abstrait<arbre_concret,type_quelconque>

C'est un souvenir un peu lointain, mais ça m'avait permis à l'époque de coder un arbre générique, instanciable avec n'importe quel type. Un noeud possédait alors un pointeur vers ses fils (du type de l'arbre concret -> parametre template 1), et un pointeur vers le type parametré (parametre template 2)...

Voilà, j'espère que ca pourra ptet t'aider