enum dont les champs sont des noms de type

Bonjour,

Aujourd'hui, en C++, j'aimerais faire quelque chose d'un peu foufou.

J'ai une template struct Test :

Code:

---

1 2 3 4 5

template <typename...Ts> struct Test {   };

---

Je voudrais que pour chaque instance de Test, un enum soit créé à l'intérieur de la structure, avec comme champs le nom des types rentrés en template. Hum hum. Un exemple sera plus parlant.

Du coup, une instance comme ceci...

Code:

---

Test<chat,chien,cheval> test;

---

...créerait un enum comme ceci :

Code:

---

1 2 3 4 5 6

enum { chat, chien, cheval }

---

L'objectif, c'est ensuite de faire une fonction template dans ma structure, qui me renverrait à quelle position se trouve le type :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18

template <typename...Ts> struct Test { enum { chat, chien, cheval }   template <typename T> unsigned test() { // on récupère le nom de T, et avec ça on pioche dans l'enum } };   std::cout<<test.test<chien>(); // affiche 1, parce que chat(0) chien(1) cheval(2)

---

J'arrive déjà à faire ça avec une unordered_map<std::type_index,unsigned> mais ça ne me convient pas trop, c'est très lent.

Code:

---

1 2 3

template<Enum E> static unsigned test() { return E; }

---

:lol:

J'ai quand même l'impression que l'exemple ne correspond pas à l'énoncé.

Si le but est de créer une enum + une fonction de correspondance type -> valeur ou nom -> valeur, la méta-prog ne te sera pas utile: c'est impossible.
Par contre, il est possible de faire des macros qui créeront l'ensemble. Boost.preprocessor devrait beaucoup aider. Si c'est juste une énumération continue (sans spécifier de valeurs) alors cela devrait se faire en moins d'une centaine de ligne.

Il y a quelques années, j'avais fait un truc du genre. À l'époque, je n'avais pas d'idée pour gérer convenablement les valeurs aléatoires, à la place, il y a des options pour les configurer: valeur de départ, incrémentation par saut, décalage binaire. L'ensemble est trop compliqué et même pas pédantic à cause d'une variadic vide -_-. Un jour, je referais.
Si cela t'inspire. Le fichier de tests (j'ai dû commenter pour trouver une erreur de compilation et oublié de décommenter).

Citation:

---

J'ai quand même l'impression que l'exemple ne correspond pas à l'énoncé.

---

Non :D

Merci pour ta réponse, je vais regarder du côté de boost preprocessor, alors.

J'en profite pour reformuler mon objectif : en fait, je peux encore simplifier.

J'ai une array de strings :

std::string array[3] = {"chat","chien","cheval"};

J'aimerais créer un enum à partir de array, pour pouvoir ensuite utiliser chat pour 0, chien pour 1, cheval pour 2.

Salut,

avec une macro tu devrais pouvoir t'en sortir, mais pas avec des strings pour le créer.

Code:

---

#define MYENUM(Name, ...) struct Name { enum { __VA_ARGS__ }; static std::string GetConcat() { return #__VA_ARGS__; } }

---

Ensuite pour tester si ta string a une valeur dans l'enum, qqch comme ça devrait marcher

Code:

---

1 2 3 4 5 6 7 8 9

template< class EnumName > bool Exists(const std::string& value) { std::string enumList = EnumName::GetConcat(); std::vector<std::string> values = Split(enumList, ','); for (int i = 0; i < values.size() ++i) if (values[i] == value) return true; return false; }

---

Ca ferait une utilisation proche de

Code:

---

1 2 3

MYENUM(Animals, chat, chien, cheval); assert(Exists(Animals, "chat")); assert(!Exists(Animals, "perruche"));

---

Bon j'ai pas mal trituré ton code dans tous les sens, tu me fais découvrir un aspect des macros que je ne connaissais pas, c'est génial :mrgreen:

Par contre, il me vient une question. Est-il possible de passer les arguments d'un variadic template dans les arguments d'un variadic macro ? Quelque chose du style :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12

#define bar(...) std::cout<<#__VA_ARGS__;   template <typename...Ts> void foo() { bar(Ts); }   int main() { foo<int,char,bool>(); }

---

J'aimerais que foo() m'affiche "int,char,bool", pour l'instant elle m'affiche "Ts" :(

Citation:

---

Envoyé par MrPchoun

Est-il possible de passer les arguments d'un variadic template dans les arguments d'un variadic macro ?

---

les macros sont traités bien avant les templates

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12

#define bar(...) std::cout<<#__VA_ARGS__;   template <typename...Ts> void foo() { bar(Ts); }   int main() { foo<int,char,bool>(); }

---

Après expansion des macros, devient

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12

#define bar(...) std::cout<<#__VA_ARGS__;   template <typename...Ts> void foo() { std::cout<<"Ts"; }   int main() { foo<int,char,bool>(); }

---

Les macros et templates sont durs à mélanger

Code:

---

1 2 3 4

#define bar(...) std::cout<<#__VA_ARGS__; int main() { bar(int,char,bool); }

---

Citation:

---

Les macros et templates sont durs à mélanger.

---

Il est pourtant possible de faire l'inverse de ce que je cherche à faire, de passer les arguments d'un macro dans un template :

Code:

---

1 2 3 4 5 6 7 8 9

template <typename...Ts> void bar() {}   #define foo(...) bar<__VA_ARGS__>();   int main() { foo(int,char,bool); }

---

Mais ça m'avance pas beaucoup tout ça :mrgreen:

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

#include <boost/preprocessor/variadic/to_list.hpp> #include <boost/preprocessor/stringize.hpp> #include <boost/preprocessor/list/for_each.hpp> #include <boost/preprocessor/punctuation/comma.hpp>   #include <initializer_list> #include <iostream>   #define FOO_STRINGIZE(r, data, elem) , BOOST_PP_STRINGIZE(elem)   #define foo(...) \   bar<__VA_ARGS__>(0 \   BOOST_PP_LIST_FOR_EACH(FOO_STRINGIZE, _, BOOST_PP_VARIADIC_TO_LIST(__VA_ARGS__)) \   )   #define UNPACK(...) (void(::std::initializer_list<char>{(void((__VA_ARGS__)), char())...}))   template<class> using to_cstr_t = char const *;   template<class... Ts> void bar(int, to_cstr_t<Ts>... cstrs) { unsigned i = 0; UNPACK(std::cout << ++i << ' ' << cstrs << "\n"); }     int main() { foo(char, int, bool); }

---