macro qui cr�e enum et tableau

Bonjour,

J'ai trois structures :

Code:

---

1 2 3

struct Cat { const static unsigned mask = 1; }; struct Dog { const static unsigned mask = 2; }; struct Cow { const static unsigned mask = 4; };

---

J'aimerais cr�er une macro qui prendrait des types en argument et qui :
- en ferait un enum
- cr�erait un tableau avec les maks des types

Rien compris ? X) Un petit exemple sera plus parlant. J'aimerais pouvoir �crire :

Code:

---

macro(Dog,Cow,Cat)

---

Ceci me cr�erait une structure :

Code:

---

1 2 3 4 5

struct { enum {Dog,Cow,Cat}; unsigned tab[3] = {2,4,1}; } test;

---

Pour l'instant j'ai �crit la macro suivante :

Code:

---

1 2 3 4 5 6

#define macro(Ts...) \ struct \ { \   enum { Ts,count }; \   unsigned tab[count] = {Ts::mask}; \ } test;

---

C'est bon pour l'enum, mais pour tab c'est pas encore �a :aie: il doit y avoir un probl�me d'expanded pack quelque part, mais je ne sais pas comment r�soudre �a !

Des suggestions ? :)

Proposition au pif (car n'aimant pas les macros, je ne connais pas ce niveau de d�tails):
As-tu essay� Ts...::mask et Ts::mask... et aucun des deux ne marchent?

Par ailleurs, que g�n�re ta macro actuelle?

Citation:

---

As-tu essay� Ts...::mask et Ts::mask...

---

Oui, dans les deux cas le compilateur me dit "Pack expansion does not contain any unexpanded parameter packs"

Citation:

---

Par ailleurs, que g�n�re ta macro actuelle ?

---

Eh bien par exemple,

Code:

---

1 2 3 4 5 6 7

macro(Dog,Cow,Cat); std::cout << test.Dog << std::endl; std::cout << test.Cow << std::endl; std::cout << test.Cat << std::endl; std::cout << test.tab[0] << std::endl; std::cout << test.tab[1] << std::endl; std::cout << test.tab[2] << std::endl;

---

Affiche ceci :

0
1
2
0
1
1

Les trois premiers correspondent � l'enum, nikel, par contre les trois derniers, c'�tait pas franchement attendu comme r�sultat, moi jvoulais 2 4 1 :weird:

C'est le code g�n�r� par la macro qui est int�ressant.
Tu peux l'obtenir avec certains r�glages de compilation.
Pour gcc, c'est -E, qui produit le code apr�s le passage du pr�processeur (donc les macros) mais avant compilation.

L'�quivalent du -E de gcc pour Visual Studio, c'est /P.
https://msdn.microsoft.com/en-us/lib...or=-2147217396

au passage, la macro devrait prendre le nom de la variable g�n�r�e en argument. ici, "test" semble vraiment sortir du chapeau.

Hum.. Voui mais moi je suis sur XCode, avec clang :mrgreen: comment qu'on fait ?

Sinon j'ai trouv� une solution. Je passe par une fonction template :

Code:

---

1 2 3 4 5 6

template <typename...Ts> std::vector<unsigned> createTab() { std::vector<unsigned> tmp = {Ts::mask...}; return tmp; }

---

Et j'encapsule mon enum dans une struct. Allez savoir pourquoi, si je ne le fais pas, �a marche pas. Sans doute parce qu'une fois que j'ai utilis� Ts dans une enum, le compilo consid�re que Ts ne peuvent �tre que des membres de l'enum, du coup je peux plus utiliser Ts pour autre chose.. �a donne :

Code:

---

1 2 3 4 5 6 7

#define macro(Ts...) \ struct A \ { \   struct { enum { Ts }; } index; \   std::vector<unsigned> tab; \   A() { tab = createTab<Ts>(); } \ } test;

---

C'est pas tr�s tr�s propre mais �a marche :)

Code:

---

1 2 3 4 5 6 7

macro(Dog,Cow,Cat); std::cout << test.index.Dog << std::endl; std::cout << test.index.Cow << std::endl; std::cout << test.index.Cat << std::endl; std::cout << test.tab[0] << std::endl; std::cout << test.tab[1] << std::endl; std::cout << test.tab[2] << std::endl;

---

print :
0
1
2
2
4
1

Du coup, pour g�n�rer le code de la macro, �a se passe comment ? (Je suis quand m�me preneur d'une solution plus propre)

d'apr�s cette documentation, c'est -E aussi

Code:

---

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

template<class... Ts> struct array_mask { static unsigned constexpr tab[] = {Ts::mask...}; }; template<class... Ts> constexpr unsigned array_mask<Ts...>::tab[sizeof...(Ts)];   #define macro(...) \ struct : array_mask<__VA_ARGS__> \ { \   enum { __VA_ARGS__, count }; \ }

---

Citation:

---

Envoy� par jo_link_noir

Code:

---

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

template<class... Ts> struct array_mask { static unsigned constexpr tab[] = {Ts::mask...}; }; template<class... Ts> constexpr unsigned array_mask<Ts...>::tab[sizeof...(Ts)];   #define macro(...) \ struct : array_mask<__VA_ARGS__> \ { \   enum { __VA_ARGS__, count }; \ }

---

---

Vous m'�paterez toujours, les gars.. C'est propre, clair, et efficace. Fallait juste �a, en fait. Chapeau, Merci ! :lol:

Mais une macro est-elle n�cessaire ou utile pour obtenir ce r�sultat?
une template ne suffirait-elle pas?

Cela oblige de dupliquer l'information. Une fois pour l'enum, une autre fois dans la template.
Apr�s, il est possible de faire en sorte que le type soit une clef convertible en un identifiant. Ceci permet �galement de g�n�rer la valeur mask automatiquement. Mais au prix d'un code plus verbeux.

Code:

---

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

int main(){ type_enum_mask<Dog, Cow, Cat> animals{};   std::cout << animals.index<Dog>() << '\n' << animals.index<Cow>() << '\n' << animals.index<Cat>() << '\n' << animals.masks[0] << '\n' << animals.masks[1] << '\n' << animals.masks[2] << '\n' ; }

---

(Si vous le voulez, je peux faire le code pour arriver au r�sultat).

Citation:

---

Envoy� par jo_link_noir

Cela oblige de dupliquer l'information. Une fois pour l'enum, une autre fois dans la template.
Apr�s, il est possible de faire en sorte que le type soit une clef convertible en un identifiant. Ceci permet �galement de g�n�rer la valeur mask automatiquement. Mais au prix d'un code plus verbeux.

Code:

---

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

int main(){ type_enum_mask<Dog, Cow, Cat> animals{};   std::cout << animals.index<Dog>() << '\n' << animals.index<Cow>() << '\n' << animals.index<Cat>() << '\n' << animals.masks[0] << '\n' << animals.masks[1] << '\n' << animals.masks[2] << '\n' ; }

---

(Si vous le voulez, je peux faire le code pour arriver au r�sultat).

---

Citation:

---

Mais une macro est-elle n�cessaire ou utile pour obtenir ce r�sultat?
une template ne suffirait-elle pas?

---

Moi, je veux bien voir, par curiosit� :) M�me si, pour �tre tout � fait franc, je me demande toujours pourquoi il faudrait chercher � faire compliqu� quand on peut faire simple. Je veux dire, avec une macro, le code est torch� en 5 lignes :roll:

Citation:

---

Envoy� par leternel

Mais une macro est-elle n�cessaire ou utile pour obtenir ce r�sultat?
une template ne suffirait-elle pas?

---

Je ne vois aucun moyen de g�n�rer un enum simplement avec un template seul.
Il s'agit bien de le g�n�rer => macro