Discussion :

[deadalnix]

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

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
// 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.

[three minute hero]

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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

[deadalnix]

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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

[three minute hero]

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

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
 
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 ::.

[three minute hero]

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.

[deadalnix]

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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

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 . . .

[three minute hero]

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

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

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 ?