C++

peut on passer une methode en parametre ?

Recherche :

Mot : Pseudo : Filtrer
Bas de page
Auteur	Sujet : peut on passer une methode en parametre ?

karim63

par exemple je voudrais faire ça:

j'ai un type liste deja defini d'objet de type O.

liste<O> l;

O& cherche(int x, (aucune idée du type) fget )
{
O obj;
for(int i=1;i<=tailleliste;i++)
{
obj=l[i];
if (x==obj.fget()) {return obj;};
};

ça donnerait:

O* po= & l.cherche(5,getx());

Y a pas moyen de faire un truc dans le style ?

Publicité

antp

Super Administrateur
Champion des excuses bidons

en C++Builder y a moyen mais ça n'a pas l'air standard du tout
(pour émuler les procedure/function of object du Pascal)

---------------
mes programmes ·· les voitures dans les films ·· apprenez à écrire

Captain ad-hoc

miam les bon batonnets de tux

avec des pointeurs de fonction membre, je dirais..
un truc du genre

Code :

O& cherche(int x, void (O::* fget)())
...
if (x==((&obj)->fget)()) {...}

à tester..

wouatouwouatou

il est possible de passer une fonction en parametre..;mais men rappelle plus comment kon fait.. mais c possible

Par contre, une methode.. faut voir... peut etre oui.. peut etre non

Musaran

Cerveaulté

Ça devrait donner ça:

Code :

O* liste::cherche(int x, int (liste::*pget)() ) const
{
for(int i=1 ; i<= tailleliste ; i++)
if ( x == (liste[i].*fget()) )
return &liste[i];
return NULL; //chou blanc
}
liste<O> l;
O* po= & l.cherche(5, &liste::getx); //obligé de répéter liste:: en argument.

Voici le prédicat générique:

Code :

struct A{
int i;
int geti(){ return i;}
};
//vrai si le membre *pmem de l'objet obj vaut value
template <
typename T_Obj, //le type de l'objet
typename T_Mem //le type du membre de l'objet
>
bool mem_val_tester(
const T_Mem& value //valeur de membre
T_Mem T_Obj::*pmem, //pointeur de membre
const T_Obj obj, //Objet
){
return obj.*pmem == value;
}
//vrai si l'accesseur *pacc de l'objet obj renvoie value
template <
typename T_Obj, //le type de l'objet
typename T_Mem //le type renvoyé par l'acesseur
>
bool acc_val_tester(
const T_Mem& value //valeur de renvoi
T_Mem (T_Obj::*pacc)(), //pointeur d'accesseur
const T_Obj obj, //Objet
){
return (obj.*pacc)() == value;
}

Code :

int main(){
A a= {7};
bool b1= mem_val_tester(7, &A:: i, a);
bool b2= acc_val_tester(7, &A::geti, a);
}

Il y a peut-être moyen de surcharger un même nom, mais mon compilateur n'en veut pas.

Si tu veux l'utiliser comme prédicat pour les algorithmes stl, démerde-toi.
(Il faut jouer avec des adaptateurs bind1st imbriqués, tu veux vraiment qu'on creuses ça ?)

---------------
Bricocheap: Montage de ventilo sur paté de mastic silicone

karim63

je vais voir ça cet apres midi.
Sinon si ça peut generecisé mon code et m'eviter de faire une fonction de recherche par objet et par attribut ça m'arrangerait.

botman

Cubeur

wouatouwouatou a écrit :

il est possible de passer une fonction en parametre..;mais men rappelle plus comment kon fait.. mais c possible

Par contre, une methode.. faut voir... peut etre oui.. peut etre non

une methode, c'est aussi une fonction, donc tu la passes en pointeur et c'est regle ....

---------------
"OCPLB : On Casse Pas Le Binôme, 'moiselle Jade, Carlson & Peters, page 823 !"

antp

Super Administrateur
Champion des excuses bidons

BotMan a écrit :

une methode, c'est aussi une fonction, donc tu la passes en pointeur et c'est regle ....

hum une méthode c'est une fonction qui a un param en plus : le pointeur vers l'objet auquel appartient la méthode (this)

---------------
mes programmes ·· les voitures dans les films ·· apprenez à écrire

Musaran

Cerveaulté

Les pointeurs sur membres sont plus complexes: ils ont le double type de l'objet et du membre.

Allons-y:

Code :

//patron de classe fonction prédicat unaire par membre (ouf)
template <typename T_Obj,typename T_Mem>
struct functor_mem_val_tester{
T_Mem T_Obj::*pmem_; //pointeur de membre T_Mem dans un objet T_Obj
T_Mem value_; //valeur à comparer
functor_mem_val_tester( //construire avec...
T_Mem T_Obj::*pmem, //...le membre et...
const T_Mem& value) //... la valeur.
:pmem_ (pmem )
,value_(value)
{}
bool operator()(const T_Obj& object){ //tester avec un objet
return object.*pmem_ == value_; //le test est ici !
}
};
//patron de classe fonction prédicat unaire par accesseur (re-ouf)
template <typename T_Obj,typename T_Mem>
struct functor_acc_val_tester{
T_Mem (T_Obj::*pacc_)(); //pointeur d'accesseur
T_Mem value_; //valeur à comparer
functor_acc_val_tester(T_Mem (T_Obj::*pacc)(), const T_Mem& value): //construire avec l'accesseur et la valeur
pacc_ (pacc) , value_(value)
{}
bool operator()(const T_Obj& object){
return (object.*pacc_)() == value_;
}
};

Exemple:

Code :

#include <functional>
using namespace std;
int main(){
A a= {7};
bool b1= mem_val_tester(7, &A:: i, a);
bool b2= acc_val_tester(7, &A::geti, a);
//objets fonction comparant A::i à 7
functor_mem_val_tester<A,int> mymemtest(&A:: i, 7); //par membre
functor_acc_val_tester<A,int> myacctest(&A::geti, 7); //par accesseur
//test simple
bool b3= mymemtest(a);
bool b4= myacctest(a);
A array[5]= {1,2,3,4,5};
//prédicat utilisé en stl
A* pA1= find_if(&array[0], &array[5], mymemtest );
A* pA2= find_if(&array[0], &array[5], myacctest );
//mymemtest.pmem= &A::j; //possibilité de changer le membre testé
//création du test sur place
A* pA3= find_if(&array[0], &array[5], functor_mem_val_tester<A,int> (&A:: i, 7) );
A* pA4= find_if(&array[0], &array[5], functor_acc_val_tester<A,int> (&A::geti, 7) );
return 0;
}

C'est quoi le prochain truc que tu vas demander :pt1cable: ?

---------------
Bricocheap: Montage de ventilo sur paté de mastic silicone

karim63

J'ai du mal a comprendre cette notation : T_Obj::*pmem

Publicité

Musaran

Cerveaulté

Les pointeurs de membre (on va dire pm) ne sont pas comme les autres pointeurs des adresses, ce sont des offset: distance entre le membre et le début de l'objet.

::* est l'opérateur utilisé pour déclarer un pm.
.* est l'opérateur utilisé pour suivre un pm

Code :

T_Mem var; //variable du même type que le membre
T_Mem *pvar; //pointeur sur une variable du même type que le membre
T_Mem T_Obj::*pmem; //'pointeur' de membre de type T_Mem dans un objet T_Obj
Obj.*pmem; //'indirection' d'un pm sur un objet

Mais pourquoi le type de l'objet fait-il partie du type du pm ?
C'est parce que les pm supportent le mécanisme virtuel.
Il leur est donc nécessaire de savoir à quel type d'objet ils s'appliquent, pour savoir s'il le virtuel s'applique, et si c'est le cas où se trouve le pointeur de table virtuelle (invisible).

C'est chaud tout ça... je n'ai compris que récemment.

---------------
Bricocheap: Montage de ventilo sur paté de mastic silicone

gilou

Modérateur
Modzilla

[:plat00n]

---------------
There's more than what can be linked! -- Iyashikei Anime Forever! -- AngularJS c'est un framework d'engulé! --

karim63

J'ai reussit a l'implementer et c'est vraiment supper pratique, ça m'arrange vraiment.
Par contre j'ai reussit a faire une fonction qui prend un membre en parametre, mais pas reussit a faire en sorte que cette même fonction appelle une autre fonction qui prend un membre en paramtre. (le même parametre en fait).
Je vois pas comment faire passer le bidule.

J'aurais voulu que search member appelle test_member pour la comparaison, mais j'ai pas reussit.
Ce que je tente de faire va sans doute etre discuté par crtaines personnes, mais spa grave
J'ai du mal avec les const etc.

Code :

template<class T_Obj,class T_Mem>
bool test_member(T_Mem value,T_Mem (T_Obj::*pacc)(),T_Obj obj)
{
return (obj.*pacc)()==value;
};
template<class T_Obj,class T_Mem>
Plist<int> search_member(T_Mem value,T_Mem (T_Obj::*pacc)(),Plist<T_Obj> &l)
{
Plist<int> r;
int n=l.getsize();
if (n>0)
{
Pnode<T_Obj>* f = l.getnode(1);
for(int i=1;i<=n;i++)
{
if ((f->getinfo()->*pacc)()==value)
{
r.adde(new int (i));
};
f=f->getnext();
};
};
return r;
};

Message édité par karim63 le 23-01-2003 à 09:59:58

farib

gilou a écrit :

[:plat00n]

:sol: :sol: :sol: :sol: merci pour moi

Taz

bisounours-codeur

personne n'a palé des memfun?

http://www.sgi.com/tech/stl/mem_fun_t.html

c'est plus simple à mon avis :hello:

gilou

Modérateur
Modzilla

farib a écrit :

:sol: :sol: :sol: :sol: merci pour moi

C'etait pour la geniale clarification de Musaran precedent mon post.
A+,

---------------
There's more than what can be linked! -- Iyashikei Anime Forever! -- AngularJS c'est un framework d'engulé! --

Musaran

Cerveaulté

gilou a écrit :

[:plat00n]

Si ça continues je vais y prendre goût.
Tu sais qu'on a droit à 10 smileys par post ?

Après réflexion je peut étoffer l'explication, on reprends:
????
Les pointeurs de membre (on va dire pm) ne sont pas comme les autres pointeurs des adresses, ce sont des offset: distance entre le membre et le début de l'objet.

Les opérateurs de membre:

Code :

:: //pour spécifier un membre
::* //pour déclarer un pm.
.* //pour 'suivre' un pm sur un objet
->* //pour 'suivre' un pm sur/via un pointeur d'objet

Base de travail

Code :

typedef int T_Mem;
struct T_Obj{
T_Mem mdat; //membre
T_Mem mfun(){return this->mdat;} //accesseur
};
T_Obj Obj; //objet
T_Mem var; //variable du même type que le membre

Exemple

Code :

//pointeur classique
T_Mem *pvar; //pointeur sur une variable du même type que le membre
pvar= &var; //initialisé avec une adresse de variable n'importe où en mémoire
*pvar; //suivre le pointeur, retrouve var
//pointeur de membre de données
T_Mem T_Obj::*pmdat; //'pointeur' de membre de type T_Mem dans un objet T_Obj
pmdat= &T_Obj::mdat; //initialisé avec un offset de membre dans T_Obj (ou parent) exclusivement
Obj.*pmdat; //'suivre' l'offset, retrouve mdat
//pointeur de membre méthode
T_Mem (T_Obj::*pmfun)(); //'pointeur' de méthode renvoyant T_Mem dans un objet T_Obj
pmfun= &T_Obj::mfun; //initialisé avec une adresse de fonction
(Obj.*pmfun)(); //'suivre' l'offset et appeler la méthode
//Les mêmes mis en parallèle
T_Mem *pvar = &var ; *pvar ; //variable
T_Mem T_Obj::*pmdat = &T_Obj::mdat ; Obj.*pmdat ; //membre de données
T_Mem (T_Obj::*pmfun)()= &T_Obj::mfun ; (Obj.*pmfun)() ; //méthode. Parenthèses car .* est moins prioritaire que ()

Le pm ne se déréférence qu'associé avec un objet.
Normal: c'est un décalage sur quelque chose.

Mais pourquoi le type de l'objet fait-il partie du type du pm ?
1) La sécurité de type à la compilation.
Si on pouvait appliquer le pm à n'importe quel objet, il n'y aurait pas forcément le bon membre au bon offset.

2) Parce que les pm supportent le mécanisme virtuel.
Il leur est donc nécessaire de savoir à quel type d'objet ils s'appliquent, pour savoir s'il le virtuel a lieu, et si c'est le cas où se trouve le pointeur de table virtuelle (invisible).

