Discussion :

[Dalo]

Bonjour � tous,

Je suis face � un petit probl�me de conception : je cherche � savoir s'il est possible d'�numer des types. Afin d'etre plus clair je vous donne mon code et je vous expose mon probl�me ensuite.

Compilateur: GCC
Environment: Code::Blocks v1

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
27
28
29
30

NB: le code de la classe Interf_Register ne pose pas de probl�me ici: c'est juste une interface classique (je les notes par Interf_X ou X est le nom de la classe a interfacer).


template <class INTERF_TYPE , class CONTENEUR_TYPE = std::vector<INTERF_TYPE *> >
class Register : public Interf_Register, public CONTENEUR_TYPE
{
public:
    virtual std::string GetInfo_Summary(void);

public:
    void Add (INTERF_TYPE* ToReg) {push_back(ToReg);}
    int GetSize(void) {return (int) size();}
};

template <class INTERF_TYPE, class CONTENEUR_TYPE>
std::string Register<INTERF_TYPE,CONTENEUR_TYPE>::GetInfo_Summary(void)
{
    std::ostringstream oss;
    oss << "Registre: " << GetName() << " ; Contenu: " << GetSize() << " elements.\n";
    return oss.str();
}


QQ exemples d'application de ma classe pr�c�dente:

typedef Register<Interf_Toto> Register_Toto;

typedef Register<Interf_Amination, std::deque<Interf_Amination*> > Register_Animation;

Le probl�me r�side dans l'appel de la m�thode size() contenu dans la methode GetSize() : size() est une m�thode g�n�rique sur les conteneurs de la stl et le compilateur (gcc) refuse ce code car il d�pend d'un template . Je pourrais lever ce probl�me en mettant le compilateur en mode permissif, mais j'aimerai �viter cela et garder en template le type de conteneur pour pouvoir facilement le changer plus tard (ad hoc).

En fait, je voudrais restrindre le choix de l'argument template "class CONTENEUR_TYPE" � une liste de conteneurs donn�s afin de rendre plus propre ce code et ca je ne sais pas faire... J'aurai besoin de vos suggestions et de votre exp�rience... SVP!!!

Peut-on faire une liste de classes � la mani�re d'une enum (j'y connais presque rien en enum)?



j'aurais aim� avoir un truc du style:

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

1
2
3
4
5
6
7
8
9
10
11
 
template<class interface>
enum MesConteneurQuiMArchent
{
std::vector<interface>,
std::deque<interface>,...
};  
 
et pour les template de la class Register:
 
template <class INTERF_TYPE , class MesConteneurQuiMArchent<INTERF_TYPE *> CONTENEUR_TYPE = std::vector<INTERF_TYPE *> >

... mais c'est sans doute completement foireux... Auriez vous d'autre id�es pour faire restreidre cet argument template?


En esp�rant avoir �t� assez clair, et merci d'avance pour votre aide




Dalo

[vdumont]

� moins que je fasse erreur, il me semble que enum sert � faire une collection d'entiers constants donc je ne crois pas que tu peux appliquer cel� aux conteneurs de la STL.

Deuxi�ment, � moins que je fasse erreur, il fait plus ou moins de sens qu'il y ait un appel � la m�thode size() sans rien autour de l'os. (Est-ce que tu sous-entends this->?) Normalement on verrait quelque chose du type monConteneur.size() ou alors sizeof(type). Mais size() simplement?

[roulious]

je cherche � savoir s'il est possible d'�numer des types.

C'est possible, regarde les typelists d'Alexandrescu.

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

1
2
3
4
5
6
 
 
template <class INTERF_TYPE , class CONTENEUR_TYPE = std::vector<INTERF_TYPE *> >
class Register : public Interf_Register, public CONTENEUR_TYPE
{
};

Ce n'est en general pas une bonne idee de deriver des conteneurs de la SL : ils n'ont pas ete prevus pour ca (notamment, ils n'ont pas de destructeur virtuel).

Le probl�me r�side dans l'appel de la m�thode size() contenu dans la methode GetSize() : size() est une m�thode g�n�rique sur les conteneurs de la stl et le compilateur (gcc) refuse ce code car il d�pend d'un template.

this->size() devrait resoudre ce probleme. Sinon, tu peux aussi ecrire CONTENEUR_TYPE::size().

En fait, je voudrais restrindre le choix de l'argument template "class CONTENEUR_TYPE" � une liste de conteneurs donn�s

Ce n'est pas possible avec un enum : un enum cree des litteraux ayant des valeurs entieres, pas des alias sur des types. En utilisant boost, tu peux arriver a une solution en utilisant boost::is_same et BOOST_STATIC_ASSERT.

[vdumont]

Tu te d�brouilles pas mal en fran�ais pour un am�ricain roulious

[Dalo]

Merci beaucoup pour vos r�ponses.

Je ne savais pas que deriver des conteneurs de la SL �tait un mauvais choix; merci pour cette pr�cision roulious.

Pour mon code je pense que je vais quand meme garder cette d�rivation des conteneurs car mes classes filles sont juste des conteneurs avec quelques petites methodes de traitement (vraiment rien de m�chant).

Encore merci pour tes explications roulious.

Dalo

[koala01]

Par contre, l'une des solutions qui *pourrait* convenir, serait de cr�er une �num�ration sous la forme de

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

1
2
 
enum TYPENAME{TYPE1,TYPE2,TYPE3(...)};

de rajouter un membre sous la forme de

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

TYPENAME LeTypeReel;

qui prendrait comme valeur, fatalement, TYPE1,TYPE2 ou TYPE3 selon le type r�el, et, dans ta m�thode size(), utiliser un switch sur cette valeur sous la forme de

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

1
2
3
4
5
6
7
8
9
10
11
 
switch (LeTypeReel)
{
    case TYPE1:
        return sizeof(Type1);
        break;
    case TYPE2:
        return sizeof(Type3);
        break;
(...)
}

Evidemment, encore faut il que ce code s'adapte � ta situation propre...

Une autre solution, qui ne passe pas par une �num�ration proprement dite, serait d'attaquer la recherche du contenu sous la forme de typeid et de son penchant type_info() (n�cessite un #include<typeinfo>)

Sauf erreur de ma part, meme dans une classe mod�le, tu devrais etre en mesure de r�cup�rer le type d'origine d'un objet quelconque...

Tu pourrais donc envisager un code du genre de

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
 
const type_info &info=typeid(membre);
//récupération du nom
std::string nomtype.assing(info.what());
//certains compilateur mettent des numéros avant les noms de types, 
// supprimons les ;)
nomtype=substr(nomtype.find_first_not_of("0123456789"),nomtype.size());
// y a plus qua tester nomtype
 
if(nomtype=="Type1")
{
 
}
else if(nomtype=="Type2")
{
 
}
(...)

Penses � prendre "l'�l�ment point� par" quand tu utilises typeid() sur un pointeur

NOTA: il y a peut etre des solutions plus jolies... � toi d'y regarder de plus pr�s;-)

[Luc Hermitte]

Roulious a donn� la solution la plus efficace => les typelists d'Andrei Alexandrescu (-> Modern C++ Design, Addisson-Wesley ; loki, sur sourceforge)