template et heritage

Version imprimable

Je continue dans la série code ultra templaté :
Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 // Classe de base pour nos opérateurs binaires template <class T, class U> struct BinaryOpBase { BinaryOpBase(T I1, U I2) : It1(I1), It2(I2) {} inline void operator ++() {++It1; ++It2;} T It1; U It2; }; // Spécialisation pour l'addition template <typename C, class T, class U> struct BinaryOp<C, T, U, Add> : public BinaryOpBase<T, U> { BinaryOp(T I1, U I2) : BinaryOpBase<T, U>(I1, I2) {} #define MYRESULT (*It1 + *It2) inline __typeof__(MYRESULT) operator *() {return MYRESULT;} //Ligne qui pose probleme #undef MYRESULT };
Ceux qui ont fait un tour ici : http://loulou.developpez.com/tutorie...metaprog/#L3.1 devraient reconnaître. il s'agit d'un bout de code sur les expressions templates.

Malheureusement, a la ligne noté, le compilo (gcc) me dit qu'il ne connait pas les variables It1 et It2. Pourtant, on devrait les retrouver par héritage car ils sont définis dans BinaryOpBase . Quelque chose m'échappe . . .

EDIT: en essayant avec des classes et des public partout, le résultat est le même.

14/08/2008, 07h04
three minute hero

J'ai pas essayé (merci d'envoyer des codes complets), mais ça devrait être mieux avec ça :

Code:

#define MYRESULT (*(BinaryOpBase<T, U>::It1) + *(BinaryOpBase<T, U>::It2))

J'ai deja essayé. Il me dit 'invalid use of non static data member' . It1 et It2 ne sont pas statics, c'est donc normal de ne pas aller les chercher via la classe.

L'utilisation de this->It1 et this->It2 ne marches pas non plus : invalid use of this (dans le __typeof__ ).

Les messages d'erreur pour les autres cas sont en double pour le __typeof__ et dans la fonction.

Pour le code complet, je veux bien mais ca va être gros et je suis pas bien sur que le reste soit très intéressant.

par contre, si ca peut aider ce code est appellé ici :
Code:

1 2 3 template<int N, class T> inline BinaryOp<Vector<N, T>, typename Vector<N, T>::const_iterator, typename Vector<N, T>::const_iterator, Add> operator +(const Vector<N, T>& v1, const Vector<N, T>& v2) { return MakeAdd< Vector<N, T> > (v1.begin(), v2.begin()); }
On notera que j'ai le meme probleme avec le code brut de fonderie du tutorial suivant : http://loulou.developpez.com/tutorie...metaprog/#L3.1

J'ai simplifié car tu n'as pas donné le code entier, mais ceci compile :

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
 
template <class T, class U>
struct BinaryOpBase
{
	BinaryOpBase(T I1, U I2) : It1(I1), It2(I2)
	{
	}
 
	inline void operator++()
	{
		++It1;
		++It2;
	}
 
	T It1;
	U It2;
};
 
template <typename C, class T, class U>
struct BinaryOp: public BinaryOpBase<T, U>
{
	BinaryOp(T I1, U I2): BinaryOpBase<T, U>(I1, I2)
	{
	}
 
	#define MYRESULT (*(BinaryOpBase<T, U>::It1) + *(BinaryOpBase<T, U>::It2))
	inline __typeof__(MYRESULT) operator *() {return MYRESULT;} //Ligne qui ne pose plus probleme!
	#undef MYRESULT
};

BinaryOpBase<T, U> est une classe parent, dans ce cas on ne pointe pas un membre statique avec l'opérateur ::.

14/08/2008, 07h21
three minute hero

Citation:

Envoyé par deadalnix

Pour le code complet, je veux bien mais ca va être gros et je suis pas bien sur que le reste soit très intéressant.

En fait c'est seulement la classe template primaire de BinaryOp qui aurait été intéressante, juste pour pouvoir compiler.
14/08/2008, 07h26
deadalnix