Pour ces raisons, le pm méthode subit les contraintes d'un membre. Alors que c'est une adresse globale de fonction (comme un pointeur banal), puisque les fonctions ne sont pas physiquement dans l'objet.
????

C'est plus long mais mieux détaillé... c'est bon ou pas ?

karim63:

Code :

if ((f->getinfo()->*pacc)()==value)

À priori c'est comme ça:

Code :

if ( test_member(value, pacc, *(f->getinfo()) ) )

Mais je teste pas.

++Taz a écrit a écrit :

personne n'a palé des memfun?

Je crois que c'est pas compatible avec ça:

Citation :

eviter de faire une fonction de recherche par objet et par attribut

Enfin je suis pas sûr là...

C'est de plus en plus [:ciler] ce qu'on fait ici.

Ah au fait, les "adaptateurs bind1st imbriqués" ne peuvent pas marcher directement, vu que ces adaptateurs ne manipulent que des fonctions à deux argument.

---------------
Bricocheap: Montage de ventilo sur paté de mastic silicone

gilou

Modérateur
Modzilla

Nous disons donc 10 smileys? voilà, voilà!

[:plat00n]

A+,

---------------
There's more than what can be linked! -- Iyashikei Anime Forever! -- AngularJS c'est un framework d'engulé! --

FORUM HardWare.fr

Programmation

C++

peut on passer une methode en parametre ?

Sujets relatifs
methode mkdirs de la classe File ou Droits avec apache et tomcat	[PHP] Faire un test sur la valeur d'un paramètre du php.ini
[php] probleme bizarre de passage de parametre	--enable-trans-sid activé / Empecher le SID de passer dans l'url?
Pg_Fetch_Row ???? C'est quoi le parametre int row ?	Passer un dump de postresql a mysql
Script bash: accéder au dernier paramètre	ASP : Passer une chaine de caractere en MAJUSCULE ?
Appeler un script PHP avec parametre depuis un lien HTML	[PHP et SQL] passage de variable en parametre
Plus de sujets relatifs à : peut on passer une methode en parametre ?

Page générée en 0.150 secondes