Meta-Template: pourquoi ca ne fonctionne pas?

Beau dimanche, non?
J'ai un petit problème que j'aimerais comprendre, 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 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59

template<typename typeT, unsigned int sizeT> struct vecxyzw;   template<typename typeT, unsigned int sizeT> struct veccolor;   template<typename typeT, unsigned int sizeT> struct vecmeta { union { typeT _a[sizeT]; struct _xyzw : vecxyzw<typeT, sizeT> {}; struct _color: veccolor<typeT, sizeT> {}; }; };   template<typename typeT> struct kazu::vecxyzw<typeT, 1> { union{typeT x; typeT s; typeT _0;}; };   template<typename typeT> struct kazu::vecxyzw<typeT, 2> : kazu::vecxyzw<typeT, 1> { union{typeT y; typeT t; typeT _1;}; };   template<typename typeT> struct kazu::vecxyzw<typeT, 3> : kazu::vecxyzw<typeT, 2> { union{typeT z; typeT p; typeT _2;}; };   template<typename typeT> struct kazu::vecxyzw<typeT, 4> : kazu::vecxyzw<typeT, 3> { union{typeT w; typeT q; typeT _3;}; };   template<typename typeT> struct kazu::veccolor<typeT, 2> { typeT i, a; };   template<typename typeT> struct kazu::veccolor<typeT, 3> { typeT r, g, b; };   template<typename typeT> struct kazu::veccolor<typeT, 4> : kazu::veccolor<typeT, 3> { typeT a; };

---

Si je definis template<typename T>struct vec4 : vecmeta<T, 4> {};
je n'arrive pas accéder aux membres (x, y, z, w) dans le constructeur.

Pourquoi ca cloche? Si vous avez des idées, jesuis preneur.

Tu ne peux utiliser que des PODs dans les unions.

POD = ?

types primaires du langage:

pointeurs, int, char, long, short, unsigned, float, double ...

+ des structures simples de données.


http://www.fnal.gov/docs/working-gro...x/doc/POD.html

Je vois, oui. Si on avait une union de classes avec fonctions, ca pourrait poser pas mal de complications avec les pointeurs vers les fonctions membres (la vtable). Raisons techniques pour l'implementation du compilateur, donc.
Dommage, je trouvais ma solution très élégante...

A ce propos, comment savoir si on a affaire a un POD ? (en parametre de template bien sur)

Citation:

---

Envoyé par deadalnix

A ce propos, comment savoir si on a affaire a un POD ? (en parametre de template bien sur)

---

boost::is_pod<>

on ne peut effectivement pas utiliser autre chose que des POD pour des unions. Simplement, car le compilateur de pourrait pas détermine quel constructeur / destructeur appeler.

ca peut plus ou moins s'émuler en faisant quelque chose comme :

class A {

A(){

new (buffer) A();
}

~A(){

((A*)buffer).~A();

}

private:

char buffer[MAX_SIZE];
}


C'est de l allocation inplace (syntaxe exacte a vérifier)

Sinon je crois que dans boost::type_traits tu as des choses pour savoir si il s'agit de POD (ou essaie boost::MPL sinon)

Je crois (à vérifier) que boost::is_pod ne marche justement que pour les types primitifs ci-dessus, par pour des structures du genre:

Code:

---

1 2 3 4

struct A { int x; };

---

A vérifier...

is_pod s'en remet a des intrinsiques de compilations MSVC et ne peut pas faire son boulot pour GCC
il n'y a sans doute pas moyen de le faire

http://www.boost.org/doc/libs/1_36_0...ce/is_pod.html

Je pense que http://www.boost.org/doc/libs/1_36_0...l/variant.html pourrait aussi t'intéresser.