Ahh, c'est celle du tuto, un bonne grosse class bien creuse et plein de vide :P

Code:

template <typename C, class T, class U, int Op> struct BinaryOp {};

Citation:

BinaryOpBase<T, U> est une classe parent, dans ce cas on ne pointe pas un membre statique avec l'opérateur ::.

C'est ce que le compilo semble vouloir faire.

EDIT: Il veux le faire (chercher des membres statiques) dans le __typeof__ en fait. Il va falloir que je trouves comment le remplir autrement . . .
14/08/2008, 07h33
three minute hero

Citation:

Envoyé par deadalnix

Ahh, c'est celle du tuto, un bonne grosse class bien creuse et plein de vide :P

Arf, désolé, j'ai lu ton premier post en diagonale, a pas cliqué sur le lien :oops:

Citation:

Envoyé par deadalnix

C'est ce que le compilo semble vouloir faire.

Tu as essayé mon code ?
Il est normal que tu doives spécifier la classe parent lorsque tu veux pointer un de ses membres. Imagine le cas d'un héritage multiple : comment le compilateur s'en sortirait si une seconde classe parent possédait des membres nommés It1 et It2 ?
14/08/2008, 08h05
deadalnix

Oui, c'est bien le cas dans le fonction, mais dans le __typeof__, il cherche des membres statiques. du coup ca ne marches pas non plus.
14/08/2008, 08h43
three minute hero

Quel compilateur utilises-tu ?
14/08/2008, 09h12
deadalnix

gcc.

Au passage j'ai un solution des plus moche mais qui fonctionne :

Code:

template<typename R> inline R operator *() { return static_cast<R>(*(BinaryOpBase<C, T, U>::It1) + *(BinaryOpBase<C, T, U>::It2)); }

En gros tu récupères un truc typé la compilation.
14/08/2008, 09h48
three minute hero

Citation:

Envoyé par deadalnix

gcc

J'avais prévu de venir t'étrangler en personne si jamais tu me donnais un nom de compilateur sans spécifier la version.
T'habites vers où ?
14/08/2008, 09h56
three minute hero

Citation:

Envoyé par deadalnix

Au passage j'ai un solution des plus moche mais qui fonctionne

En moins moche que ça, tu peux aussi passer le type de It1 + It2 en paramètre template.

Salut,

Le code suivant compile parfaitement :

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
enum Operators
{
    Add,   // addition
    Sub,   // soustraction
    Mult,  // multiplication
    Div,   // division
    Plus,  // + unaire
    Minus, // - unaire
    Const  // Constante
};

// Modèle de classe pour nos opérateurs binaires
template <class T, class U, int Op> struct BinaryOp {};

// Classe de base pour nos opérateurs binaires
template <class T, class U> struct BinaryOpBase
{
    BinaryOpBase(T I1, U I2) : It1(I1), It2(I2) {}
    inline void operator ++() {++It1; ++It2;}

    T It1;
    U It2;
};

// Spécialisation pour l'addition
template <class T, class U> struct BinaryOp<T, U, Add> : public BinaryOpBase<T, U>
{
    BinaryOp(T I1, U I2) : BinaryOpBase<T, U>(I1, I2) {}
    inline double operator *() {return *this->It1 + *this->It2;}
};

// Spécialisation pour la multiplication
template <class T, class U> struct BinaryOp<T, U, Mult> : public BinaryOpBase<T, U>
{
    BinaryOp(T I1, U I2) : BinaryOpBase<T, U>(I1, I2) {}
    inline double operator *() {return *this->It1 * *this->It2;}
};

Pour une explication voir ici. Il faudrait signaler à l'auteur du tuto que son code comporte un problème.

14/08/2008, 11h34
deadalnix

Oui, j'ai finalement ajouté le type de retour dans la template. cela permet de ne pas forcement travailler avec des doubles.