Discussion :

[vincho]

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 :

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
 
#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 :

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

1
2
 
incomplete type «A» used in nested name specifier

Y a-t-il une solution?

[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.

[PierroElMito]

essaie de faire ça plutot:

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
 
#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;
}

[vincho]

Ca plante pareil:

Code :

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

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 >

[vincho]

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.

[poukill]

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 !

[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.

[mat087]

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

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
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