C++

Contourner le Koenig lookup

Recherche :

Mot : Pseudo : Filtrer
Bas de page
Auteur	Sujet : Contourner le Koenig lookup

Joel F

Real men use unique_ptr

Voici un extrait de mon code :

Code :

#include <iostream>
using namespace std;
namespace fml
{
struct Matrix
{
size_t v;
Matrix(size_t v_) : v(v_) {}
Matrix& operator=( const Matrix& m )
{
v = m.v;
return *this;
}
};
}
namespace ppc
{
fml::Matrix operator+( const fml::Matrix& m, const fml::Matrix& p )
{
// operateur "simd" (resultat different pr meilleur visu)
return fml::Matrix(m.v*p.v);
}
}
fml::Matrix operator+( const fml::Matrix& m, const fml::Matrix& p )
{
// operatuer classique
return fml::Matrix(m.v+p.v);
}
using namespace fml;
#define ENABLE_SIMD(ARCH) { using namespace ARCH
#define DISABLE_SIMD(ARCH) }
int main( int, const char** )
{
Matrix a(5),b(7),d(0);
d = a+b;
cout << "fml : " << d.v << endl;
ENABLE_SIMD(ppc);
d = a+b;
cout << "fml::ppc : " << d.v << endl;
DISABLE_SIMD(ppc);
d = a+b;
cout << "fml : " << d.v << endl;
}

Ne faites pas attention au struct ultra imple et au macro moche.
Ce code ne compile pas :

g++ test.cc -o main.exe
test.cc: In function `int main(int, const char**)':
test.cc:48: error: ambiguous overload for 'operator+' in 'a + b'
test.cc:31: error: candidates are: fml::Matrix operator+(const fml::Matrix&, const fml::Matrix& )
test.cc:25: error: fml::Matrix ppc::operator+(const fml::Matrix&, const fml::Matrix& )

Compilation exited abnormally with code 1 at Thu Nov 11 15:08:07

Ce qui est completement logique lorsque l'on suit le Koenig Lookup.

Ma question est de savoir COMMENT effectuer le calcul avec le bon operator+ et non pas celui correspodnant au KL.

Publicité

Panini

Code :

namespace ppc
{
fml::Matrix operator+( const fml::Matrix& m, const fml::Matrix& p )
{
// operateur "simd" (resultat different pr meilleur visu)
fml::Matrix(m.v*p.v);
}
}
fml::Matrix operator+( const fml::Matrix& m, const fml::Matrix& p )
{
// operatuer classique
return ARCH::operator +(m, p);
}
using namespace fml;
int main(int argc, const char *argv)
{
matrix a(5), b(7), d(0);
#define ARCH ppc
d = a + b;
#undef ARCH
cout << "fml : " << d.v << endl;
return 0;
}

Ca doit marcher mais c'est moins beau et pratique .

Taz

bisounours-codeur

bah plutôt que de dire 'hey, faut regarder la dedans', dis 'hey utilise ça'

#define ENABLE_SIMD(ARCH) { using namespace ARCH

->

#define ENABLE_SIMD(ARCH) { using namespace ARCH::operator+

bon évidemment, vu le bordel que tu as, ça va faire beaucoup.

Taz

bisounours-codeur

et ouais JoelF, c'est là qu'on voit qui comprend

Joel F

Real men use unique_ptr

Taz a écrit :

et ouais JoelF, c'est là qu'on voit qui comprend

o_O ??? hein ?

Taz

bisounours-codeur

t'as pas du bien lire le truc de Panini

Joel F

Real men use unique_ptr

Taz a écrit :

t'as pas du bien lire le truc de Panini

hmmm, oui et c'est totalement pas ca et ensuite ?

Taz

bisounours-codeur

laisse tomber, t'es largué ... tu m'appelles quand tu te réveilles

Joel F

Real men use unique_ptr

Taz a écrit :

laisse tomber, t'es largué ... tu m'appelles quand tu te réveilles

C'est juste que j'ai perdu l'habitude de ta réparti légendaire

bon sinon :

Code :

{
using ppc::operator+;
d = a+b;
cout << "fml::ppc : " << d.v << endl;
}

me dit :

test.cc: In function `int main(int, const char**)':
test.cc:48: error: syntax error before `operator'
test.cc:49: error: `d' undeclared (first use this function)

Taz

bisounours-codeur

gcc-3.3 inside

Publicité

Joel F

Real men use unique_ptr

et oui :

gcc 3.3.1 :-/
bon je suis senser m'assoir sur cette fantaisie et coder ça de maniere plus sioux.

