probleme: class A:public B< A::ref >

Version imprimable

Bonjour,
Mon problème est le suivant: J'ai une class A héritant d'une class B dont le paramètre template est un type qui sera définit dans la class A
Voici le code:
Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 #include <iostream> using namespace std; template<class T> class B { public: T a; }; class A:public B< A::ref > { public: typedef int ref; }; int main() { A a; }
Le message d'erreur est:
Code:

1 2 incomplete type «A» used in nested name specifier
Y a-t-il une solution?

20/04/2007, 10h54
Alp

Sur le principe, ce que tu veux faire est tordu.

Imaginons que tu construise une voiture. Et là tu montes les roues avant le chassis.

Tu dis que A va être implémentée non pas en fonction d'elle même(ça encore c'est normal) mais de quelque chose qu'elle va contenir... Je ne sais pas si il y a une solution élégante(ou une solution tout court) ...

Mais ton A::ref, faut le faire passer ailleurs que dans A, sinon on y a pas accès, dans tous les cas.

essaie de faire ça plutot:

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
 
#include <iostream>
using namespace std;
 
template<class T>
class B
{
public:
  typename T::ref a;
};
 
class A:public B< A >
{
public:
  typedef int ref;
 
};
int main()
{
 A a;
}

Ca plante pareil:
Code:

1 2 3 4 5 _rm.cpp: In instantiation of «B<A>»: _rm.cpp:17: instantiated from here _rm.cpp:14: erreur: invalid use of undefined type «class A» _rm.cpp:17: erreur: forward declaration of «class A»
Avec la ligne 14 = typename T::ref a;
et la ligne 17 = class A:public B< A >

20/04/2007, 11h21
vincho

Citation:

Sur le principe, ce que tu veux faire est tordu.

Imaginons que tu construise une voiture. Et là tu montes les roues avant le chassis.

Tu dis que A va être implémentée non pas en fonction d'elle même(ça encore c'est normal) mais de quelque chose qu'elle va contenir... Je ne sais pas si il y a une solution élégante(ou une solution tout court) ...

Mais ton A::ref, faut le faire passer ailleurs que dans A, sinon on y a pas accès, dans tous les cas.

Je suis d'accord avec ton argument.
20/04/2007, 11h24
poukill

Citation:

Envoyé par Alp

Sur le principe, ce que tu veux faire est tordu.

Imaginons que tu construise une voiture. Et là tu montes les roues avant le chassis.

Tu dis que A va être implémentée non pas en fonction d'elle même(ça encore c'est normal) mais de quelque chose qu'elle va contenir... Je ne sais pas si il y a une solution élégante(ou une solution tout court) ...

Mais ton A::ref, faut le faire passer ailleurs que dans A, sinon on y a pas accès, dans tous les cas.

C'est clair. Pour moi c'est pas possible. La compilation ne peut pas se faire.
Il doit y avoir un autre moyen de modéliser celà -> autre conception !
20/04/2007, 11h50
Alp

Oui poukill.

vincho > dans ton code, à quel moment as-tu besoin de modéliser une telle chose? Mets-nous en situation, on sera plus efficace surement.

Et en utilisant les traits, c'est correct comme solution ?

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
class A;
 
template <class T>
class Traits;
 
template<>
class Traits<A>
{
   typedef int ref;
};
 
template <class T>
class B
{
   Traits<A>::ref MaVariable;
};
 
class A : public B<A>
{
 
};
 
int main()
{
   A a;
}

Mathieu