Taz

bisounours-codeur

pourquoi tu veux changer de mode de calcul comme ça, en plein milieu d'un calcul ?

Joel F

Real men use unique_ptr

parce que je dois permettre d'optimiser localement
mes calculs.

Taz

bisounours-codeur

pourquoi pas optimiser en permanence ?
différents .hpp ça suffit pas ?

Joel F

Real men use unique_ptr

non. Y a des phases de certaines applis qui ne peuvent etre "SIMDiser" facilement. Je dois repasser en mode scalaire tout en continuant à travailler sur la même matrice.

Mais si tu as des diées ca m'itneresse.

Taz

bisounours-codeur

en fait du supprimes les optimisation localement ?

c'est faisable avec des trucs comme ça

Code :

template<typename T>
struct Holder
{
T &value;
Holder(T &t) : value(t) { }
operator T() { return value; }
};
template<typename T>
Holder<T> operator+(Holder<T> &l, Holder<T> &r)
{ return ppc::operator+(l.value, r.value); }
template<typename T>
Holder<T> hold(T &v)
{ return v; }

biensur faut que tu fasses des macros par dessus, etc

mais au fait, pourquoi des fois tu veux repasser en scalaire ?

Joel F

Real men use unique_ptr

exemple : sur des tabelau rikiki le SIDM n'apporte rien,
les algos de tri sont merdiques, donc revenir lcoalement en scalaire evite de perdre du temps.

typiquement, y a des algos qui pour etre exprimer en SIMD necessite du preprocessing des données PLUS LONG que le traitement lui même en scalaire.

Taz

bisounours-codeur

et alors ? t'es pas foutu de faire des templates qui décide de l'algo en fonction de la taille ? ou d'un paramètre template ?

t'as qu'à rajouter un paramètre template à ton type matrice, par défaut à true, si c'est à false, tu change d'algo

Joel F

Real men use unique_ptr

certes certes .... je cherchais une methode plus simple.
bon je repart sur mon idée initiale alors. Merci

Taz

bisounours-codeur

bah ouais

Joel F

Real men use unique_ptr

spa grave ^^
ca eu été elegant

Panini

La bidouille que j'ai proposé ne fonctionne pas .

Taz

bisounours-codeur

ça on avait vu que t'as pas compris la différence entre template et cpp

Panini

o_O

Je vois pas le rapport avec les templates. J'ai déjà utilisé une bidouille semblable, mais le contexte "dynamique" de calcul ici ne le permet pas.

Taz

bisounours-codeur

c'est exactement ça, t'as rien compris

Panini

Merci, je vois très bien où est ma connerie.
Mais ne peux tu pas expliquer clairement plutôt que d'envoyer les gens sur les roses ?
Parce que le rapport entre template, cpp et belle bourde d'utilisation du préprocesseur, je le vois pas trop là.

Taz

bisounours-codeur

ben t'as agit comme si les template étaient des macros

Panini

Bon, y a pas de templates dans le truc que j'ai écris mais je vois ce que tu veux dire.

oliv5

Pourquoi ? Parce que !

Panini a écrit :

Bon, y a pas de templates dans le truc que j'ai écris mais je vois ce que tu veux dire.

Moi, je vois pas, et je suis intéressé.

Citation :

ben t'as agit comme si les template étaient des macros

Panini

L'erreur est que j'ai voulu utiliser des macros comme un paramètre de template. Dans le cas que j'ai écrit, ça n'a aucun sens. Mon operateur + n'est défini qu'une fois pour une valeur de ARCH donnée qui aurait du être définie en amont. L'usage que j'en fais dans le main n'a donc aucun sens.

Bref, le code que j'ai écrit est complètement foireux. La solution template proposée par Taz par contre fonctionne.
Le using ppc::operator+ fonctionne également sous vc.net 2003.

oliv5

Pourquoi ? Parce que !

ha ok. Merci

Publicité

FORUM HardWare.fr

Programmation

C++

Contourner le Koenig lookup

Sujets relatifs
Appel distant d'un EJB via un lookup JNDI - Besoin de précisions	Contourner limitation des taille de textures en OpenGL
Pourriez vous m'aider a contourner ce Bug de Opera ?	[CSS] Contourner le problème "fixed" pour le défilement avec IE
[PHP] Contourner un timeout de 10 secondes lors d'un envoi de fichiers	Contourner le System.exit(0)
[C++Builder] Lookup et BDE
Plus de sujets relatifs à : Contourner le Koenig lookup

Page générée en 0.107 secondes